Pow Mul acosh Mul x0 -3 x7 sec x0 
Mul Pow Mul acosh Mul x0 -3 x7 Add sec x0 -1 Add Mul sec x0 Mul x7 Mul -3 Pow Mul sqrt Add Mul x0 -3 -1 sqrt Add 1 Mul x0 -3 -1 Mul Mul Mul acosh Mul x0 -3 x7 log Mul acosh Mul x0 -3 x7 Mul tan x0 sec x0 