Pow x0 Add Add x0 Add x0 atan acosh sec x0 Pow -4 x4 
Mul Pow x0 Add Add Add x0 Add x0 atan acosh sec x0 Pow -4 x4 -1 Add Add Add x0 Add x0 atan acosh sec x0 Pow -4 x4 Mul Mul x0 log x0 Add 1 Add 1 Mul Mul Mul tan x0 sec x0 Pow Mul sqrt Add sec x0 -1 sqrt Add 1 sec x0 -1 Pow Add 1 Mul acosh sec x0 acosh sec x0 -1 