acos Mul sqrt csch x7 Mul x0 Add Add Add 2 x0 x0 atan x0 
Mul -1 Mul Mul sqrt csch x7 Add Add Add Add 2 x0 x0 atan x0 Mul x0 Add 2 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul sqrt csch x7 Mul x0 Add Add Add 2 x0 x0 atan x0 Mul sqrt csch x7 Mul x0 Add Add Add 2 x0 x0 atan x0 -1 