Mul asinh Mul sqrt x2 atan Add x0 x3 Add csc x0 Mul Mul x0 Pow acoth x0 x0 Add x6 csch x4 
Add Mul Add csc x0 Mul Mul x0 Pow acoth x0 x0 Add x6 csch x4 Mul Mul sqrt x2 Pow Add 1 Mul Add x0 x3 Add x0 x3 -1 Pow sqrt Add 1 Mul Mul sqrt x2 atan Add x0 x3 Mul sqrt x2 atan Add x0 x3 -1 Mul asinh Mul sqrt x2 atan Add x0 x3 Add Mul Mul -1 cot x0 csc x0 Mul Add x6 csch x4 Add Pow acoth x0 x0 Mul x0 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 