Details

Time bar (total: 15.4s)

sample36.0ms

Algorithm
intervals
Results
25.0ms359×body80valid

simplify787.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
8770
7485
6383
5291
4237
3152
273
127
09

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize22.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
14.1b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite78.0ms

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

series142.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(* (* z z) (+ z 1.0))
84.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify381.0ms

Counts
59 → 59
Iterations
IterNodes
done2000
1373
0114

prune207.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 7.9b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (+ z 1.0))
6.1b
(* (/ x (* z z)) (/ y (+ z 1.0)))
7.4b
(/ x (* z z))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
34×add-sqr-sqrt times-frac
31×add-cbrt-cube add-exp-log
24×add-cube-cbrt
18×associate-*r*
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
7×associate-*l* distribute-lft-out
6×associate-/l*
5×pow1 associate-/r*
4×associate-/r/ div-inv unswap-sqr
3×insert-posit16 add-log-exp
2×clear-num frac-2neg flip3-+ flip-+
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 110
Calls
3 calls:
10.0ms
(/ y (+ z 1.0))
29.0ms
(* (/ x (* z z)) (/ y (+ z 1.0)))
6.0ms
(/ x (* z z))

series126.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(/ y (+ z 1.0))
54.0ms
(* (/ x (* z z)) (/ y (+ z 1.0)))
24.0ms
(/ x (* z z))

simplify367.0ms

Counts
119 → 119
Iterations
IterNodes
done2001
1532
0183

prune411.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (+ z 1.0))
2.1b
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
3.4b
(* (/ x z) (/ y (+ z 1.0)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
94×add-exp-log
58×add-cbrt-cube
48×*-un-lft-identity
46×add-sqr-sqrt times-frac
40×prod-exp
34×add-cube-cbrt
31×div-exp
26×associate-*l*
22×cbrt-unprod
19×associate-*r*
18×cbrt-undiv
10×pow1
7×distribute-lft-out
6×frac-times associate-*r/
5×rec-exp 1-exp
4×associate-/r* pow-prod-down associate-*l/ associate-/r/ div-inv unswap-sqr
3×insert-posit16 associate-/l* add-log-exp
2×flip3-+ *-commutative flip-+
1×clear-num frac-2neg
Counts
3 → 152
Calls
3 calls:
7.0ms
(/ y (+ z 1.0))
32.0ms
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
27.0ms
(* (/ x z) (/ y (+ z 1.0)))

series163.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(/ y (+ z 1.0))
53.0ms
(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
74.0ms
(* (/ x z) (/ y (+ z 1.0)))

simplify535.0ms

Counts
161 → 161
Iterations
IterNodes
done2000
1772
0260

prune609.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ z 1.0))
0.2b
(* (/ 1 z) (/ y (+ z 1.0)))
2.1b
(* (/ 1 z) (* x (* (/ 1 z) (/ y (+ z 1.0)))))
5.2b
(* x (* (/ 1 z) (/ y (+ z 1.0))))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
242×add-exp-log
133×prod-exp
92×add-cbrt-cube
69×div-exp
53×add-sqr-sqrt
52×*-un-lft-identity
49×times-frac
43×cbrt-unprod
36×add-cube-cbrt
29×associate-*l*
23×cbrt-undiv
22×rec-exp 1-exp
20×pow1 associate-*r*
16×associate-*r/
10×pow-prod-down
7×frac-times distribute-lft-out
6×unswap-sqr
5×associate-*l/
4×associate-/r* associate-/r/ insert-posit16 div-inv add-log-exp
3×*-commutative associate-/l*
2×flip3-+ flip-+
1×clear-num frac-2neg
Counts
4 → 213
Calls
4 calls:
12.0ms
(/ y (+ z 1.0))
34.0ms
(* (/ 1 z) (/ y (+ z 1.0)))
123.0ms
(* (/ 1 z) (* x (* (/ 1 z) (/ y (+ z 1.0)))))
53.0ms
(* x (* (/ 1 z) (/ y (+ z 1.0))))

series189.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(/ y (+ z 1.0))
46.0ms
(* (/ 1 z) (/ y (+ z 1.0)))
52.0ms
(* (/ 1 z) (* x (* (/ 1 z) (/ y (+ z 1.0)))))
51.0ms
(* x (* (/ 1 z) (/ y (+ z 1.0))))

simplify647.0ms

Counts
225 → 225
Iterations
IterNodes
done2000
1958
0308

prune627.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes316.0ms

Accuracy

42.1% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 3.1b

bsearch2.0ms

simplify7.6s

Iterations
IterNodes
done2002
2661994
2651987
2641979
2631972
2621964
2611957
2601949
2591942
2581934
2571927
2561919
2551912
2541904
2531897
2521889
2511882
2501874
2491867
2481859
2471852
2461844
2451837
2441829
2431822
2421814
2411807
2401799
2391792
2381784
2371777
2361769
2351762
2341754
2331747
2321739
2311732
2301724
2291717
2281709
2271702
2261694
2251687
2241679
2231672
2221664
2211657
2201649
2191642
2181634
2171627
2161619
2151612
2141604
2131597
2121589
2111582
2101574
2091567
2081559
2071552
2061544
2051537
2041529
2031522
2021514
2011507
2001499
1991492
1981484
1971477
1961469
1951462
1941454
1931447
1921439
1911432
1901424
1891417
1881409
1871402
1861394
1851387
1841379
1831372
1821364
1811357
1801349
1791342
1781334
1771327
1761319
1751312
1741304
1731297
1721289
1711282
1701274
1691267
1681259
1671252
1661244
1651237
1641229
1631222
1621214
1611207
1601199
1591192
1581184
1571177
1561169
1551162
1541154
1531147
1521139
1511132
1501124
1491117
1481109
1471102
1461094
1451087
1441079
1431072
1421064
1411057
1401049
1391042
1381034
1371027
1361019
1351012
1341004
133997
132989
131982
130974
129967
128959
127952
126944
125937
124929
123922
122914
121907
120899
119892
118884
117877
116869
115862
114854
113847
112839
111832
110824
109817
108809
107802
106794
105787
104779
103772
102764
101757
100749
99742
98734
97727
96719
95712
94704
93697
92689
91682
90674
89667
88659
87652
86644
85637
84629
83622
82614
81607
80599
79592
78584
77577
76569
75562
74554
73547
72539
71532
70524
69517
68509
67502
66494
65487
64479
63472
62464
61457
60449
59442
58434
57427
56419
55412
54404
53397
52389
51382
50374
49367
48359
47352
46344
45337
44329
43322
42314
41307
40299
39292
38284
37277
36269
35262
34254
33247
32239
31232
30224
29217
28209
27202
26194
25187
24179
23172
22164
21157
20149
19142
18134
17127
16119
15112
14104
1397
1289
1182
1074
967
857
756
653
552
449
346
240
137
027

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.0s10773×body80valid