Add x1 Mul Mul Pow x0 Mul exp atanh pi log Add atan acos E 1.00000762940423 x4 x0 
Add Mul x0 Mul x4 Mul Pow x0 Add Mul exp atanh pi log Add atan acos E 1.00000762940423 -1 Mul exp atanh pi log Add atan acos E 1.00000762940423 Mul Pow x0 Mul exp atanh pi log Add atan acos E 1.00000762940423 x4 