Mul acosh Pow Add sec x0 -3 2.06250000000000 x0 
Add Mul x0 Mul Mul Pow Add sec x0 -3 1.06250000000000 Mul 2.06250000000000 Mul tan x0 sec x0 Pow Mul sqrt Add Pow Add sec x0 -3 2.06250000000000 -1 sqrt Add 1 Pow Add sec x0 -3 2.06250000000000 -1 acosh Pow Add sec x0 -3 2.06250000000000 