Pow acot Mul Add 3 x0 acsch pi x0 
Mul Pow acot Mul Add 3 x0 acsch pi Add x0 -1 Add Mul x0 Mul -1 Mul acsch pi Pow Add 1 Mul Mul Add 3 x0 acsch pi Mul Add 3 x0 acsch pi -1 Mul acot Mul Add 3 x0 acsch pi log acot Mul Add 3 x0 acsch pi 