Details

Time bar (total: 1.2m)

sample31.0ms

Algorithm
intervals
Results
13.0ms291×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5000
124250
112114
101026
9469
8224
7122
686
573
453
337
220
111
06

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- y z))
12.8b
(/ (* x (- y z)) y)

rewrite46.0ms

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

series127.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(* x (- y z))
75.0ms
(/ (* x (- y z)) y)

simplify2.0s

Counts
55 → 55
Iterations
IterNodes
done5001
33400
2701
1230
090

prune277.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- y z))
2.4b
(/ x (/ y (- y z)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
102×add-sqr-sqrt *-un-lft-identity
70×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
11×associate-/r/
9×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×flip3-- flip--
4×cbrt-undiv div-exp
2×pow1 clear-num frac-2neg add-log-exp
Counts
2 → 139
Calls
2 calls:
9.0ms
(/ y (- y z))
18.0ms
(/ x (/ y (- y z)))

series131.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(/ y (- y z))
64.0ms
(/ x (/ y (- y z)))

simplify1.5s

Counts
145 → 145
Iterations
IterNodes
done5000
22297
1554
0218

prune573.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (- y z))
11.0b
(/ (/ x y) (/ 1 (- y z)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
696×times-frac
384×add-sqr-sqrt *-un-lft-identity
292×add-cube-cbrt
46×distribute-lft-out-- difference-of-squares
38×div-inv
31×associate-/r/
28×add-exp-log
26×associate-/r*
18×div-exp
16×add-cbrt-cube associate-/l*
15×flip3-- flip--
9×cbrt-undiv
3×pow1 rec-exp 1-exp
2×clear-num frac-2neg add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
2 → 372
Calls
2 calls:
14.0ms
(/ 1 (- y z))
30.0ms
(/ (/ x y) (/ 1 (- y z)))

series113.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(/ 1 (- y z))
64.0ms
(/ (/ x y) (/ 1 (- y z)))

simplify2.3s

Counts
378 → 378
Iterations
IterNodes
done5000
24230
11811
0566

prune1.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

5.1b
(- (* y y) (* z z))
7.5b
(* x (- (* y y) (* z z)))
33.6b
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
17×add-cbrt-cube add-exp-log
7×add-sqr-sqrt
6×associate-*r/
5×pow1 *-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod add-log-exp
4×cbrt-undiv div-exp associate-*r*
3×sub-neg flip3-- associate-*l* flip--
2×distribute-rgt-in distribute-lft-in associate-/r/ difference-of-squares associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ times-frac diff-log pow-prod-down *-commutative flip-+ div-inv associate-/l* unswap-sqr
Counts
3 → 63
Calls
3 calls:
12.0ms
(- (* y y) (* z z))
23.0ms
(* x (- (* y y) (* z z)))
26.0ms
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

series245.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(- (* y y) (* z z))
77.0ms
(* x (- (* y y) (* z z)))
128.0ms
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

simplify1.3s

Counts
72 → 72
Iterations
IterNodes
done5000
21970
1374
0114

prune252.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes261.0ms

Accuracy

86.7% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 3.0b

bsearch1.0ms

simplify55.4s

Iterations
IterNodes
done5001
6684996
6674989
6664981
6654974
6644966
6634959
6624951
6614944
6604936
6594929
6584921
6574914
6564906
6554899
6544891
6534884
6524876
6514869
6504861
6494854
6484846
6474839
6464831
6454824
6444816
6434809
6424801
6414794
6404786
6394779
6384771
6374764
6364756
6354749
6344741
6334734
6324726
6314719
6304711
6294704
6284696
6274689
6264681
6254674
6244666
6234659
6224651
6214644
6204636
6194629
6184621
6174614
6164606
6154599
6144591
6134584
6124576
6114569
6104561
6094554
6084546
6074539
6064531
6054524
6044516
6034509
6024501
6014494
6004486
5994479
5984471
5974464
5964456
5954449
5944441
5934434
5924426
5914419
5904411
5894404
5884396
5874389
5864381
5854374
5844366
5834359
5824351
5814344
5804336
5794329
5784321
5774314
5764306
5754299
5744291
5734284
5724276
5714269
5704261
5694254
5684246
5674239
5664231
5654224
5644216
5634209
5624201
5614194
5604186
5594179
5584171
5574164
5564156
5554149
5544141
5534134
5524126
5514119
5504111
5494104
5484096
5474089
5464081
5454074
5444066
5434059
5424051
5414044
5404036
5394029
5384021
5374014
5364006
5353999
5343991
5333984
5323976
5313969
5303961
5293954
5283946
5273939
5263931
5253924
5243916
5233909
5223901
5213894
5203886
5193879
5183871
5173864
5163856
5153849
5143841
5133834
5123826
5113819
5103811
5093804
5083796
5073789
5063781
5053774
5043766
5033759
5023751
5013744
5003736
4993729
4983721
4973714
4963706
4953699
4943691
4933684
4923676
4913669
4903661
4893654
4883646
4873639
4863631
4853624
4843616
4833609
4823601
4813594
4803586
4793579
4783571
4773564
4763556
4753549
4743541
4733534
4723526
4713519
4703511
4693504
4683496
4673489
4663481
4653474
4643466
4633459
4623451
4613444
4603436
4593429
4583421
4573414
4563406
4553399
4543391
4533384
4523376
4513369
4503361
4493354
4483346
4473339
4463331
4453324
4443316
4433309
4423301
4413294
4403286
4393279
4383271
4373264
4363256
4353249
4343241
4333234
4323226
4313219
4303211
4293204
4283196
4273189
4263181
4253174
4243166
4233159
4223151
4213144
4203136
4193129
4183121
4173114
4163106
4153099
4143091
4133084
4123076
4113069
4103061
4093054
4083046
4073039
4063031
4053024
4043016
4033009
4023001
4012994
4002986
3992979
3982971
3972964
3962956
3952949
3942941
3932934
3922926
3912919
3902911
3892904
3882896
3872889
3862881
3852874
3842866
3832859
3822851
3812844
3802836
3792829
3782821
3772814
3762806
3752799
3742791
3732784
3722776
3712769
3702761
3692754
3682746
3672739
3662731
3652724
3642716
3632709
3622701
3612694
3602686
3592679
3582671
3572664
3562656
3552649
3542641
3532634
3522626
3512619
3502611
3492604
3482596
3472589
3462581
3452574
3442566
3432559
3422551
3412544
3402536
3392529
3382521
3372514
3362506
3352499
3342491
3332484
3322476
3312469
3302461
3292454
3282446
3272439
3262431
3252424
3242416
3232409
3222401
3212394
3202386
3192379
3182371
3172364
3162356
3152349
3142341
3132334
3122326
3112319
3102311
3092304
3082296
3072289
3062281
3052274
3042266
3032259
3022251
3012244
3002236
2992229
2982221
2972214
2962206
2952199
2942191
2932184
2922176
2912169
2902161
2892154
2882146
2872139
2862131
2852124
2842116
2832109
2822101
2812094
2802086
2792079
2782071
2772064
2762056
2752049
2742041
2732034
2722026
2712019
2702011
2692004
2681996
2671989
2661981
2651974
2641966
2631959
2621951
2611944
2601936
2591929
2581921
2571914
2561906
2551899
2541891
2531884
2521876
2511869
2501861
2491854
2481846
2471839
2461831
2451824
2441816
2431809
2421801
2411794
2401786
2391779
2381771
2371764
2361756
2351749
2341741
2331734
2321726
2311719
2301711
2291704
2281696
2271689
2261681
2251674
2241666
2231659
2221651
2211644
2201636
2191629
2181621
2171614
2161606
2151599
2141591
2131584
2121576
2111569
2101561
2091554
2081546
2071539
2061531
2051524
2041516
2031509
2021501
2011494
2001486
1991479
1981471
1971464
1961456
1951449
1941441
1931434
1921426
1911419
1901411
1891404
1881396
1871389
1861381
1851374
1841366
1831359
1821351
1811344
1801336
1791329
1781321
1771314
1761306
1751299
1741291
1731284
1721276
1711269
1701261
1691254
1681246
1671239
1661231
1651224
1641216
1631209
1621201
1611194
1601186
1591179
1581171
1571164
1561156
1551149
1541141
1531134
1521126
1511119
1501111
1491104
1481096
1471089
1461081
1451074
1441066
1431059
1421051
1411044
1401036
1391029
1381021
1371014
1361006
135999
134991
133984
132976
131969
130961
129954
128946
127939
126931
125924
124916
123909
122901
121894
120886
119879
118871
117864
116856
115849
114841
113834
112826
111819
110811
109804
108796
107789
106781
105774
104766
103759
102751
101744
100736
99729
98721
97714
96706
95699
94691
93684
92676
91669
90661
89654
88646
87639
86631
85624
84616
83609
82601
81594
80586
79579
78571
77564
76556
75549
74541
73534
72526
71519
70511
69504
68496
67489
66481
65474
64466
63459
62451
61444
60436
59429
58421
57414
56406
55399
54391
53384
52376
51369
50361
49354
48346
47339
46331
45324
44316
43309
42301
41294
40286
39279
38271
37264
36256
35249
34241
33234
32226
31219
30211
29204
28196
27189
26181
25174
24166
23159
22151
21144
20136
19129
18121
17114
16106
1599
1491
1384
1276
1169
1061
954
844
743
640
539
436
333
227
124
020

end0.0ms

sample702.0ms

Algorithm
intervals
Results
372.0ms9603×body80valid