Mul atan E Mul Mul x0 x0 sin exp Add acosh x0 E 
Mul atan E Add Mul sin exp Add acosh x0 E Add x0 x0 Mul Mul x0 x0 Mul cos exp Add acosh x0 E Mul exp Add acosh x0 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 