Mul x0 Mul log Mul Mul -4 x2 x0 Add Mul Pow x0 acoth pi x0 x0 
Add Mul log Mul Mul -4 x2 x0 Add Mul Pow x0 acoth pi x0 x0 Mul x0 Add Mul Add Mul Pow x0 acoth pi x0 x0 Mul Mul -4 x2 Pow Mul Mul -4 x2 x0 -1 Mul log Mul Mul -4 x2 x0 Add Add Mul x0 Mul Pow x0 Add acoth pi -1 acoth pi Pow x0 acoth pi 1 