Mul atanh acos exp log Pow x2 x0 x0 
Add Mul x0 Mul Mul -1 Mul Mul exp log Pow x2 x0 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Pow x2 x0 -1 Pow sqrt Add 1 Mul -1 Mul exp log Pow x2 x0 exp log Pow x2 x0 -1 Pow Add 1 Mul -1 Mul acos exp log Pow x2 x0 acos exp log Pow x2 x0 -1 atanh acos exp log Pow x2 x0 