atan Mul sec Add x0 x6 acosh Mul Mul x0 x0 pi 
Mul Add Mul acosh Mul Mul x0 x0 pi Mul tan Add x0 x6 sec Add x0 x6 Mul sec Add x0 x6 Mul Mul pi Add x0 x0 Pow Mul sqrt Add Mul Mul x0 x0 pi -1 sqrt Add 1 Mul Mul x0 x0 pi -1 Pow Add 1 Mul Mul sec Add x0 x6 acosh Mul Mul x0 x0 pi Mul sec Add x0 x6 acosh Mul Mul x0 x0 pi -1 