acoth Add Mul Mul x0 Add x0 pi x0 Mul sqrt x4 x0 
Mul Add Add Mul x0 Add Add x0 pi x0 Mul x0 Add x0 pi sqrt x4 Pow Add 1 Mul -1 Mul Add Mul Mul x0 Add x0 pi x0 Mul sqrt x4 x0 Add Mul Mul x0 Add x0 pi x0 Mul sqrt x4 x0 -1 