Add Mul Add Pow sqrt x0 pi x3 Mul x0 Mul x4 Add Mul x0 x0 x0 Pow Pow Pow acos acos csch x0 x0 x7 -1 
Add Add Mul Mul x0 Mul x4 Add Mul x0 x0 x0 Mul Pow sqrt x0 Add pi -1 Mul pi Pow Mul 2 sqrt x0 -1 Mul Add Pow sqrt x0 pi x3 Add Mul x4 Add Mul x0 x0 x0 Mul x0 Mul x4 Add Add x0 x0 1 Mul Pow Pow Pow acos acos csch x0 x0 x7 2 Mul -1 Mul Pow Pow acos acos csch x0 x0 Add x7 -1 Mul x7 Mul Pow acos acos csch x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Pow sqrt Add 1 Mul -1 Mul acos csch x0 acos csch x0 -1 Mul acos acos csch x0 log acos acos csch x0 