acoth Mul x0 Add Add atan Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 Mul Add x0 1 x0 1 
Mul Add Add Add atan Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 Mul Add x0 1 x0 1 Mul x0 Add Mul Add Pow Mul x0 0.885868123438183 x0 Mul Add x0 3 Mul Pow Mul x0 0.885868123438183 Add x0 -1 Add Mul x0 0.885868123438183 Mul Mul x0 0.885868123438183 log Mul x0 0.885868123438183 Pow Add 1 Mul Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 -1 Add x0 Add x0 1 Pow Add 1 Mul -1 Mul Mul x0 Add Add atan Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 Mul Add x0 1 x0 1 Mul x0 Add Add atan Mul Add x0 3 Pow Mul x0 0.885868123438183 x0 Mul Add x0 1 x0 1 -1 