Pow acoth Add atan x0 x6 Mul x0 tan acosh x6 
Mul Pow acoth Add atan x0 x6 Add Mul x0 tan acosh x6 -1 Add Mul Mul x0 tan acosh x6 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add atan x0 x6 Add atan x0 x6 -1 Mul Mul acoth Add atan x0 x6 log acoth Add atan x0 x6 tan acosh x6 