Mul x4 Pow Pow acoth csch Add atanh Add x3 x0 pi Mul x0 Mul -3 x0 tan x6 
Mul x4 Mul Pow Pow acoth csch Add atanh Add x3 x0 pi Mul x0 Mul -3 x0 Add tan x6 -1 Mul tan x6 Mul Pow acoth csch Add atanh Add x3 x0 pi Add Mul x0 Mul -3 x0 -1 Add Mul Mul x0 Mul -3 x0 Mul Mul Mul Mul -1 coth Add atanh Add x3 x0 pi csch Add atanh Add x3 x0 pi Pow Add 1 Mul -1 Mul Add x3 x0 Add x3 x0 -1 Pow Add 1 Mul -1 Mul csch Add atanh Add x3 x0 pi csch Add atanh Add x3 x0 pi -1 Mul Mul acoth csch Add atanh Add x3 x0 pi log acoth csch Add atanh Add x3 x0 pi Add Mul -3 x0 Mul x0 -3 