Pow Add acosh tan x0 Add 0.125000000000000 x0 Mul Pow -4 E x0 
Mul Pow Add acosh tan x0 Add 0.125000000000000 x0 Add Mul Pow -4 E x0 -1 Add Mul Mul Pow -4 E x0 Add Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 1 Mul Mul Add acosh tan x0 Add 0.125000000000000 x0 log Add acosh tan x0 Add 0.125000000000000 x0 Pow -4 E 