Mul x0 Mul x0 acoth cosh Add Mul pi x2 cos x0 
Add Mul x0 acoth cosh Add Mul pi x2 cos x0 Mul x0 Add acoth cosh Add Mul pi x2 cos x0 Mul x0 Mul Mul sinh Add Mul pi x2 cos x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul cosh Add Mul pi x2 cos x0 cosh Add Mul pi x2 cos x0 -1 