Mul sec Mul acosh Mul Mul x5 Add -2 x0 2 sec x0 x0 
Add Mul x0 Mul Mul tan Mul acosh Mul Mul x5 Add -2 x0 2 sec x0 sec Mul acosh Mul Mul x5 Add -2 x0 2 sec x0 Add Mul sec x0 Mul Mul 2 x5 Pow Mul sqrt Add Mul Mul x5 Add -2 x0 2 -1 sqrt Add 1 Mul Mul x5 Add -2 x0 2 -1 Mul acosh Mul Mul x5 Add -2 x0 2 Mul tan x0 sec x0 sec Mul acosh Mul Mul x5 Add -2 x0 2 sec x0 