asin Mul cosh x0 csch atan acot Add x0 x7 
Mul Add Mul csch atan acot Add x0 x7 sinh x0 Mul cosh x0 Mul Mul Mul -1 coth atan acot Add x0 x7 csch atan acot Add x0 x7 Mul Mul -1 Pow Add 1 Mul Add x0 x7 Add x0 x7 -1 Pow Add 1 Mul acot Add x0 x7 acot Add x0 x7 -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh x0 csch atan acot Add x0 x7 Mul cosh x0 csch atan acot Add x0 x7 -1 