Pow Add Mul atan Mul sqrt x0 Mul Add x0 4 Add x7 x0 asinh x0 x7 -3 
Mul Pow Add Mul atan Mul sqrt x0 Mul Add x0 4 Add x7 x0 asinh x0 x7 4 Mul -3 Add Mul asinh x0 Mul Add Mul Mul Add x0 4 Add x7 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Add x7 x0 Add x0 4 Pow Add 1 Mul Mul sqrt x0 Mul Add x0 4 Add x7 x0 Mul sqrt x0 Mul Add x0 4 Add x7 x0 -1 Mul atan Mul sqrt x0 Mul Add x0 4 Add x7 x0 Pow sqrt Add 1 Mul x0 x0 -1 