Add csch acot Pow Mul -2 Add 3 x2 x0 x0 
Add Mul Mul Mul -1 coth acot Pow Mul -2 Add 3 x2 x0 csch acot Pow Mul -2 Add 3 x2 x0 Mul -1 Mul Mul Pow Mul -2 Add 3 x2 Add x0 -1 Mul Mul -2 Add 3 x2 log Mul -2 Add 3 x2 Pow Add 1 Mul Pow Mul -2 Add 3 x2 x0 Pow Mul -2 Add 3 x2 x0 -1 1 