Details

Time bar (total: 12.8s)

sample26.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5000
444883
434767
424627
414512
404370
394254
384114
373999
363857
353741
343601
333486
323344
313228
303088
292973
282831
272715
262575
252460
242318
232202
222062
211947
201805
191689
181549
171434
161292
151176
141036
13926
12792
11680
10550
9445
8302
7199
6118
565
450
339
227
117
07

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 2.0 (+ x y))
0.0b
(/ (- x y) (- 2.0 (+ x y)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
43×add-sqr-sqrt
30×times-frac
21×distribute-lft-out--
15×add-cube-cbrt
14×difference-of-squares
7×distribute-lft-out add-log-exp
6×associate-/r*
5×associate-/l*
4×add-cbrt-cube add-exp-log
3×flip3-- flip--
2×pow1 diff-log associate-/r/ insert-posit16 associate-/l/
1×cbrt-undiv clear-num sum-log sub-neg frac-2neg div-sub div-exp div-inv associate--r+
Counts
2 → 77
Calls
2 calls:
10.0ms
(- 2.0 (+ x y))
27.0ms
(/ (- x y) (- 2.0 (+ x y)))

series67.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(- 2.0 (+ x y))
53.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify1.9s

Counts
83 → 83
Iterations
IterNodes
done5028
34366
2896
1315
0128

prune217.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 2.0 (+ x y))
0.0b
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
0.0b
(/ x (- 2.0 (+ x y)))
0.0b
(/ y (- 2.0 (+ x y)))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
133×*-un-lft-identity
64×times-frac
62×add-sqr-sqrt
43×distribute-lft-out--
28×add-cube-cbrt
15×distribute-lft-out difference-of-squares
12×associate-/r*
11×add-log-exp
8×add-cbrt-cube add-exp-log associate-/r/
6×flip3-- flip-- associate-/l*
4×pow1 insert-posit16 div-inv
3×distribute-rgt-out-- diff-log
2×cbrt-undiv clear-num sub-neg frac-2neg div-exp
1×sum-log frac-sub associate--r+ sub-div
Counts
4 → 137
Calls
4 calls:
14.0ms
(- 2.0 (+ x y))
145.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
28.0ms
(/ x (- 2.0 (+ x y)))
25.0ms
(/ y (- 2.0 (+ x y)))

series229.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(- 2.0 (+ x y))
78.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
65.0ms
(/ x (- 2.0 (+ x y)))
65.0ms
(/ y (- 2.0 (+ x y)))

simplify2.1s

Counts
149 → 149
Iterations
IterNodes
done5001
34691
21209
1431
0194

prune430.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 2.0 (+ x y))
0.0b
(/ x (- 2.0 (+ x y)))
0.0b
(+ (/ x (- 2.0 (+ x y))) (- (/ y (- 2.0 (+ x y)))))
0.0b
(/ y (- 2.0 (+ x y)))

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
135×*-un-lft-identity
60×times-frac
50×add-sqr-sqrt
30×distribute-lft-out--
29×distribute-lft-out
28×add-cube-cbrt
13×distribute-rgt-neg-in add-log-exp
12×associate-/r*
11×difference-of-squares
8×add-cbrt-cube add-exp-log associate-/r/
6×associate-/l*
5×flip3-- flip--
4×pow1 insert-posit16 div-inv
3×distribute-lft-neg-in sum-log distribute-rgt-out
2×cbrt-undiv clear-num frac-2neg diff-log div-exp
1×neg-sub0 +-commutative associate-+r- sub-neg flip3-+ unsub-neg neg-log frac-add flip-+ distribute-neg-frac associate--r+
Counts
4 → 136
Calls
4 calls:
14.0ms
(- 2.0 (+ x y))
25.0ms
(/ x (- 2.0 (+ x y)))
156.0ms
(+ (/ x (- 2.0 (+ x y))) (- (/ y (- 2.0 (+ x y)))))
24.0ms
(/ y (- 2.0 (+ x y)))

series221.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- 2.0 (+ x y))
54.0ms
(/ x (- 2.0 (+ x y)))
89.0ms
(+ (/ x (- 2.0 (+ x y))) (- (/ y (- 2.0 (+ x y)))))
64.0ms
(/ y (- 2.0 (+ x y)))

simplify1.0s

Counts
148 → 148
Iterations
IterNodes
done5000
21427
1467
0196

prune422.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- 2.0 (+ x y)))
0.0b
(* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
0.1b
(* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y))))
2.6b
(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))) (+ (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

rewrite428.0ms

Algorithm
rewrite-expression-head
Rules
738×*-un-lft-identity
438×times-frac
254×add-sqr-sqrt
164×distribute-lft-out--
154×add-cube-cbrt
147×distribute-lft-out
84×swap-sqr
58×difference-of-squares
48×associate-*r* associate-*l*
41×associate-/r/
32×add-cbrt-cube add-exp-log
25×associate-/r*
20×flip3-- div-inv flip--
18×pow1
16×associate-/l/
15×distribute-rgt-out
12×associate-*l/ associate-*r/
10×frac-times cbrt-undiv div-exp
9×frac-sub
8×prod-exp cbrt-unprod unswap-sqr
7×associate-/l*
5×sub-div
4×insert-posit16 add-log-exp
2×pow2 clear-num frac-2neg pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up
1×flip3-+ div-sub frac-add flip-+
Counts
4 → 412
Calls
4 calls:
24.0ms
(/ y (- 2.0 (+ x y)))
97.0ms
(* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
80.0ms
(* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y))))
210.0ms
(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))) (+ (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

series373.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(/ y (- 2.0 (+ x y)))
82.0ms
(* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
71.0ms
(* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y))))
164.0ms
(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ y (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))) (+ (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))

simplify1.5s

Counts
424 → 424
Iterations
IterNodes
done5001
11534
0452

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.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
done13
113
09

end0.0ms

sample652.0ms

Algorithm
intervals
Results
469.0ms8000×body80valid