Add Add Mul -5 x0 -3 Add sqrt Add acot pi Add Add Add Pow cosh sin x0 x0 log pi Add x0 x1 x2 E 
Add -5 Mul Pow Mul 2 sqrt Add acot pi Add Add Add Pow cosh sin x0 x0 log pi Add x0 x1 x2 -1 Add Mul Pow cosh sin x0 Add x0 -1 Add Mul x0 Mul sinh sin x0 cos x0 Mul cosh sin x0 log cosh sin x0 1 