Pow Add atanh Mul x7 Add x0 coth Add 1 x4 Pow pi acot Mul -4 Add x0 x6 acot tan x4 
Mul Pow Add atanh Mul x7 Add x0 coth Add 1 x4 Pow pi acot Mul -4 Add x0 x6 Add acot tan x4 -1 Mul acot tan x4 Add Mul x7 Pow Add 1 Mul -1 Mul Mul x7 Add x0 coth Add 1 x4 Mul x7 Add x0 coth Add 1 x4 -1 Mul Pow pi Add acot Mul -4 Add x0 x6 -1 Mul Mul pi log pi Mul -1 Mul -4 Pow Add 1 Mul Mul -4 Add x0 x6 Mul -4 Add x0 x6 -1 