atanh Add atan x0 csch Mul cosh x0 Mul acos x0 sin x7 
Mul Add Pow Add 1 Mul x0 x0 -1 Mul Mul Mul -1 coth Mul cosh x0 Mul acos x0 sin x7 csch Mul cosh x0 Mul acos x0 sin x7 Add Mul Mul acos x0 sin x7 sinh x0 Mul cosh x0 Mul sin x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add atan x0 csch Mul cosh x0 Mul acos x0 sin x7 Add atan x0 csch Mul cosh x0 Mul acos x0 sin x7 -1 