Mul acos x0 Add Mul Add -4 x0 Add x0 Pow sech Add x5 -4 4 1.76274717403909 
Add Mul Add Mul Add -4 x0 Add x0 Pow sech Add x5 -4 4 1.76274717403909 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Add Add x0 Pow sech Add x5 -4 4 Add -4 x0 