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