Add Add csch x7 tanh x7 Pow x6 Add acsch x0 Add -4 csch csc x0 
Mul Pow x6 Add Add acsch x0 Add -4 csch csc x0 -1 Mul Mul x6 log x6 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul -1 coth csc x0 csch csc x0 Mul Mul -1 cot x0 csc x0 