atanh acos Mul x0 Add Add -3 x7 1 
Mul Mul -1 Mul Add Add -3 x7 1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add Add -3 x7 1 Mul x0 Add Add -3 x7 1 -1 Pow Add 1 Mul -1 Mul acos Mul x0 Add Add -3 x7 1 acos Mul x0 Add Add -3 x7 1 -1 