Pow atanh Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 Mul acoth Add cosh x3 Mul x0 2 x0 
Mul Pow atanh Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 Add Mul acoth Add cosh x3 Mul x0 2 x0 -1 Add Mul Mul acoth Add cosh x3 Mul x0 2 x0 Mul Mul Pow Mul exp x0 Pow cos atan x7 1.00009080398202 Add x7 -1 Mul x7 Mul Pow cos atan x7 1.00009080398202 exp x0 Pow Add 1 Mul -1 Mul Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 -1 Mul Mul atanh Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 log atanh Pow Mul exp x0 Pow cos atan x7 1.00009080398202 x7 Add Mul x0 Mul 2 Pow Add 1 Mul -1 Mul Add cosh x3 Mul x0 2 Add cosh x3 Mul x0 2 -1 acoth Add cosh x3 Mul x0 2 