Mul Add Pow Mul x7 -5 x1 coth sqrt Mul pi x0 acoth x0 
Add Mul acoth x0 Mul Mul -1 Pow csch sqrt Mul pi x0 2 Mul Pow Mul 2 sqrt Mul pi x0 -1 pi Mul Add Pow Mul x7 -5 x1 coth sqrt Mul pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 