Mul cos asech tanh x7 Pow cos sin x0 Mul Mul tan x0 x5 -4 
Mul cos asech tanh x7 Mul Pow cos sin x0 Add Mul Mul tan x0 x5 -4 -1 Add Mul Mul Mul tan x0 x5 -4 Mul Mul -1 sin sin x0 cos x0 Mul Mul cos sin x0 log cos sin x0 Mul -4 Mul x5 Pow sec x0 2 