Mul atanh Pow atan Add x0 x3 acos Pow x4 0.958924274663138 2 
Mul 2 Mul Mul Pow atan Add x0 x3 Add acos Pow x4 0.958924274663138 -1 Mul acos Pow x4 0.958924274663138 Pow Add 1 Mul Add x0 x3 Add x0 x3 -1 Pow Add 1 Mul -1 Mul Pow atan Add x0 x3 acos Pow x4 0.958924274663138 Pow atan Add x0 x3 acos Pow x4 0.958924274663138 -1 