Mul tanh sec Mul acos x0 4.54030230586814 2 
Mul 2 Mul Pow sech sec Mul acos x0 4.54030230586814 2 Mul Mul tan Mul acos x0 4.54030230586814 sec Mul acos x0 4.54030230586814 Mul 4.54030230586814 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 