Pow Add Add Add atan Add Mul x0 2 x0 x0 acoth x0 x5 pi 
Mul Pow Add Add Add atan Add Mul x0 2 x0 x0 acoth x0 x5 Add pi -1 Mul pi Add Add Mul 3 Pow Add 1 Mul Add Mul x0 2 x0 Add Mul x0 2 x0 -1 1 Pow Add 1 Mul -1 Mul x0 x0 -1 