acot Mul x0 atanh Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 
Mul -1 Mul Add atanh Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 Mul x0 Mul Add 1 Add 1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 -1 Pow Add 1 Mul Mul x0 atanh Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 Mul x0 atanh Add x0 Add x0 Add Pow x3 x3 Add x1 atan x0 -1 