Mul Mul Add x3 x0 x1 Mul x0 Add x0 Add Mul x4 acoth x0 Add pi x0 
Add Mul Mul x0 Add x0 Add Mul x4 acoth x0 Add pi x0 x1 Mul Mul Add x3 x0 x1 Add Add x0 Add Mul x4 acoth x0 Add pi x0 Mul x0 Add 1 Add Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 1 