Add pi Add Add atan Add Pow x0 Mul sqrt x0 sin x0 Mul x0 2 cosh Add x0 pi acoth Mul x0 x0 
Add Add Mul Add Mul Pow x0 Add Mul sqrt x0 sin x0 -1 Add Mul sqrt x0 sin x0 Mul Mul x0 log x0 Add Mul sin x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 cos x0 2 Pow Add 1 Mul Add Pow x0 Mul sqrt x0 sin x0 Mul x0 2 Add Pow x0 Mul sqrt x0 sin x0 Mul x0 2 -1 sinh Add x0 pi Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 