Pow x1 Add Add Pow sec x0 pi cosh sqrt x1 Add Pow x3 5 Add x0 pi 
Mul Pow x1 Add Add Add Pow sec x0 pi cosh sqrt x1 Add Pow x3 5 Add x0 pi -1 Mul Mul x1 log x1 Add Mul Pow sec x0 Add pi -1 Mul pi Mul tan x0 sec x0 1 