Add Mul Mul x0 Pow acoth Pow x3 x0 atan acsch x2 Mul x7 x0 asec x5 
Add Mul Mul x7 x0 Add Pow acoth Pow x3 x0 atan acsch x2 Mul x0 Mul Pow acoth Pow x3 x0 Add atan acsch x2 -1 Mul atan acsch x2 Mul Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow Add 1 Mul -1 Mul Pow x3 x0 Pow x3 x0 -1 Mul Mul x0 Pow acoth Pow x3 x0 atan acsch x2 x7 