Pow Mul sec Pow acosh Mul x7 4 x0 Add Add x1 E Pow 4 x0 Add x0 Mul x0 x2 
Mul Pow Mul sec Pow acosh Mul x7 4 x0 Add Add x1 E Pow 4 x0 Add Add x0 Mul x0 x2 -1 Add Mul Add x0 Mul x0 x2 Add Mul Add Add x1 E Pow 4 x0 Mul Mul tan Pow acosh Mul x7 4 x0 sec Pow acosh Mul x7 4 x0 Mul Pow acosh Mul x7 4 Add x0 -1 Mul acosh Mul x7 4 log acosh Mul x7 4 Mul sec Pow acosh Mul x7 4 x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Mul Mul sec Pow acosh Mul x7 4 x0 Add Add x1 E Pow 4 x0 log Mul sec Pow acosh Mul x7 4 x0 Add Add x1 E Pow 4 x0 Add 1 x2 