Details

Time bar (total: 1.2m)

sample30.0ms

Algorithm
intervals
Results
11.0ms320×body80valid

simplify88.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.2b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.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 div-inv associate-/l* add-log-exp
Counts
1 → 21
Calls
1 calls:
10.0ms
(/ (* a1 a2) (* b1 b2))

series61.0ms

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

simplify1.7s

Counts
24 → 24
Iterations
IterNodes
done5001
2810
1159
055

prune187.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×times-frac
15×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube associate-*r* associate-*l* add-exp-log
4×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
3×pow1
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative add-log-exp
Counts
1 → 50
Calls
1 calls:
18.0ms
(* (/ a1 b1) (/ a2 b2))

series52.0ms

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

simplify3.0s

Counts
53 → 53
Iterations
IterNodes
done5056
34545
21110
1329
0111

prune355.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b2)
2.1b
(/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2))
2.4b
(/ (/ a1 b1) (cbrt b2))
5.8b
(* (/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2)))

rewrite705.0ms

Algorithm
rewrite-expression-head
Rules
2947×times-frac
1477×add-sqr-sqrt
1323×*-un-lft-identity add-cube-cbrt
1094×cbrt-prod
496×associate-*l*
102×div-inv
95×associate-/l*
50×add-exp-log
33×unswap-sqr
29×add-cbrt-cube
25×cbrt-undiv div-exp
22×associate-*r*
12×associate-/r*
8×prod-exp cbrt-unprod
6×pow1
4×add-log-exp
2×clear-num frac-2neg associate-/l/
1×frac-times pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 1299
Calls
4 calls:
1.0ms
(cbrt b2)
71.0ms
(/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2))
20.0ms
(/ (/ a1 b1) (cbrt b2))
453.0ms
(* (/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2)))

series666.0ms

Counts
4 → 12
Calls
4 calls:
321.0ms
(cbrt b2)
169.0ms
(/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2))
87.0ms
(/ (/ a1 b1) (cbrt b2))
88.0ms
(* (/ (/ (/ a1 b1) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2)))

simplify3.3s

Counts
1311 → 1311
Iterations
IterNodes
done5001
13689
01287

prune10.5s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b2)
0.6b
(cbrt b2)
0.6b
(cbrt b2)
3.8b
(* (/ (/ (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) 1) 1) (* (/ (/ (/ (cbrt a1) (cbrt b1)) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2))))

rewrite541.0ms

Algorithm
rewrite-expression-head
Rules
1447×add-exp-log
890×div-exp
535×prod-exp
271×add-cbrt-cube
247×cbrt-undiv
189×1-exp
155×cbrt-unprod
111×times-frac
61×associate-*l*
54×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×div-inv
9×cbrt-prod pow1
5×frac-times associate-*r/
4×add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×associate-*r* *-commutative
Counts
4 → 382
Calls
4 calls:
1.0ms
(cbrt b2)
1.0ms
(cbrt b2)
1.0ms
(cbrt b2)
477.0ms
(* (/ (/ (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) 1) 1) (* (/ (/ (/ (cbrt a1) (cbrt b1)) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2))))

series888.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(cbrt b2)
271.0ms
(cbrt b2)
246.0ms
(cbrt b2)
99.0ms
(* (/ (/ (/ (* (cbrt a1) (cbrt a1)) (* (cbrt b1) (cbrt b1))) 1) 1) (* (/ (/ (/ (cbrt a1) (cbrt b1)) (cbrt b2)) (cbrt b2)) (/ a2 (cbrt b2))))

simplify3.3s

Counts
394 → 394
Iterations
IterNodes
done5001
24340
11575
0589

prune1.1s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes770.0ms

Accuracy

16.6% (4.7b remaining)

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

bsearch2.0ms

simplify41.7s

Iterations
IterNodes
done5001
6654994
6644986
6634979
6624971
6614964
6604956
6594949
6584941
6574934
6564926
6554919
6544911
6534904
6524896
6514889
6504881
6494874
6484866
6474859
6464851
6454844
6444836
6434829
6424821
6414814
6404806
6394799
6384791
6374784
6364776
6354769
6344761
6334754
6324746
6314739
6304731
6294724
6284716
6274709
6264701
6254694
6244686
6234679
6224671
6214664
6204656
6194649
6184641
6174634
6164626
6154619
6144611
6134604
6124596
6114589
6104581
6094574
6084566
6074559
6064551
6054544
6044536
6034529
6024521
6014514
6004506
5994499
5984491
5974484
5964476
5954469
5944461
5934454
5924446
5914439
5904431
5894424
5884416
5874409
5864401
5854394
5844386
5834379
5824371
5814364
5804356
5794349
5784341
5774334
5764326
5754319
5744311
5734304
5724296
5714289
5704281
5694274
5684266
5674259
5664251
5654244
5644236
5634229
5624221
5614214
5604206
5594199
5584191
5574184
5564176
5554169
5544161
5534154
5524146
5514139
5504131
5494124
5484116
5474109
5464101
5454094
5444086
5434079
5424071
5414064
5404056
5394049
5384041
5374034
5364026
5354019
5344011
5334004
5323996
5313989
5303981
5293974
5283966
5273959
5263951
5253944
5243936
5233929
5223921
5213914
5203906
5193899
5183891
5173884
5163876
5153869
5143861
5133854
5123846
5113839
5103831
5093824
5083816
5073809
5063801
5053794
5043786
5033779
5023771
5013764
5003756
4993749
4983741
4973734
4963726
4953719
4943711
4933704
4923696
4913689
4903681
4893674
4883666
4873659
4863651
4853644
4843636
4833629
4823621
4813614
4803606
4793599
4783591
4773584
4763576
4753569
4743561
4733554
4723546
4713539
4703531
4693524
4683516
4673509
4663501
4653494
4643486
4633479
4623471
4613464
4603456
4593449
4583441
4573434
4563426
4553419
4543411
4533404
4523396
4513389
4503381
4493374
4483366
4473359
4463351
4453344
4443336
4433329
4423321
4413314
4403306
4393299
4383291
4373284
4363276
4353269
4343261
4333254
4323246
4313239
4303231
4293224
4283216
4273209
4263201
4253194
4243186
4233179
4223171
4213164
4203156
4193149
4183141
4173134
4163126
4153119
4143111
4133104
4123096
4113089
4103081
4093074
4083066
4073059
4063051
4053044
4043036
4033029
4023021
4013014
4003006
3992999
3982991
3972984
3962976
3952969
3942961
3932954
3922946
3912939
3902931
3892924
3882916
3872909
3862901
3852894
3842886
3832879
3822871
3812864
3802856
3792849
3782841
3772834
3762826
3752819
3742811
3732804
3722796
3712789
3702781
3692774
3682766
3672759
3662751
3652744
3642736
3632729
3622721
3612714
3602706
3592699
3582691
3572684
3562676
3552669
3542661
3532654
3522646
3512639
3502631
3492624
3482616
3472609
3462601
3452594
3442586
3432579
3422571
3412564
3402556
3392549
3382541
3372534
3362526
3352519
3342511
3332504
3322496
3312489
3302481
3292474
3282466
3272459
3262451
3252444
3242436
3232429
3222421
3212414
3202406
3192399
3182391
3172384
3162376
3152369
3142361
3132354
3122346
3112339
3102331
3092324
3082316
3072309
3062301
3052294
3042286
3032279
3022271
3012264
3002256
2992249
2982241
2972234
2962226
2952219
2942211
2932204
2922196
2912189
2902181
2892174
2882166
2872159
2862151
2852144
2842136
2832129
2822121
2812114
2802106
2792099
2782091
2772084
2762076
2752069
2742061
2732054
2722046
2712039
2702031
2692024
2682016
2672009
2662001
2651994
2641986
2631979
2621971
2611964
2601956
2591949
2581941
2571934
2561926
2551919
2541911
2531904
2521896
2511889
2501881
2491874
2481866
2471859
2461851
2451844
2441836
2431829
2421821
2411814
2401806
2391799
2381791
2371784
2361776
2351769
2341761
2331754
2321746
2311739
2301731
2291724
2281716
2271709
2261701
2251694
2241686
2231679
2221671
2211664
2201656
2191649
2181641
2171634
2161626
2151619
2141611
2131604
2121596
2111589
2101581
2091574
2081566
2071559
2061551
2051544
2041536
2031529
2021521
2011514
2001506
1991499
1981491
1971484
1961476
1951469
1941461
1931454
1921446
1911439
1901431
1891424
1881416
1871409
1861401
1851394
1841386
1831379
1821371
1811364
1801356
1791349
1781341
1771334
1761326
1751319
1741311
1731304
1721296
1711289
1701281
1691274
1681266
1671259
1661251
1651244
1641236
1631229
1621221
1611214
1601206
1591199
1581191
1571184
1561176
1551169
1541161
1531154
1521146
1511139
1501131
1491124
1481116
1471109
1461101
1451094
1441086
1431079
1421071
1411064
1401056
1391049
1381041
1371034
1361026
1351019
1341011
1331004
132996
131989
130981
129974
128966
127959
126951
125944
124936
123929
122921
121914
120906
119899
118891
117884
116876
115869
114861
113854
112846
111839
110831
109824
108816
107809
106801
105794
104786
103779
102771
101764
100756
99749
98741
97734
96726
95719
94711
93704
92696
91689
90681
89674
88666
87659
86651
85644
84636
83629
82621
81614
80606
79599
78591
77584
76576
75569
74561
73554
72546
71539
70531
69524
68516
67509
66501
65494
64486
63479
62471
61464
60456
59449
58441
57434
56426
55419
54411
53404
52396
51389
50381
49374
48366
47359
46351
45344
44336
43329
42321
41314
40306
39299
38291
37284
36276
35269
34261
33254
32246
31239
30231
29224
28216
27209
26201
25194
24186
23179
22171
21164
20156
19149
18141
17134
16126
15119
14111
13104
1296
1189
1081
974
864
763
660
559
456
353
247
144
035

end0.0ms

sample838.0ms

Algorithm
intervals
Results
531.0ms9990×body80valid