acoth Mul x0 Mul Pow cot Pow x4 atan x0 cosh x0 sqrt x5 
Mul Add Mul Pow cot Pow x4 atan x0 cosh x0 sqrt x5 Mul x0 Mul sqrt x5 Mul Pow cot Pow x4 atan x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul -1 Pow csc Pow x4 atan x0 2 Mul Pow x4 Add atan x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul x0 x0 -1 Mul Mul cot Pow x4 atan x0 log cot Pow x4 atan x0 sinh x0 Pow Add 1 Mul -1 Mul Mul x0 Mul Pow cot Pow x4 atan x0 cosh x0 sqrt x5 Mul x0 Mul Pow cot Pow x4 atan x0 cosh x0 sqrt x5 -1 