sin Mul cosh x7 Mul csch x0 acos Pow atan x0 x0 
Mul cos Mul cosh x7 Mul csch x0 acos Pow atan x0 x0 Mul cosh x7 Add Mul acos Pow atan x0 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul -1 Mul Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Pow sqrt Add 1 Mul -1 Mul Pow atan x0 x0 Pow atan x0 x0 -1 