log Mul Add x3 Mul Add Pow atan acoth x0 x0 asin atan x5 cosh x0 Add -2 x3 
Mul Mul Add -2 x3 Add Mul cosh x0 Mul Pow atan acoth x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul atan acoth x0 log atan acoth x0 Mul Add Pow atan acoth x0 x0 asin atan x5 sinh x0 Pow Mul Add x3 Mul Add Pow atan acoth x0 x0 asin atan x5 cosh x0 Add -2 x3 -1 