Mul Mul asin acoth Add x0 x1 x0 Pow Add -5 x7 Mul Add Add atanh x7 x2 -4 Add x1 6 
Mul Pow Add -5 x7 Mul Add Add atanh x7 x2 -4 Add x1 6 Add Mul x0 Mul Pow Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add x0 x1 acoth Add x0 x1 -1 asin acoth Add x0 x1 