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