asinh sin Pow atan acoth cosh x0 Mul x1 x0 
Mul Mul cos Pow atan acoth cosh x0 Mul x1 x0 Mul Pow atan acoth cosh x0 Add Mul x1 x0 -1 Add Mul Mul x1 x0 Mul Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow Add 1 Mul acoth cosh x0 acoth cosh x0 -1 Mul Mul atan acoth cosh x0 log atan acoth cosh x0 x1 Pow sqrt Add 1 Mul sin Pow atan acoth cosh x0 Mul x1 x0 sin Pow atan acoth cosh x0 Mul x1 x0 -1 