Add Pow Add -2 Add coth pi exp x7 Mul acosh x0 x0 Add csc sin Pow x0 Pow atanh x0 log x0 -3 
Add Mul Pow Add -2 Add coth pi exp x7 Add Mul acosh x0 x0 -1 Mul Mul Add -2 Add coth pi exp x7 log Add -2 Add coth pi exp x7 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Mul Mul Mul -1 cot sin Pow x0 Pow atanh x0 log x0 csc sin Pow x0 Pow atanh x0 log x0 Mul cos Pow x0 Pow atanh x0 log x0 Mul Pow x0 Add Pow atanh x0 log x0 -1 Add Pow atanh x0 log x0 Mul Mul x0 log x0 Mul Pow atanh x0 Add log x0 -1 Add Mul log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Pow x0 -1 