Details

Time bar (total: 1.1m)

sample31.0ms

Algorithm
intervals
Results
16.0ms299×body80valid

simplify57.0ms

Counts
1 → 1
Iterations
IterNodes
done51
851
750
646
542
435
331
220
116
06

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
12.7b
(/ (* x (+ y z)) z)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r* associate-*r/
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ insert-posit16 add-log-exp associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 48
Calls
2 calls:
23.0ms
(* x (+ y z))
14.0ms
(/ (* x (+ y z)) z)

series81.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(* x (+ y z))
53.0ms
(/ (* x (+ y z)) z)

simplify2.2s

Counts
54 → 54
Iterations
IterNodes
done5004
33864
2822
1242
088

prune235.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ y z) z)
2.7b
(* x (/ (+ y z) z))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
25×add-sqr-sqrt times-frac
20×add-cube-cbrt
16×associate-*r*
9×add-cbrt-cube add-exp-log
7×distribute-lft-out
4×pow1 associate-/l*
3×associate-/r* associate-*l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg flip3-+ pow-prod-down associate-*r/ *-commutative flip-+
Counts
2 → 70
Calls
2 calls:
18.0ms
(/ (+ y z) z)
40.0ms
(* x (/ (+ y z) z))

series74.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(/ (+ y z) z)
48.0ms
(* x (/ (+ y z) z))

simplify2.0s

Counts
76 → 76
Iterations
IterNodes
done5007
33803
2789
1246
099

prune227.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
5.8b
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ y z) (cbrt z)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
36×*-un-lft-identity
34×times-frac
28×associate-*r*
25×add-exp-log
24×add-cube-cbrt
23×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out unswap-sqr
4×insert-posit16 add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 102
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
76.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ y z) (cbrt z)))

series1.1s

Counts
4 → 12
Calls
4 calls:
366.0ms
(cbrt z)
283.0ms
(cbrt z)
317.0ms
(cbrt z)
113.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (+ y z) (cbrt z)))

simplify1.7s

Counts
114 → 114
Iterations
IterNodes
done5000
22073
1472
0145

prune449.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
12.8b
(* (* x (+ y z)) (/ 1 z))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log
17×associate-*r*
16×add-cbrt-cube
13×add-sqr-sqrt *-un-lft-identity prod-exp
11×add-cube-cbrt
9×pow1 times-frac
7×associate-*r/ cbrt-unprod
4×div-exp associate-*l* pow-prod-down
3×flip3-+ flip-+
2×frac-times cbrt-undiv rec-exp 1-exp associate-*l/ *-commutative insert-posit16 add-log-exp
1×distribute-rgt-in distribute-lft-in un-div-inv div-inv distribute-lft-out unswap-sqr
Counts
2 → 67
Calls
2 calls:
18.0ms
(* x (+ y z))
48.0ms
(* (* x (+ y z)) (/ 1 z))

series81.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(* x (+ y z))
43.0ms
(* (* x (+ y z)) (/ 1 z))

simplify1.3s

Counts
73 → 73
Iterations
IterNodes
done5007
21345
1378
0126

prune305.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes285.0ms

Accuracy

85.5% (0.5b remaining)

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

bsearch1.0ms

simplify57.3s

Iterations
IterNodes
done5000
6684998
6674991
6664983
6654976
6644968
6634961
6624953
6614946
6604938
6594931
6584923
6574916
6564908
6554901
6544893
6534886
6524878
6514871
6504863
6494856
6484848
6474841
6464833
6454826
6444818
6434811
6424803
6414796
6404788
6394781
6384773
6374766
6364758
6354751
6344743
6334736
6324728
6314721
6304713
6294706
6284698
6274691
6264683
6254676
6244668
6234661
6224653
6214646
6204638
6194631
6184623
6174616
6164608
6154601
6144593
6134586
6124578
6114571
6104563
6094556
6084548
6074541
6064533
6054526
6044518
6034511
6024503
6014496
6004488
5994481
5984473
5974466
5964458
5954451
5944443
5934436
5924428
5914421
5904413
5894406
5884398
5874391
5864383
5854376
5844368
5834361
5824353
5814346
5804338
5794331
5784323
5774316
5764308
5754301
5744293
5734286
5724278
5714271
5704263
5694256
5684248
5674241
5664233
5654226
5644218
5634211
5624203
5614196
5604188
5594181
5584173
5574166
5564158
5554151
5544143
5534136
5524128
5514121
5504113
5494106
5484098
5474091
5464083
5454076
5444068
5434061
5424053
5414046
5404038
5394031
5384023
5374016
5364008
5354001
5343993
5333986
5323978
5313971
5303963
5293956
5283948
5273941
5263933
5253926
5243918
5233911
5223903
5213896
5203888
5193881
5183873
5173866
5163858
5153851
5143843
5133836
5123828
5113821
5103813
5093806
5083798
5073791
5063783
5053776
5043768
5033761
5023753
5013746
5003738
4993731
4983723
4973716
4963708
4953701
4943693
4933686
4923678
4913671
4903663
4893656
4883648
4873641
4863633
4853626
4843618
4833611
4823603
4813596
4803588
4793581
4783573
4773566
4763558
4753551
4743543
4733536
4723528
4713521
4703513
4693506
4683498
4673491
4663483
4653476
4643468
4633461
4623453
4613446
4603438
4593431
4583423
4573416
4563408
4553401
4543393
4533386
4523378
4513371
4503363
4493356
4483348
4473341
4463333
4453326
4443318
4433311
4423303
4413296
4403288
4393281
4383273
4373266
4363258
4353251
4343243
4333236
4323228
4313221
4303213
4293206
4283198
4273191
4263183
4253176
4243168
4233161
4223153
4213146
4203138
4193131
4183123
4173116
4163108
4153101
4143093
4133086
4123078
4113071
4103063
4093056
4083048
4073041
4063033
4053026
4043018
4033011
4023003
4012996
4002988
3992981
3982973
3972966
3962958
3952951
3942943
3932936
3922928
3912921
3902913
3892906
3882898
3872891
3862883
3852876
3842868
3832861
3822853
3812846
3802838
3792831
3782823
3772816
3762808
3752801
3742793
3732786
3722778
3712771
3702763
3692756
3682748
3672741
3662733
3652726
3642718
3632711
3622703
3612696
3602688
3592681
3582673
3572666
3562658
3552651
3542643
3532636
3522628
3512621
3502613
3492606
3482598
3472591
3462583
3452576
3442568
3432561
3422553
3412546
3402538
3392531
3382523
3372516
3362508
3352501
3342493
3332486
3322478
3312471
3302463
3292456
3282448
3272441
3262433
3252426
3242418
3232411
3222403
3212396
3202388
3192381
3182373
3172366
3162358
3152351
3142343
3132336
3122328
3112321
3102313
3092306
3082298
3072291
3062283
3052276
3042268
3032261
3022253
3012246
3002238
2992231
2982223
2972216
2962208
2952201
2942193
2932186
2922178
2912171
2902163
2892156
2882148
2872141
2862133
2852126
2842118
2832111
2822103
2812096
2802088
2792081
2782073
2772066
2762058
2752051
2742043
2732036
2722028
2712021
2702013
2692006
2681998
2671991
2661983
2651976
2641968
2631961
2621953
2611946
2601938
2591931
2581923
2571916
2561908
2551901
2541893
2531886
2521878
2511871
2501863
2491856
2481848
2471841
2461833
2451826
2441818
2431811
2421803
2411796
2401788
2391781
2381773
2371766
2361758
2351751
2341743
2331736
2321728
2311721
2301713
2291706
2281698
2271691
2261683
2251676
2241668
2231661
2221653
2211646
2201638
2191631
2181623
2171616
2161608
2151601
2141593
2131586
2121578
2111571
2101563
2091556
2081548
2071541
2061533
2051526
2041518
2031511
2021503
2011496
2001488
1991481
1981473
1971466
1961458
1951451
1941443
1931436
1921428
1911421
1901413
1891406
1881398
1871391
1861383
1851376
1841368
1831361
1821353
1811346
1801338
1791331
1781323
1771316
1761308
1751301
1741293
1731286
1721278
1711271
1701263
1691256
1681248
1671241
1661233
1651226
1641218
1631211
1621203
1611196
1601188
1591181
1581173
1571166
1561158
1551151
1541143
1531136
1521128
1511121
1501113
1491106
1481098
1471091
1461083
1451076
1441068
1431061
1421053
1411046
1401038
1391031
1381023
1371016
1361008
1351001
134993
133986
132978
131971
130963
129956
128948
127941
126933
125926
124918
123911
122903
121896
120888
119881
118873
117866
116858
115851
114843
113836
112828
111821
110813
109806
108798
107791
106783
105776
104768
103761
102753
101746
100738
99731
98723
97716
96708
95701
94693
93686
92678
91671
90663
89656
88648
87641
86633
85626
84618
83611
82603
81596
80588
79581
78573
77566
76558
75551
74543
73536
72528
71521
70513
69506
68498
67491
66483
65476
64468
63461
62453
61446
60438
59431
58423
57416
56408
55401
54393
53386
52378
51371
50363
49356
48348
47341
46333
45326
44318
43311
42303
41296
40288
39281
38273
37266
36258
35251
34243
33236
32228
31221
30213
29206
28198
27191
26183
25176
24168
23161
22153
21146
20138
19131
18123
17116
16108
15101
1493
1386
1278
1171
1063
956
846
745
642
541
438
335
229
126
020

end0.0ms

sample609.0ms

Algorithm
intervals
Results
422.0ms9469×body80valid