Mul cos x3 sech sqrt Pow x0 Mul 5 Add Pow x1 E 5 
Mul cos x3 Mul Mul tanh sqrt Pow x0 Mul 5 Add Pow x1 E 5 Mul -1 sech sqrt Pow x0 Mul 5 Add Pow x1 E 5 Mul Pow Mul 2 sqrt Pow x0 Mul 5 Add Pow x1 E 5 -1 Mul Pow x0 Add Mul 5 Add Pow x1 E 5 -1 Mul 5 Add Pow x1 E 5 