Add Add log Mul -2 Pow Pow x0 5 Mul x7 x6 Pow Add csch x0 Pow x0 Pow x0 acosh Add pi x4 4 -2 
Add Mul Mul -2 Mul Pow Pow x0 5 Add Mul x7 x6 -1 Mul Mul x7 x6 Mul Pow x0 4 5 Pow Mul -2 Pow Pow x0 5 Mul x7 x6 -1 Mul Pow Add csch x0 Pow x0 Pow x0 acosh Add pi x4 3 Mul 4 Add Mul Mul -1 coth x0 csch x0 Mul Pow x0 Add Pow x0 acosh Add pi x4 -1 Add Pow x0 acosh Add pi x4 Mul Mul x0 log x0 Mul Pow x0 Add acosh Add pi x4 -1 acosh Add pi x4 