Also bei dem Lösungsweg würde ich eher bei dem 4x5 Weg bleiben...
Für den mit 64x würde ich folgenden vorschlagen:
Voraussetzung dafür ist die 2. Ableitung in Form von (4x2+3)28(4x2−3)
Davon die Ableitung ist:
−(4x2+3)48(8x(4x2+3)2−16x(4x2−3)(4x2+3))
Das kannst du dann umformen zu:
(4x2+3)3128x(4x2−3)−(4x2+3)264x
=(4x2+3)364x(4x2−9)
Wenn du diese Lösung inkl. Rechenweg aber nicht wirklich brauchst, lass ihn weg, denn der Umformungsschritt ist doch etw. CAS-lastig.