Pow x0 Mul sec acosh Mul Mul x0 x4 3 Pow sec sinh x2 x0 
Mul Pow x0 Add Mul sec acosh Mul Mul x0 x4 3 Pow sec sinh x2 x0 -1 Add Mul sec acosh Mul Mul x0 x4 3 Pow sec sinh x2 x0 Mul Mul x0 log x0 Add Mul Pow sec sinh x2 x0 Mul Mul tan acosh Mul Mul x0 x4 3 sec acosh Mul Mul x0 x4 3 Mul Mul 3 x4 Pow Mul sqrt Add Mul Mul x0 x4 3 -1 sqrt Add 1 Mul Mul x0 x4 3 -1 Mul sec acosh Mul Mul x0 x4 3 Mul Pow sec sinh x2 Add x0 -1 Mul sec sinh x2 log sec sinh x2 