Add -3 Pow x0 sec acosh Pow Pow x0 atan x7 2 
Mul Pow x0 Add sec acosh Pow Pow x0 atan x7 2 -1 Add sec acosh Pow Pow x0 atan x7 2 Mul Mul x0 log x0 Mul Mul tan acosh Pow Pow x0 atan x7 2 sec acosh Pow Pow x0 atan x7 2 Mul Mul Pow x0 atan x7 Mul 2 Mul Pow x0 Add atan x7 -1 atan x7 Pow Mul sqrt Add Pow Pow x0 atan x7 2 -1 sqrt Add 1 Pow Pow x0 atan x7 2 -1 