Add acoth acot Pow x0 Pow x2 Mul x0 E -3 
Mul Mul -1 Mul Mul Pow x0 Add Pow x2 Mul x0 E -1 Add Pow x2 Mul x0 E Mul Mul x0 log x0 Mul Pow x2 Add Mul x0 E -1 Mul Mul x2 log x2 E Pow Add 1 Mul Pow x0 Pow x2 Mul x0 E Pow x0 Pow x2 Mul x0 E -1 Pow Add 1 Mul -1 Mul acot Pow x0 Pow x2 Mul x0 E acot Pow x0 Pow x2 Mul x0 E -1 