Pow atan Add x0 x0 Mul acos Pow Add Add 3 x0 asinh E Add x0 asin x0 atanh x0 
Mul Pow atan Add x0 x0 Add Mul acos Pow Add Add 3 x0 asinh E Add x0 asin x0 atanh x0 -1 Add Mul Mul acos Pow Add Add 3 x0 asinh E Add x0 asin x0 atanh x0 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul atan Add x0 x0 log atan Add x0 x0 Add Mul atanh x0 Mul -1 Mul Mul Pow Add Add 3 x0 asinh E Add Add x0 asin x0 -1 Add Add x0 asin x0 Mul Mul Add Add 3 x0 asinh E log Add Add 3 x0 asinh E Add 1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add Add 3 x0 asinh E Add x0 asin x0 Pow Add Add 3 x0 asinh E Add x0 asin x0 -1 Mul acos Pow Add Add 3 x0 asinh E Add x0 asin x0 Pow Add 1 Mul -1 Mul x0 x0 -1 