Details

Time bar (total: 51.5s)

sample25.0ms

Algorithm
intervals
Results
13.0ms313×body80valid

simplify48.0ms

Counts
1 → 1
Iterations
IterNodes
done79
679
578
471
358
235
116
07

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.4b

localize10.0ms

Local error

Found 1 expressions with local error:

11.4b
(/ (* a1 a2) (* b1 b2))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube add-exp-log
4×cbrt-undiv div-exp prod-exp cbrt-unprod
1×add-sqr-sqrt pow1 clear-num associate-/r* frac-2neg *-un-lft-identity times-frac add-cube-cbrt insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
15.0ms
(/ (* a1 a2) (* b1 b2))

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(/ (* a1 a2) (* b1 b2))

simplify1.1s

Counts
25 → 25
Iterations
IterNodes
done5002
2812
1160
056

prune73.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 2 expressions with local error:

4.3b
(/ (/ (* a1 a2) b1) b2)
6.4b
(/ (* a1 a2) b1)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×add-cbrt-cube add-exp-log
8×associate-/l*
7×cbrt-undiv div-exp
6×associate-/r* div-inv
2×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 71
Calls
2 calls:
13.0ms
(/ (/ (* a1 a2) b1) b2)
10.0ms
(/ (* a1 a2) b1)

series51.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(/ (/ (* a1 a2) b1) b2)
22.0ms
(/ (* a1 a2) b1)

simplify966.0ms

Counts
77 → 77
Iterations
IterNodes
done5000
21004
1307
0124

prune277.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

4.3b
(/ (/ a2 (/ b1 a1)) b2)
5.7b
(/ a2 (/ b1 a1))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac
229×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
47×associate-/l*
22×div-inv
16×associate-/r* add-cbrt-cube add-exp-log
9×cbrt-undiv div-exp
5×associate-/r/
2×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×associate-/l/
Counts
2 → 268
Calls
2 calls:
31.0ms
(/ (/ a2 (/ b1 a1)) b2)
9.0ms
(/ a2 (/ b1 a1))

series50.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(/ (/ a2 (/ b1 a1)) b2)
21.0ms
(/ a2 (/ b1 a1))

simplify1.7s

Counts
274 → 274
Iterations
IterNodes
done5002
23641
11195
0467

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

4.4b
(* (/ a2 (/ b1 a1)) (/ 1 b2))
5.7b
(/ a2 (/ b1 a1))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
165×times-frac
116×add-sqr-sqrt
89×*-un-lft-identity
86×add-cube-cbrt
46×add-exp-log
44×associate-*l*
28×add-cbrt-cube
21×div-exp
13×associate-/r* associate-*r*
12×cbrt-undiv prod-exp
10×div-inv
9×unswap-sqr
6×cbrt-unprod
4×pow1
3×rec-exp 1-exp associate-/l*
2×associate-/r/ insert-posit16 add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative
Counts
2 → 169
Calls
2 calls:
37.0ms
(* (/ a2 (/ b1 a1)) (/ 1 b2))
12.0ms
(/ a2 (/ b1 a1))

series53.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(* (/ a2 (/ b1 a1)) (/ 1 b2))
24.0ms
(/ a2 (/ b1 a1))

simplify1.7s

Counts
175 → 175
Iterations
IterNodes
done5001
22771
1844
0276

prune789.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes507.0ms

Accuracy

56.2% (5.0b remaining)

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

bsearch1.0ms

simplify42.0s

Iterations
IterNodes
done5001
6674996
6664988
6654981
6644973
6634966
6624958
6614951
6604943
6594936
6584928
6574921
6564913
6554906
6544898
6534891
6524883
6514876
6504868
6494861
6484853
6474846
6464838
6454831
6444823
6434816
6424808
6414801
6404793
6394786
6384778
6374771
6364763
6354756
6344748
6334741
6324733
6314726
6304718
6294711
6284703
6274696
6264688
6254681
6244673
6234666
6224658
6214651
6204643
6194636
6184628
6174621
6164613
6154606
6144598
6134591
6124583
6114576
6104568
6094561
6084553
6074546
6064538
6054531
6044523
6034516
6024508
6014501
6004493
5994486
5984478
5974471
5964463
5954456
5944448
5934441
5924433
5914426
5904418
5894411
5884403
5874396
5864388
5854381
5844373
5834366
5824358
5814351
5804343
5794336
5784328
5774321
5764313
5754306
5744298
5734291
5724283
5714276
5704268
5694261
5684253
5674246
5664238
5654231
5644223
5634216
5624208
5614201
5604193
5594186
5584178
5574171
5564163
5554156
5544148
5534141
5524133
5514126
5504118
5494111
5484103
5474096
5464088
5454081
5444073
5434066
5424058
5414051
5404043
5394036
5384028
5374021
5364013
5354006
5343998
5333991
5323983
5313976
5303968
5293961
5283953
5273946
5263938
5253931
5243923
5233916
5223908
5213901
5203893
5193886
5183878
5173871
5163863
5153856
5143848
5133841
5123833
5113826
5103818
5093811
5083803
5073796
5063788
5053781
5043773
5033766
5023758
5013751
5003743
4993736
4983728
4973721
4963713
4953706
4943698
4933691
4923683
4913676
4903668
4893661
4883653
4873646
4863638
4853631
4843623
4833616
4823608
4813601
4803593
4793586
4783578
4773571
4763563
4753556
4743548
4733541
4723533
4713526
4703518
4693511
4683503
4673496
4663488
4653481
4643473
4633466
4623458
4613451
4603443
4593436
4583428
4573421
4563413
4553406
4543398
4533391
4523383
4513376
4503368
4493361
4483353
4473346
4463338
4453331
4443323
4433316
4423308
4413301
4403293
4393286
4383278
4373271
4363263
4353256
4343248
4333241
4323233
4313226
4303218
4293211
4283203
4273196
4263188
4253181
4243173
4233166
4223158
4213151
4203143
4193136
4183128
4173121
4163113
4153106
4143098
4133091
4123083
4113076
4103068
4093061
4083053
4073046
4063038
4053031
4043023
4033016
4023008
4013001
4002993
3992986
3982978
3972971
3962963
3952956
3942948
3932941
3922933
3912926
3902918
3892911
3882903
3872896
3862888
3852881
3842873
3832866
3822858
3812851
3802843
3792836
3782828
3772821
3762813
3752806
3742798
3732791
3722783
3712776
3702768
3692761
3682753
3672746
3662738
3652731
3642723
3632716
3622708
3612701
3602693
3592686
3582678
3572671
3562663
3552656
3542648
3532641
3522633
3512626
3502618
3492611
3482603
3472596
3462588
3452581
3442573
3432566
3422558
3412551
3402543
3392536
3382528
3372521
3362513
3352506
3342498
3332491
3322483
3312476
3302468
3292461
3282453
3272446
3262438
3252431
3242423
3232416
3222408
3212401
3202393
3192386
3182378
3172371
3162363
3152356
3142348
3132341
3122333
3112326
3102318
3092311
3082303
3072296
3062288
3052281
3042273
3032266
3022258
3012251
3002243
2992236
2982228
2972221
2962213
2952206
2942198
2932191
2922183
2912176
2902168
2892161
2882153
2872146
2862138
2852131
2842123
2832116
2822108
2812101
2802093
2792086
2782078
2772071
2762063
2752056
2742048
2732041
2722033
2712026
2702018
2692011
2682003
2671996
2661988
2651981
2641973
2631966
2621958
2611951
2601943
2591936
2581928
2571921
2561913
2551906
2541898
2531891
2521883
2511876
2501868
2491861
2481853
2471846
2461838
2451831
2441823
2431816
2421808
2411801
2401793
2391786
2381778
2371771
2361763
2351756
2341748
2331741
2321733
2311726
2301718
2291711
2281703
2271696
2261688
2251681
2241673
2231666
2221658
2211651
2201643
2191636
2181628
2171621
2161613
2151606
2141598
2131591
2121583
2111576
2101568
2091561
2081553
2071546
2061538
2051531
2041523
2031516
2021508
2011501
2001493
1991486
1981478
1971471
1961463
1951456
1941448
1931441
1921433
1911426
1901418
1891411
1881403
1871396
1861388
1851381
1841373
1831366
1821358
1811351
1801343
1791336
1781328
1771321
1761313
1751306
1741298
1731291
1721283
1711276
1701268
1691261
1681253
1671246
1661238
1651231
1641223
1631216
1621208
1611201
1601193
1591186
1581178
1571171
1561163
1551156
1541148
1531141
1521133
1511126
1501118
1491111
1481103
1471096
1461088
1451081
1441073
1431066
1421058
1411051
1401043
1391036
1381028
1371021
1361013
1351006
134998
133991
132983
131976
130968
129961
128953
127946
126938
125931
124923
123916
122908
121901
120893
119886
118878
117871
116863
115856
114848
113841
112833
111826
110818
109811
108803
107796
106788
105781
104773
103766
102758
101751
100743
99736
98728
97721
96713
95706
94698
93691
92683
91676
90668
89661
88653
87646
86638
85631
84623
83616
82608
81601
80593
79586
78578
77571
76563
75556
74548
73541
72533
71526
70518
69511
68503
67496
66488
65481
64473
63466
62458
61451
60443
59436
58428
57421
56413
55406
54398
53391
52383
51376
50368
49361
48353
47346
46338
45331
44323
43316
42308
41301
40293
39286
38278
37271
36263
35256
34248
33241
32233
31226
30218
29211
28203
27196
26188
25181
24173
23166
22158
21151
20143
19136
18128
17121
16113
15106
1498
1391
1283
1176
1068
961
851
750
647
546
443
340
234
131
024

end0.0ms

sample596.0ms

Algorithm
intervals
Results
374.0ms10032×body80valid