sqrt Add x7 tan acosh Pow x0 Add Mul x0 x4 x2 
Mul Pow Mul 2 sqrt Add x7 tan acosh Pow x0 Add Mul x0 x4 x2 -1 Mul Pow sec acosh Pow x0 Add Mul x0 x4 x2 2 Mul Mul Pow x0 Add Add Mul x0 x4 x2 -1 Add Add Mul x0 x4 x2 Mul Mul x0 log x0 x4 Pow Mul sqrt Add Pow x0 Add Mul x0 x4 x2 -1 sqrt Add 1 Pow x0 Add Mul x0 x4 x2 -1 