Add Add Mul Mul Add asech Add Mul Pow pi x0 2 tan x4 3 x0 acoth x0 -1 x4 
Add Mul acoth x0 Add Mul x0 Mul Mul 2 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul Add Mul Pow pi x0 2 tan x4 Add Mul Pow pi x0 2 tan x4 sqrt Add 1 Mul -1 Pow Mul Add Mul Pow pi x0 2 tan x4 Add Mul Pow pi x0 2 tan x4 -1 -1 Add asech Add Mul Pow pi x0 2 tan x4 3 Mul Mul Add asech Add Mul Pow pi x0 2 tan x4 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 