Pow acot log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 tan Add x0 x0 
Mul Pow acot log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 Add tan Add x0 x0 -1 Add Mul tan Add x0 x0 Mul -1 Mul Mul Add 1 Add 1 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Pow Add x0 Add Add 0.894427190999916 x0 acoth tan x0 -1 Pow Add 1 Mul log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 -1 Mul Mul acot log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 log acot log Add x0 Add Add 0.894427190999916 x0 acoth tan x0 Mul Pow sec Add x0 x0 2 2 