Details

Time bar (total: 28.7s)

sample32.0ms

Algorithm
intervals
Results
19.0ms332×body80valid

simplify94.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.4b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite25.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:
20.0ms
(/ (* a1 a2) (* b1 b2))

series47.0ms

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

simplify2.4s

Counts
25 → 25
Iterations
IterNodes
36672
2812
1160
056

prune211.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

5.4b
(/ (* b1 b2) a2)
5.6b
(/ a1 (/ (* b1 b2) a2))

rewrite33.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
10×associate-/r*
7×cbrt-undiv div-exp
6×div-inv
4×associate-/l*
2×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp
1×associate-/r/
Counts
2 → 71
Calls
2 calls:
18.0ms
(/ (* b1 b2) a2)
14.0ms
(/ a1 (/ (* b1 b2) a2))

series92.0ms

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

simplify2.1s

Counts
77 → 77
Iterations
IterNodes
35276
21050
1299
0127

prune750.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

5.5b
(/ (/ a2 b1) b2)
5.7b
(* a1 (/ (/ a2 b1) b2))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
144×times-frac
89×add-sqr-sqrt
80×*-un-lft-identity add-cube-cbrt
43×associate-*r*
16×add-cbrt-cube add-exp-log
13×associate-/l*
9×div-inv
6×cbrt-undiv div-exp
4×pow1
3×associate-/r* associate-*l* prod-exp cbrt-unprod unswap-sqr
2×insert-posit16 add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative associate-/l/
Counts
2 → 137
Calls
2 calls:
7.0ms
(/ (/ a2 b1) b2)
12.0ms
(* a1 (/ (/ a2 b1) b2))

series91.0ms

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

simplify2.2s

Counts
143 → 143
Iterations
IterNodes
35813
21638
1560
0222

prune1.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b1)
1.3b
(/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1))))
2.0b
(/ (/ a2 (cbrt b1)) (cbrt b2))
3.5b
(* (/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1)))) (/ (/ a2 (cbrt b1)) (cbrt b2)))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
531×times-frac
317×add-sqr-sqrt
269×*-un-lft-identity add-cube-cbrt
265×cbrt-prod
136×associate-*r*
120×add-exp-log
67×add-cbrt-cube
50×prod-exp cbrt-unprod
41×cbrt-undiv div-exp
25×associate-/l*
17×div-inv
14×unswap-sqr
7×associate-/r* associate-*l*
6×pow1
4×insert-posit16 add-log-exp
2×clear-num frac-2neg
1×frac-times pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 422
Calls
4 calls:
1.0ms
(cbrt b1)
32.0ms
(/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1))))
9.0ms
(/ (/ a2 (cbrt b1)) (cbrt b2))
110.0ms
(* (/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1)))) (/ (/ a2 (cbrt b1)) (cbrt b2)))

series762.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(cbrt b1)
210.0ms
(/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1))))
126.0ms
(/ (/ a2 (cbrt b1)) (cbrt b2))
108.0ms
(* (/ a1 (* (* (cbrt b2) (cbrt b1)) (* (cbrt b2) (cbrt b1)))) (/ (/ a2 (cbrt b1)) (cbrt b2)))

simplify2.9s

Counts
434 → 434
Iterations
IterNodes
28104
11991
0602

prune4.7s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes473.0ms

Accuracy

35.3% (4.5b remaining)

Error of 4.6b against oracle of 0.0b and baseline of 7.0b

bsearch1.0ms

simplify8.7s

Iterations
IterNodes
2682005
2671998
2661990
2651983
2641975
2631968
2621960
2611953
2601945
2591938
2581930
2571923
2561915
2551908
2541900
2531893
2521885
2511878
2501870
2491863
2481855
2471848
2461840
2451833
2441825
2431818
2421810
2411803
2401795
2391788
2381780
2371773
2361765
2351758
2341750
2331743
2321735
2311728
2301720
2291713
2281705
2271698
2261690
2251683
2241675
2231668
2221660
2211653
2201645
2191638
2181630
2171623
2161615
2151608
2141600
2131593
2121585
2111578
2101570
2091563
2081555
2071548
2061540
2051533
2041525
2031518
2021510
2011503
2001495
1991488
1981480
1971473
1961465
1951458
1941450
1931443
1921435
1911428
1901420
1891413
1881405
1871398
1861390
1851383
1841375
1831368
1821360
1811353
1801345
1791338
1781330
1771323
1761315
1751308
1741300
1731293
1721285
1711278
1701270
1691263
1681255
1671248
1661240
1651233
1641225
1631218
1621210
1611203
1601195
1591188
1581180
1571173
1561165
1551158
1541150
1531143
1521135
1511128
1501120
1491113
1481105
1471098
1461090
1451083
1441075
1431068
1421060
1411053
1401045
1391038
1381030
1371023
1361015
1351008
1341000
133993
132985
131978
130970
129963
128955
127948
126940
125933
124925
123918
122910
121903
120895
119888
118880
117873
116865
115858
114850
113843
112835
111828
110820
109813
108805
107798
106790
105783
104775
103768
102760
101753
100745
99738
98730
97723
96715
95708
94700
93693
92685
91678
90670
89663
88655
87648
86640
85633
84625
83618
82610
81603
80595
79588
78580
77573
76565
75558
74550
73543
72535
71528
70520
69513
68505
67498
66490
65483
64475
63468
62460
61453
60445
59438
58430
57423
56415
55408
54400
53393
52385
51378
50370
49363
48355
47348
46340
45333
44325
43318
42310
41303
40295
39288
38280
37273
36265
35258
34250
33243
32235
31228
30220
29213
28205
27198
26190
25183
24175
23168
22160
21153
20145
19138
18130
17123
16115
15108
14100
1393
1285
1178
1070
963
853
752
649
548
445
342
236
133
027

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10100×body80valid