Pow pi asec tan acosh Mul 2 Pow x0 Mul x3 x7 
Mul Pow pi Add asec tan acosh Mul 2 Pow x0 Mul x3 x7 -1 Mul Mul pi log pi Mul Mul Pow sec acosh Mul 2 Pow x0 Mul x3 x7 2 Mul Mul 2 Mul Pow x0 Add Mul x3 x7 -1 Mul x3 x7 Pow Mul sqrt Add Mul 2 Pow x0 Mul x3 x7 -1 sqrt Add 1 Mul 2 Pow x0 Mul x3 x7 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan acosh Mul 2 Pow x0 Mul x3 x7 tan acosh Mul 2 Pow x0 Mul x3 x7 -1 tan acosh Mul 2 Pow x0 Mul x3 x7 tan acosh Mul 2 Pow x0 Mul x3 x7 -1 