Add sec Add x0 tan Add Add Mul tan x0 4 x2 x2 Mul Pow pi coth x7 acot x0 
Add Mul Mul tan Add x0 tan Add Add Mul tan x0 4 x2 x2 sec Add x0 tan Add Add Mul tan x0 4 x2 x2 Add 1 Mul Pow sec Add Add Mul tan x0 4 x2 x2 2 Mul 4 Pow sec x0 2 Mul Pow pi coth x7 Mul -1 Pow Add 1 Mul x0 x0 -1 