Details

Time bar (total: 40.9s)

sample83.0ms

Algorithm
intervals
Results
47.0ms389×body80valid
12.0ms114×body80nan

simplify8.6s

Counts
1 → 1
Iterations
IterNodes
77970
61954
5624
4202
385
245
124
012

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize36.0ms

Local error

Found 2 expressions with local error:

0.0b
(* k (+ k 10))
2.6b
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

rewrite76.0ms

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

series188.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(* k (+ k 10))
113.0ms
(/ (* (pow k m) a) (+ (* k (+ k 10)) 1))

simplify3.0s

Counts
56 → 56
Iterations
IterNodes
36414
21253
1390
0141

prune581.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.6b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(* k (+ k 10))
0.1b
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
5.2b
(/ (+ (* k (+ k 10)) 1) a)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
172×times-frac
99×add-sqr-sqrt *-un-lft-identity
97×add-cube-cbrt
42×unpow-prod-down
20×add-exp-log
16×associate-/r*
14×sqr-pow
12×add-cbrt-cube
10×div-exp div-inv associate-/l*
5×pow1
4×cbrt-undiv associate-*r*
3×associate-*l* insert-posit16 add-log-exp
2×pow-to-exp clear-num frac-2neg flip3-+ pow-exp associate-*r/ flip-+ associate-/l/
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 185
Calls
3 calls:
16.0ms
(* k (+ k 10))
18.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
27.0ms
(/ (+ (* k (+ k 10)) 1) a)

series255.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(* k (+ k 10))
148.0ms
(/ (pow k m) (/ (+ (* k (+ k 10)) 1) a))
57.0ms
(/ (+ (* k (+ k 10)) 1) a)

simplify2.1s

Counts
194 → 194
Iterations
IterNodes
22767
1906
0351

prune2.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 2.6b

localize82.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* k (+ k 10)) (* k (+ k 10)))
0.2b
(/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1))
14.6b
(+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1)))
25.2b
(* (/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1)) (+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1))))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
116×associate-*r/
48×frac-add
47×flip3-+ flip-+
46×frac-times
45×pow1
42×add-exp-log
30×add-cbrt-cube
24×flip3-- flip--
19×prod-exp
18×pow-prod-down
15×associate-*l/
13×cbrt-unprod
11×add-sqr-sqrt
10×associate-*l*
9×distribute-rgt-in *-un-lft-identity distribute-lft-in add-cube-cbrt add-log-exp
8×div-exp
6×times-frac
4×cbrt-undiv associate-+l+ associate-*r* associate-/r/ pow-sqr pow-prod-up insert-posit16
3×associate-/r*
2×pow-to-exp associate-+r+ sum-log pow-plus pow-exp *-commutative div-inv
1×pow2 +-commutative clear-num associate-+r- sub-neg frac-2neg diff-log swap-sqr associate-/l* unswap-sqr
Counts
4 → 179
Calls
4 calls:
43.0ms
(* (* k (+ k 10)) (* k (+ k 10)))
407.0ms
(/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1))
153.0ms
(+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1)))
1.3s
(* (/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1)) (+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1))))

series597.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* k (+ k 10)) (* k (+ k 10)))
202.0ms
(/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1))
44.0ms
(+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1)))
324.0ms
(* (/ (* (pow k m) a) (+ (* (* (* k (+ k 10)) (* k (+ k 10))) (* k (+ k 10))) 1)) (+ (* (* k (+ k 10)) (* k (+ k 10))) (- (* 1 1) (* (* k (+ k 10)) 1))))

simplify4.5s

Counts
191 → 191
Iterations
IterNodes
29056
11676
0390

prune3.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (/ a k) (/ (exp (* (- m) (- (log k)))) k))
5.6b
(/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k)))
7.4b
(- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k))))
11.0b
(+ (- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)))) (/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k))))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
85×add-cbrt-cube
78×add-exp-log
69×associate-*r/
57×frac-times
56×add-sqr-sqrt
53×associate-*l/
47×times-frac
43×prod-exp cbrt-unprod
42×frac-sub
32×*-un-lft-identity frac-add
31×associate-*r*
30×add-cube-cbrt
22×log-prod distribute-neg-in exp-sum
19×cbrt-undiv div-exp
18×sub-div
13×associate-*l*
11×distribute-rgt-in distribute-lft-in add-log-exp
8×unswap-sqr
6×pow1
4×exp-neg insert-posit16 associate-/l/
3×div-inv
2×distribute-lft-neg-out associate-+l+ sum-log sub-neg flip3-- diff-log un-div-inv distribute-rgt-neg-out flip--
1×+-commutative clear-num associate-/r* frac-2neg flip3-+ pow-prod-down *-commutative associate-+l- flip-+ distribute-lft-out associate-/l*
Counts
4 → 213
Calls
4 calls:
31.0ms
(* (/ a k) (/ (exp (* (- m) (- (log k)))) k))
72.0ms
(/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k)))
19.0ms
(- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k))))
117.0ms
(+ (- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)))) (/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k))))

series795.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* (/ a k) (/ (exp (* (- m) (- (log k)))) k))
179.0ms
(/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k)))
224.0ms
(- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k))))
275.0ms
(+ (- (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)) (* (/ 10 k) (* (/ a k) (/ (exp (* (- m) (- (log k)))) k)))) (/ (* (* 99 (exp (* (- m) (- (log k))))) a) (* (* k k) (* k k))))

simplify3.1s

Counts
225 → 225
Iterations
IterNodes
26351
11499
0505

prune4.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes217.0ms

Accuracy

93.5% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 1.9b

bsearch155.0ms

Steps
ItersRangePoint
9
5.2740680902670776e+109
8.372084177349568e+117
7.594113741130119e+110

simplify1.2s

Iterations
IterNodes
3242002
3231996
3221990
3211984
3201978
3191972
3181966
3171960
3161954
3151948
3141942
3131936
3121930
3111924
3101918
3091912
3081906
3071900
3061894
3051888
3041882
3031876
3021870
3011864
3001858
2991852
2981846
2971840
2961834
2951828
2941822
2931816
2921810
2911804
2901798
2891792
2881786
2871780
2861774
2851768
2841762
2831756
2821750
2811744
2801738
2791732
2781726
2771720
2761714
2751708
2741702
2731696
2721690
2711684
2701678
2691672
2681666
2671660
2661654
2651648
2641642
2631636
2621630
2611624
2601618
2591612
2581606
2571600
2561594
2551588
2541582
2531576
2521570
2511564
2501558
2491552
2481546
2471540
2461534
2451528
2441522
2431516
2421510
2411504
2401498
2391492
2381486
2371480
2361474
2351468
2341462
2331456
2321450
2311444
2301438
2291432
2281426
2271420
2261414
2251408
2241402
2231396
2221390
2211384
2201378
2191372
2181366
2171360
2161354
2151348
2141342
2131336
2121330
2111324
2101318
2091312
2081306
2071300
2061294
2051288
2041282
2031276
2021270
2011264
2001258
1991252
1981246
1971240
1961234
1951228
1941222
1931216
1921210
1911204
1901198
1891192
1881186
1871180
1861174
1851168
1841162
1831156
1821150
1811144
1801138
1791132
1781126
1771120
1761114
1751108
1741102
1731096
1721090
1711084
1701078
1691072
1681066
1671060
1661054
1651048
1641042
1631036
1621030
1611024
1601018
1591012
1581006
1571000
156994
155988
154982
153976
152970
151964
150958
149952
148946
147940
146934
145928
144922
143916
142910
141904
140898
139892
138886
137880
136874
135868
134862
133856
132850
131844
130838
129832
128826
127820
126814
125808
124802
123796
122790
121784
120778
119772
118766
117760
116754
115748
114742
113736
112730
111724
110718
109712
108706
107700
106694
105688
104682
103676
102670
101664
100658
99652
98646
97640
96634
95628
94622
93616
92610
91604
90598
89592
88586
87580
86574
85568
84562
83556
82550
81544
80538
79532
78526
77520
76514
75508
74502
73496
72490
71484
70478
69472
68466
67460
66454
65448
64442
63436
62430
61424
60418
59412
58406
57400
56394
55388
54382
53376
52370
51364
50358
49352
48346
47340
46334
45328
44322
43316
42310
41304
40298
39292
38286
37280
36274
35268
34262
33256
32250
31244
30238
29232
28226
27220
26214
25208
24202
23196
22190
21184
20178
19172
18166
17160
16154
15148
14142
13136
12130
11124
10118
9112
8106
7100
694
590
486
372
255
145
032

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.7s11814×body80valid
557.0ms4228×body80nan