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