Mul Add Pow Mul asech pi Mul x0 Pow pi Pow tan x3 x0 x0 -0.999909204262595 x3 
Mul x3 Mul Pow Mul asech pi Mul x0 Pow pi Pow tan x3 x0 Add x0 -1 Add Mul x0 Mul asech pi Add Pow pi Pow tan x3 x0 Mul x0 Mul Pow pi Add Pow tan x3 x0 -1 Mul Mul pi log pi Mul Pow tan x3 Add x0 -1 Mul tan x3 log tan x3 Mul Mul asech pi Mul x0 Pow pi Pow tan x3 x0 log Mul asech pi Mul x0 Pow pi Pow tan x3 x0 