Mul x0 Pow Mul tan x0 asech x0 Pow x4 pi 
Add Pow Mul tan x0 asech x0 Pow x4 pi Mul x0 Mul Pow Mul tan x0 asech x0 Add Pow x4 pi -1 Mul Pow x4 pi Add Mul asech x0 Pow sec x0 2 Mul tan x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 