sec Mul sqrt Add Add x0 atan acosh x2 x0 x0 
Mul Mul tan Mul sqrt Add Add x0 atan acosh x2 x0 x0 sec Mul sqrt Add Add x0 atan acosh x2 x0 x0 Add Mul x0 Mul Pow Mul 2 sqrt Add Add x0 atan acosh x2 x0 -1 2 sqrt Add Add x0 atan acosh x2 x0 