exp Mul acosh Mul 4 sech Add -4 x0 Add Mul x0 E 4 
Mul exp Mul acosh Mul 4 sech Add -4 x0 Add Mul x0 E 4 Add Mul Add Mul x0 E 4 Mul Mul 4 Mul tanh Add -4 x0 Mul -1 sech Add -4 x0 Pow Mul sqrt Add Mul 4 sech Add -4 x0 -1 sqrt Add 1 Mul 4 sech Add -4 x0 -1 Mul acosh Mul 4 sech Add -4 x0 E 