Mul cosh Add atanh acot x0 Mul Mul pi x7 sqrt sin x0 x3 
Mul x3 Mul sinh Add atanh acot x0 Mul Mul pi x7 sqrt sin x0 Add Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul Mul pi x7 Mul Pow Mul 2 sqrt sin x0 -1 cos x0 