Mul Pow Mul x1 x6 sec acosh Mul x0 x0 Mul -1 x0 
Add Mul Mul -1 x0 Mul Pow Mul x1 x6 Add sec acosh Mul x0 x0 -1 Mul Mul Mul x1 x6 log Mul x1 x6 Mul Mul tan acosh Mul x0 x0 sec acosh Mul x0 x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Pow Mul x1 x6 sec acosh Mul x0 x0 -1 