Mul x0 Add Mul Pow x0 x4 acoth Add Mul Pow coth pi Mul Mul atanh x6 x0 x0 tan x0 3 x0 
Add Add Mul Pow x0 x4 acoth Add Mul Pow coth pi Mul Mul atanh x6 x0 x0 tan x0 3 x0 Mul x0 Add Add Mul acoth Add Mul Pow coth pi Mul Mul atanh x6 x0 x0 tan x0 3 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 Mul Add Mul tan x0 Mul Pow coth pi Add Mul Mul atanh x6 x0 x0 -1 Mul Mul coth pi log coth pi Add Mul x0 atanh x6 Mul atanh x6 x0 Mul Pow coth pi Mul Mul atanh x6 x0 x0 Pow sec x0 2 Pow Add 1 Mul -1 Mul Add Mul Pow coth pi Mul Mul atanh x6 x0 x0 tan x0 3 Add Mul Pow coth pi Mul Mul atanh x6 x0 x0 tan x0 3 -1 1 