Details

Time bar (total: 30.9s)

sample29.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify22.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1159
2369
3759
41329
51829
62099
72209
82289
92369
102449
112529
122609
132689
142769
152849
162929
173009
183089
193169
203249
213329
223409
233489
243569
253649
263729
273809
283889
293969
304049
314129
324209
334289
344369
354449
364529
374609
384689
394769
404849
414929
425009
435089
445169
455249
465329
475409
485489
495569
505649
515729
525809
535889
545969
556049
566129
576209
586289
596369
606449
616529
626609
636689
646769
656849
666929
677009
687089
697169
707249
717329
727409
737489
747569
757649
767729
777809
787889
797969
808049
818129
828209
838289
848369
858449
868529
878609
888689
898769
908849
918929
929009
939089
949169
959249
969329
979409
989489
999569
1009649
1019729
1029809
1039889
1049969
10510049
10610129
10710209
10810289
10910369
11010449
11110529
11210609
11310689
11410769
11510849
11610929
11711009
11811089
11911169
12011249
12111329
12211409
12311489
12411569
12511649
12611729
12711809
12811889
12911969
13012049
13112129
13212209
13312289
13412369
13512449
13612529
13712609
13812689
13912769
14012849
14112929
14213009
14313089
14413169
14513249
14613329
14713409
14813489
14913569
15013649
15113729
15213809
15313889
15413969
15514049
15614129
15714209
15814289
15914369
16014449
16114529
16214609
16314689
16414769
16514849
16614929
16715009
16815089
16915169
17015249
17115329
17215409
17315489
17415569
17515649
17615729
17715809
17815889
17915969
18016049
18116129
18216209
18316289
18416369
18516449
18616529
18716609
18816689
18916769
19016849
19116929
19217009
19317089
19417169
19517249
19617329
19717409
19817489
19917569
20017649
20117729
20217809
20317889
20417969
20518049
20618129
20718209
20818289
20918369
21018449
21118529
21218609
21318689
21418769
21518849
21618929
21719009
21819089
21919169
22019249
22119329
22219409
22319489
22419569
22519649
22619729
22719809
22819889
22919969
23020049
23120129
23220209
23320289
23420369
23520449
23620529
23720609
23820689
23920769
24020849
24120929
24221009
24321089
24421169
24521249
24621329
24721409
24821489
24921569
25021649
25121729
25221809
25321889
25421969
25522049
25622129
25722209
25822289
25922369
26022449
26122529
26222609
26322689
26422769
26522849
26622929
26723009
26823089
26923169
27023249
27123329
27223409
27323489
27423569
27523649
27623729
27723809
27823889
27923969
28024049
28124129
28224209
28324289
28424369
28524449
28624529
28724609
28824689
28924769
29024849
29124929
29225009
29325089
29425169
29525249
29625329
29725409
29825489
29925569
30025649
30125729
30225809
30325889
30425969
30526049
30626129
30726209
30826289
30926369
31026449
31126529
31226609
31326689
31426769
31526849
31626929
31727009
31827089
31927169
32027249
32127329
32227409
32327489
32427569
32527649
32627729
32727809
32827889
32927969
33028049
33128129
33228209
33328289
33428369
33528449
33628529
33728609
33828689
33928769
34028849
34128929
34229009
34329089
34429169
34529249
34629329
34729409
34829489
34929569
35029649
35129729
35229809
35329889
35429969
35530049
35630129
35730209
35830289
35930369
36030449
36130529
36230609
36330689
36430769
36530849
36630929
36731009
36831089
36931169
37031249
37131329
37231409
37331489
37431569
37531649
37631729
37731809
37831889
37931969
38032049
38132129
38232209
38332289
38432369
38532449
38632529
38732609
38832689
38932769
39032849
39132929
39233009
39333089
39433169
39533249
39633329
39733409
39833489
39933569
40033649
40133729
40233809
40333889
40433969
40534049
40634129
40734209
40834289
40934369
41034449
41134529
41234609
41334689
41434769
41534849
41634929
41735009
41835089
41935169
42035249
42135329
42235409
42335489
42435569
42535649
42635729
42735809
42835889
42935969
43036049
43136129
43236209
43336289
43436369
43536449
43636529
43736609
43836689
43936769
44036849
44136929
44237009
44337089
44437169
44537249
44637329
44737409
44837489
44937569
45037649
45137729
45237809
45337889
45437969
45538049
45638129
45738209
45838289
45938369
46038449
46138529
46238609
46338689
46438769
46538849
46638929
46739009
46839089
46939169
47039249
47139329
47239409
47339489
47439569
47539649
47639729
47739809
47839889
47939969
48040049
48140129
48240209
48340289
48440369
48540449
48640529
48740609
48840689
48940769
49040849
49140929
49241009
49341089
49441169
49541249
49641329
49741409
49841489
49941569
50041649
50141729
50241809
50341889
50441969
50542049
50642129
50742209
50842289
50942369
51042449
51142529
51242609
51342689
51442769
51542849
51642929
51743009
51843089
51943169
52043249
52143329
52243409
52343489
52443569
52543649
52643729
52743809
52843889
52943969
53044049
53144129
53244209
53344289
53444369
53544449
53644529
53744609
53844689
53944769
54044849
54144929
54245009
54345089
54445169
54545249
54645329
54745409
54845489
54945569
55045649
55145729
55245809
55345889
55445969
55546049
55646129
55746209
55846289
55946369
56046449
56146529
56246609
56346689
56446769
56546849
56646929
56747009
56847089
56947169
57047249
57147329
57247409
57347489
57447569
57547649
57647729
57747809
57847889
57947969
58048049
58148129
58248209
58348289
58448369
58548449
58648529
58748609
58848689
58948769
59048849
59148929
59249009
59349089
59449169
59549249
59649329
59749409
59849489
59949569
60049649
60149729
60249809
60349889
60449969
done50019

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize6.0ms

Local error

Found 1 expressions with local error:

15.5b
(/ (* (* x 2.0) y) (- x y))

rewrite33.0ms

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

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(/ (* (* x 2.0) y) (- x y))

simplify748.0ms

Counts
34 → 34
Iterations

Useful iterations: done (747.0ms)

IterNodesCost
079420
1223400
21303344
done5000334

prune64.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- x y))
5.9b
(* (* x 2.0) (/ y (- x y)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt *-un-lft-identity
30×times-frac
21×add-cube-cbrt associate-*r*
16×add-exp-log add-cbrt-cube
7×pow1 distribute-lft-out-- difference-of-squares
6×prod-exp cbrt-unprod
5×associate-/r*
4×associate-/r/
3×cbrt-undiv div-exp pow-prod-down associate-/l*
2×expm1-log1p-u flip3-- flip-- log1p-expm1-u div-inv add-log-exp
1×frac-2neg associate-*r/ associate-*l* clear-num *-commutative
Counts
2 → 82
Calls
2 calls:
18.0ms
(/ y (- x y))
56.0ms
(* (* x 2.0) (/ y (- x y)))

series126.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(/ y (- x y))
78.0ms
(* (* x 2.0) (/ y (- x y)))

simplify1.8s

Counts
88 → 88
Iterations

Useful iterations: done (1.8s)

IterNodesCost
0120947
1338894
22322802
done5000788

prune157.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x y))
0.6b
(cbrt (- x y))
0.6b
(cbrt (- x y))
5.2b
(* (/ (* x 2.0) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
43×add-sqr-sqrt
35×*-un-lft-identity
32×add-cbrt-cube
31×cbrt-prod
30×associate-*r*
27×times-frac
23×add-cube-cbrt
20×cbrt-div
18×prod-exp cbrt-unprod
13×cbrt-undiv div-exp associate-*l*
10×flip3-- associate-/r/ flip--
6×pow1 distribute-lft-out-- difference-of-squares
5×frac-times
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ associate-*l/ unswap-sqr
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 131
Calls
4 calls:
6.0ms
(cbrt (- x y))
6.0ms
(cbrt (- x y))
6.0ms
(cbrt (- x y))
133.0ms
(* (/ (* x 2.0) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

series617.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(cbrt (- x y))
187.0ms
(cbrt (- x y))
152.0ms
(cbrt (- x y))
78.0ms
(* (/ (* x 2.0) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

simplify1.7s

Counts
143 → 143
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02172688
16602550
238812091
done50001914

prune422.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) y)
0.3b
(/ 1 (/ (- x y) y))
5.9b
(* (* x 2.0) (/ 1 (/ (- x y) y)))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
234×times-frac
166×add-sqr-sqrt *-un-lft-identity
116×add-cube-cbrt
62×associate-*r*
61×add-exp-log
31×add-cbrt-cube
25×distribute-lft-out-- difference-of-squares
22×div-exp associate-/r*
21×prod-exp
10×cbrt-undiv div-inv
9×pow1 cbrt-unprod
8×associate-/l*
6×rec-exp 1-exp
3×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
2×frac-2neg clear-num associate-/r/ associate-/l/
1×flip3-- pow-flip div-sub associate-*r/ associate-*l* un-div-inv *-commutative flip-- inv-pow
Counts
3 → 239
Calls
3 calls:
21.0ms
(/ (- x y) y)
23.0ms
(/ 1 (/ (- x y) y))
79.0ms
(* (* x 2.0) (/ 1 (/ (- x y) y)))

series160.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ (- x y) y)
48.0ms
(/ 1 (/ (- x y) y))
83.0ms
(* (* x 2.0) (/ 1 (/ (- x y) y)))

simplify604.0ms

Counts
248 → 248
Iterations

Useful iterations: done (597.0ms)

IterNodesCost
02833451
19332857
done50012566

prune452.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

regimes53.0ms

Accuracy

98.8% (0.1b remaining)

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

bsearch56.0ms

Steps
ItersRangePoint
9
2.7065890313690586e+29
1.8748362837076546e+36
2.9525005676724613e+29
3
-7.187716770185568e+31
-5.449628892831694e+31
-6.644564308512482e+31

simplify11.0ms

Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
01839
12629
done2629

end0.0ms

sample646.0ms

Algorithm
intervals
Results
352.0ms8000×body80valid