Add tan Add pi x0 Pow x4 acosh log log Pow tan x0 4 
Add Pow sec Add pi x0 2 Mul Pow x4 Add acosh log log Pow tan x0 4 -1 Mul Mul x4 log x4 Mul Mul Mul Mul Pow tan x0 3 Mul 4 Pow sec x0 2 Pow Pow tan x0 4 -1 Pow log Pow tan x0 4 -1 Pow Mul sqrt Add log log Pow tan x0 4 -1 sqrt Add 1 log log Pow tan x0 4 -1 