Mul x0 Add Add Mul Mul x0 atanh x0 sec Mul x0 Pow Pow 2 atan acos x7 Mul x0 x0 x0 x0 
Add Add Add Mul Mul x0 atanh x0 sec Mul x0 Pow Pow 2 atan acos x7 Mul x0 x0 x0 x0 Mul x0 Add Add Add Mul sec Mul x0 Pow Pow 2 atan acos x7 Mul x0 x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 Mul Mul tan Mul x0 Pow Pow 2 atan acos x7 Mul x0 x0 sec Mul x0 Pow Pow 2 atan acos x7 Mul x0 x0 Add Pow Pow 2 atan acos x7 Mul x0 x0 Mul x0 Mul Pow Pow 2 atan acos x7 Add Mul x0 x0 -1 Mul Mul Pow 2 atan acos x7 log Pow 2 atan acos x7 Add x0 x0 1 1 