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