Mul x0 Pow asech sin x0 Add Pow pi E Add Mul log Add -2 atanh x7 x0 asinh sinh x0 
Add Pow asech sin x0 Add Pow pi E Add Mul log Add -2 atanh x7 x0 asinh sinh x0 Mul x0 Mul Pow asech sin x0 Add Add Pow pi E Add Mul log Add -2 atanh x7 x0 asinh sinh x0 -1 Add Mul Add Pow pi E Add Mul log Add -2 atanh x7 x0 asinh sinh x0 Mul cos x0 Pow Mul Mul sin x0 sin x0 sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 -1 Mul Mul asech sin x0 log asech sin x0 Add log Add -2 atanh x7 Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 