Add Pow Mul sqrt x0 Add acot Add E -3 -12.0178749274099 x6 Pow x4 sinh x0 
Add Mul Pow Mul sqrt x0 Add acot Add E -3 -12.0178749274099 Add x6 -1 Mul x6 Mul Add acot Add E -3 -12.0178749274099 Pow Mul 2 sqrt x0 -1 Mul Pow x4 Add sinh x0 -1 Mul Mul x4 log x4 cosh x0 