Details

Time bar (total: 31.5s)

sample23.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify22.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07163
115163
236163
375163
4132163
5181163
6208163
7218163
8225163
9232163
10239163
11246163
12253163
13260163
14267163
15274163
16281163
17288163
18295163
19302163
20309163
21316163
22323163
23330163
24337163
25344163
26351163
27358163
28365163
29372163
30379163
31386163
32393163
33400163
34407163
35414163
36421163
37428163
38435163
39442163
40449163
41456163
42463163
43470163
44477163
45484163
46491163
47498163
48505163
49512163
50519163
51526163
52533163
53540163
54547163
55554163
56561163
57568163
58575163
59582163
60589163
61596163
62603163
63610163
64617163
65624163
66631163
67638163
68645163
69652163
70659163
71666163
72673163
73680163
74687163
75694163
76701163
77708163
78715163
79722163
80729163
81736163
82743163
83750163
84757163
85764163
86771163
87778163
88785163
89792163
90799163
91806163
92813163
93820163
94827163
95834163
96841163
97848163
98855163
99862163
100869163
101876163
102883163
103890163
104897163
105904163
106911163
107918163
108925163
109932163
110939163
111946163
112953163
113960163
114967163
115974163
116981163
117988163
118995163
1191002163
1201009163
1211016163
1221023163
1231030163
1241037163
1251044163
1261051163
1271058163
1281065163
1291072163
1301079163
1311086163
1321093163
1331100163
1341107163
1351114163
1361121163
1371128163
1381135163
1391142163
1401149163
1411156163
1421163163
1431170163
1441177163
1451184163
1461191163
1471198163
1481205163
1491212163
1501219163
1511226163
1521233163
1531240163
1541247163
1551254163
1561261163
1571268163
1581275163
1591282163
1601289163
1611296163
1621303163
1631310163
1641317163
1651324163
1661331163
1671338163
1681345163
1691352163
1701359163
1711366163
1721373163
1731380163
1741387163
1751394163
1761401163
1771408163
1781415163
1791422163
1801429163
1811436163
1821443163
1831450163
1841457163
1851464163
1861471163
1871478163
1881485163
1891492163
1901499163
1911506163
1921513163
1931520163
1941527163
1951534163
1961541163
1971548163
1981555163
1991562163
2001569163
2011576163
2021583163
2031590163
2041597163
2051604163
2061611163
2071618163
2081625163
2091632163
2101639163
2111646163
2121653163
2131660163
2141667163
2151674163
2161681163
2171688163
2181695163
2191702163
2201709163
2211716163
2221723163
2231730163
2241737163
2251744163
2261751163
2271758163
2281765163
2291772163
2301779163
2311786163
2321793163
2331800163
2341807163
2351814163
2361821163
2371828163
2381835163
2391842163
2401849163
2411856163
2421863163
2431870163
2441877163
2451884163
2461891163
2471898163
2481905163
2491912163
2501919163
2511926163
2521933163
2531940163
2541947163
2551954163
2561961163
2571968163
2581975163
2591982163
2601989163
2611996163
2622003163
2632010163
2642017163
2652024163
2662031163
2672038163
2682045163
2692052163
2702059163
2712066163
2722073163
2732080163
2742087163
2752094163
2762101163
2772108163
2782115163
2792122163
2802129163
2812136163
2822143163
2832150163
2842157163
2852164163
2862171163
2872178163
2882185163
2892192163
2902199163
2912206163
2922213163
2932220163
2942227163
2952234163
2962241163
2972248163
2982255163
2992262163
3002269163
3012276163
3022283163
3032290163
3042297163
3052304163
3062311163
3072318163
3082325163
3092332163
3102339163
3112346163
3122353163
3132360163
3142367163
3152374163
3162381163
3172388163
3182395163
3192402163
3202409163
3212416163
3222423163
3232430163
3242437163
3252444163
3262451163
3272458163
3282465163
3292472163
3302479163
3312486163
3322493163
3332500163
3342507163
3352514163
3362521163
3372528163
3382535163
3392542163
3402549163
3412556163
3422563163
3432570163
3442577163
3452584163
3462591163
3472598163
3482605163
3492612163
3502619163
3512626163
3522633163
3532640163
3542647163
3552654163
3562661163
3572668163
3582675163
3592682163
3602689163
3612696163
3622703163
3632710163
3642717163
3652724163
3662731163
3672738163
3682745163
3692752163
3702759163
3712766163
3722773163
3732780163
3742787163
3752794163
3762801163
3772808163
3782815163
3792822163
3802829163
3812836163
3822843163
3832850163
3842857163
3852864163
3862871163
3872878163
3882885163
3892892163
3902899163
3912906163
3922913163
3932920163
3942927163
3952934163
3962941163
3972948163
3982955163
3992962163
4002969163
4012976163
4022983163
4032990163
4042997163
4053004163
4063011163
4073018163
4083025163
4093032163
4103039163
4113046163
4123053163
4133060163
4143067163
4153074163
4163081163
4173088163
4183095163
4193102163
4203109163
4213116163
4223123163
4233130163
4243137163
4253144163
4263151163
4273158163
4283165163
4293172163
4303179163
4313186163
4323193163
4333200163
4343207163
4353214163
4363221163
4373228163
4383235163
4393242163
4403249163
4413256163
4423263163
4433270163
4443277163
4453284163
4463291163
4473298163
4483305163
4493312163
4503319163
4513326163
4523333163
4533340163
4543347163
4553354163
4563361163
4573368163
4583375163
4593382163
4603389163
4613396163
4623403163
4633410163
4643417163
4653424163
4663431163
4673438163
4683445163
4693452163
4703459163
4713466163
4723473163
4733480163
4743487163
4753494163
4763501163
4773508163
4783515163
4793522163
4803529163
4813536163
4823543163
4833550163
4843557163
4853564163
4863571163
4873578163
4883585163
4893592163
4903599163
4913606163
4923613163
4933620163
4943627163
4953634163
4963641163
4973648163
4983655163
4993662163
5003669163
5013676163
5023683163
5033690163
5043697163
5053704163
5063711163
5073718163
5083725163
5093732163
5103739163
5113746163
5123753163
5133760163
5143767163
5153774163
5163781163
5173788163
5183795163
5193802163
5203809163
5213816163
5223823163
5233830163
5243837163
5253844163
5263851163
5273858163
5283865163
5293872163
5303879163
5313886163
5323893163
5333900163
5343907163
5353914163
5363921163
5373928163
5383935163
5393942163
5403949163
5413956163
5423963163
5433970163
5443977163
5453984163
5463991163
5473998163
5484005163
5494012163
5504019163
5514026163
5524033163
5534040163
5544047163
5554054163
5564061163
5574068163
5584075163
5594082163
5604089163
5614096163
5624103163
5634110163
5644117163
5654124163
5664131163
5674138163
5684145163
5694152163
5704159163
5714166163
5724173163
5734180163
5744187163
5754194163
5764201163
5774208163
5784215163
5794222163
5804229163
5814236163
5824243163
5834250163
5844257163
5854264163
5864271163
5874278163
5884285163
5894292163
5904299163
5914306163
5924313163
5934320163
5944327163
5954334163
5964341163
5974348163
5984355163
5994362163
6004369163
6014376163
6024383163
6034390163
6044397163
6054404163
6064411163
6074418163
6084425163
6094432163
6104439163
6114446163
6124453163
6134460163
6144467163
6154474163
6164481163
6174488163
6184495163
6194502163
6204509163
6214516163
6224523163
6234530163
6244537163
6254544163
6264551163
6274558163
6284565163
6294572163
6304579163
6314586163
6324593163
6334600163
6344607163
6354614163
6364621163
6374628163
6384635163
6394642163
6404649163
6414656163
6424663163
6434670163
6444677163
6454684163
6464691163
6474698163
6484705163
6494712163
6504719163
6514726163
6524733163
6534740163
6544747163
6554754163
6564761163
6574768163
6584775163
6594782163
6604789163
6614796163
6624803163
6634810163
6644817163
6654824163
6664831163
6674838163
6684845163
6694852163
6704859163
6714866163
6724873163
6734880163
6744887163
6754894163
6764901163
6774908163
6784915163
6794922163
6804929163
6814936163
6824943163
6834950163
6844957163
6854964163
6864971163
6874978163
6884985163
6894992163
6904999163
done5001163

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite29.0ms

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

series73.0ms

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

simplify1.4s

Counts
32 → 32
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0777694
12206849
213006609
done50006369

prune114.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt *-un-lft-identity
30×times-frac
21×associate-*r* add-cube-cbrt
16×add-cbrt-cube add-exp-log
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×flip3-- div-inv flip-- add-log-exp
1×clear-num frac-2neg associate-*l* associate-*r/ *-commutative
Counts
2 → 78
Calls
2 calls:
8.0ms
(/ y (- x y))
29.0ms
(* (* x 2.0) (/ y (- x y)))

series136.0ms

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

simplify1.7s

Counts
84 → 84
Iterations

Useful iterations: 2 (506.0ms)

IterNodesCost
011618742
133116817
2201715974
done500115974

prune333.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
38×*-un-lft-identity
31×times-frac
24×add-cube-cbrt
22×associate-*r*
19×add-cbrt-cube add-exp-log
10×pow1
7×prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares
6×associate-*l*
5×associate-/r*
4×pow-prod-down associate-/r/
3×cbrt-undiv div-exp associate-*r/ associate-/l* add-log-exp
2×flip3-- *-commutative div-inv flip-- unswap-sqr
1×clear-num frac-2neg
Counts
3 → 98
Calls
3 calls:
24.0ms
(* 2.0 (/ y (- x y)))
17.0ms
(/ y (- x y))
48.0ms
(* x (* 2.0 (/ y (- x y))))

series283.0ms

Counts
3 → 9
Calls
3 calls:
97.0ms
(* 2.0 (/ y (- x y)))
77.0ms
(/ y (- x y))
108.0ms
(* x (* 2.0 (/ y (- x y))))

simplify1.3s

Counts
107 → 107
Iterations

Useful iterations: done (1.2s)

IterNodesCost
013021798
133019803
2136519360
done500119200

prune450.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.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
7×cbrt-undiv div-exp
6×associate-/l*
4×div-inv
2×pow1 clear-num frac-2neg prod-exp cbrt-unprod add-log-exp associate-/l/
1×flip3-- div-sub associate-/r/ flip--
Counts
2 → 96
Calls
2 calls:
14.0ms
(/ (- x y) y)
25.0ms
(/ (* x 2.0) (/ (- x y) y))

series135.0ms

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

simplify1.5s

Counts
102 → 102
Iterations

Useful iterations: done (1.5s)

IterNodesCost
015125369
142223640
2249222871
done500122791

prune437.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes209.0ms

Accuracy

93.3% (0.5b remaining)

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

bsearch90.0ms

Steps
ItersRangePoint
8
6.54808022768601e-108
2.6134860737515882e-104
3.2475885478147857e-105
9
-5.579333740778183e-09
-4.97076488117884e-18
-5.795611421145837e-17

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
018586
126586
done26586

end0.0ms

sample1.1s

Algorithm
intervals
Results
870.0ms8000×body80valid