Add acos x7 Mul 4 Add tan acosh Pow Mul x0 x0 2 sqrt sqrt x0 
Mul 4 Add Mul Pow sec acosh Pow Mul x0 x0 2 2 Mul Mul Mul x0 x0 Mul 2 Add x0 x0 Pow Mul sqrt Add Pow Mul x0 x0 2 -1 sqrt Add 1 Pow Mul x0 x0 2 -1 Mul Pow Mul 2 sqrt sqrt x0 -1 Pow Mul 2 sqrt x0 -1 