exp Add Add -0.958924274663138 acos x3 Mul -5 Add Pow x0 sec atanh x2 Mul pi -4 
Mul exp Add Add -0.958924274663138 acos x3 Mul -5 Add Pow x0 sec atanh x2 Mul pi -4 Mul -5 Mul Pow x0 Add sec atanh x2 -1 sec atanh x2 