Details

Time bar (total: 13.4s)

sample125.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
36.0ms774×pre80false
12.0ms256×pre80true

simplify200.0ms

Counts
1 → 1
Iterations
IterNodes
8161
7161
6154
5138
489
348
227
115
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.3b

localize28.0ms

Local error

Found 1 expressions with local error:

15.3b
(/ (* (* 2 x) y) (- x y))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
10×add-cbrt-cube add-exp-log
add-sqr-sqrt *-un-lft-identity
associate-/r* times-frac
cbrt-undiv div-exp prod-exp add-cube-cbrt cbrt-unprod
associate-/r/ distribute-lft-out-- difference-of-squares
pow1 clear-num frac-2neg flip3-- insert-posit16 div-inv flip-- associate-/l* add-log-exp
Counts
1 → 30
Calls
1 calls:
56.0ms
(/ (* (* 2 x) y) (- x y))

series134.0ms

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

simplify3.1s

Counts
33 → 33
Iterations
IterNodes
34899
2885
1221
078

prune307.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
64×times-frac
50×add-sqr-sqrt *-un-lft-identity
30×add-cube-cbrt
22×associate-/r*
16×add-cbrt-cube add-exp-log
10×distribute-lft-out-- difference-of-squares
cbrt-undiv div-exp
associate-/l*
div-inv
pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp associate-/l/
flip3-- div-sub associate-/r/ flip--
Counts
2 → 98
Calls
2 calls:
35.0ms
(/ (* 2 x) (/ (- x y) y))
27.0ms
(/ (- x y) y)

series186.0ms

Counts
2 → 6
Calls
2 calls:
129.0ms
(/ (* 2 x) (/ (- x y) y))
56.0ms
(/ (- x y) y)

simplify3.7s

Counts
104 → 104
Iterations
IterNodes
35676
21250
1408
0153

prune943.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

regimes73.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
211
111
08

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.7s8000×body80valid
1.3s24087×pre80false
428.0ms8000×pre80true