asin Pow Mul x0 Mul x0 -3 cosh Pow asech x7 E 
Mul Mul Pow Mul x0 Mul x0 -3 Add cosh Pow asech x7 E -1 Mul cosh Pow asech x7 E Add Mul x0 -3 Mul x0 -3 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Mul x0 -3 cosh Pow asech x7 E Pow Mul x0 Mul x0 -3 cosh Pow asech x7 E -1 