Add Pow Add Pow Pow x0 4 cosh acot x6 -3 pi Mul E Mul -1 Mul Add x0 x0 -5 
Add Mul Pow Add Pow Pow x0 4 cosh acot x6 -3 Add pi -1 Mul pi Mul Pow Pow x0 4 Add cosh acot x6 -1 Mul cosh acot x6 Mul Pow x0 3 4 Mul E 2 