Details

Time bar (total: 7.3s)

sample44.0ms

Algorithm
intervals
Results
29.0ms256×body80valid
2.0ms67×body80nan

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.1b

localize8.0ms

Local error

Found 1 expressions with local error:

22.5b
(sqrt (+ (* x x) y))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt sqrt-prod
2×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
1×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
13.0ms
(sqrt (+ (* x x) y))

series59.0ms

Counts
1 → 3
Calls
1 calls:
59.0ms
(sqrt (+ (* x x) y))

simplify2.1s

Counts
18 → 18
Iterations
IterNodes
done5001
42254
3739
2276
1114
051

prune108.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.7b
(/ -1/2 (/ x y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
43×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/r*
6×add-cbrt-cube add-exp-log
5×div-inv
3×cbrt-undiv div-exp associate-/l*
1×pow1 clear-num frac-2neg associate-/r/ add-log-exp
Counts
1 → 70
Calls
1 calls:
7.0ms
(/ -1/2 (/ x y))

series18.0ms

Counts
1 → 3
Calls
1 calls:
18.0ms
(/ -1/2 (/ x y))

simplify1.6s

Counts
73 → 73
Iterations
IterNodes
done5101
33102
2976
1371
0150

prune393.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 1/2 (/ y x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
10.0ms
(* 1/2 (/ y x))

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(* 1/2 (/ y x))

simplify1.4s

Counts
35 → 35
Iterations
IterNodes
done5003
31421
2508
1172
068

prune151.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes244.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 21.5b

bsearch56.0ms

Steps
ItersRangePoint
5
7.811112791508035e+145
2.279518599661615e+146
1.7202383854095123e+146
8
-3.080348013120995e+157
-7.020206400485694e+153
-9.391701187709677e+153

simplify5.0ms

Iterations
IterNodes
done22
122
019

end0.0ms

sample935.0ms

Algorithm
intervals
Results
618.0ms8000×body80valid
67.0ms2559×body80nan