Mul atanh Add Mul Mul acoth pi x0 x0 -2 x0 
Add Mul x0 Mul Add Mul x0 acoth pi Mul acoth pi x0 Pow Add 1 Mul -1 Mul Add Mul Mul acoth pi x0 x0 -2 Add Mul Mul acoth pi x0 x0 -2 -1 atanh Add Mul Mul acoth pi x0 x0 -2 