Pow x0 Add Add Mul x0 -4 acsch Pow x7 cosh Add x1 0.272240356093562 Mul x0 acoth atan pi 
Mul Pow x0 Add Add Add Mul x0 -4 acsch Pow x7 cosh Add x1 0.272240356093562 Mul x0 acoth atan pi -1 Add Add Add Mul x0 -4 acsch Pow x7 cosh Add x1 0.272240356093562 Mul x0 acoth atan pi Mul Mul x0 log x0 Add -4 acoth atan pi 