Mul acot Mul x0 sqrt csch Add Mul 5 x6 sqrt pi Pow x0 x0 
Add Mul Pow x0 x0 Mul -1 Mul sqrt csch Add Mul 5 x6 sqrt pi Pow Add 1 Mul Mul x0 sqrt csch Add Mul 5 x6 sqrt pi Mul x0 sqrt csch Add Mul 5 x6 sqrt pi -1 Mul acot Mul x0 sqrt csch Add Mul 5 x6 sqrt pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 