Mul Pow acot x0 tanh atanh Add x0 x3 Mul Mul Add sin acsch x5 Add -4 x0 x0 Mul x0 pi 
Add Mul Mul Mul Add sin acsch x5 Add -4 x0 x0 Mul x0 pi Mul Pow acot x0 Add tanh atanh Add x0 x3 -1 Add Mul tanh atanh Add x0 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow sech atanh Add x0 x3 2 Pow Add 1 Mul -1 Mul Add x0 x3 Add x0 x3 -1 Mul Pow acot x0 tanh atanh Add x0 x3 Add Mul Mul x0 pi Add x0 Add sin acsch x5 Add -4 x0 Mul Mul Add sin acsch x5 Add -4 x0 x0 pi 