sqrt Mul Pow Mul x0 x0 Mul acot sinh x0 Mul -0.999909204262595 pi x0 
Mul Pow Mul 2 sqrt Mul Pow Mul x0 x0 Mul acot sinh x0 Mul -0.999909204262595 pi x0 -1 Add Mul x0 Mul Pow Mul x0 x0 Add Mul acot sinh x0 Mul -0.999909204262595 pi -1 Add Mul Mul acot sinh x0 Mul -0.999909204262595 pi Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul -0.999909204262595 pi Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow Mul x0 x0 Mul acot sinh x0 Mul -0.999909204262595 pi 