Mul asec Mul 1.15782128234958 Mul x7 -2 Pow Add Pow sec x0 x4 x0 csch x6 
Mul asec Mul 1.15782128234958 Mul x7 -2 Mul Pow Add Pow sec x0 x4 x0 Add csch x6 -1 Mul csch x6 Add Mul Pow sec x0 Add x4 -1 Mul x4 Mul tan x0 sec x0 1 