Add -4 Pow Pow Add 3 asinh x3 acos asin atanh x0 Mul sqrt x0 x1 
Mul Pow Pow Add 3 asinh x3 acos asin atanh x0 Add Mul sqrt x0 x1 -1 Add Mul Mul sqrt x0 x1 Mul Pow Add 3 asinh x3 Add acos asin atanh x0 -1 Mul Mul Add 3 asinh x3 log Add 3 asinh x3 Mul -1 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow sqrt Add 1 Mul -1 Mul asin atanh x0 asin atanh x0 -1 Mul Mul Pow Add 3 asinh x3 acos asin atanh x0 log Pow Add 3 asinh x3 acos asin atanh x0 Mul x1 Pow Mul 2 sqrt x0 -1 