Add acot Add Add tan x0 -3 Pow -2 pi Pow x4 acsc exp Add x0 sqrt log coth pi 
Add Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul Add Add tan x0 -3 Pow -2 pi Add Add tan x0 -3 Pow -2 pi -1 Mul Pow x4 Add acsc exp Add x0 sqrt log coth pi -1 Mul Mul x4 log x4 Mul -1 Mul exp Add x0 sqrt log coth pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul exp Add x0 sqrt log coth pi exp Add x0 sqrt log coth pi -1 exp Add x0 sqrt log coth pi exp Add x0 sqrt log coth pi -1 