Add Add coth Mul x7 Add Pow Pow x0 x0 3 x0 sec acsc sqrt Add 3 x1 6 
Mul Mul -1 Pow csch Mul x7 Add Pow Pow x0 x0 3 x0 2 Mul x7 Add Mul Pow Pow x0 x0 2 Mul 3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 