Details

Time bar (total: 31.7s)

sample104.0ms

Algorithm
intervals
Results
58.0ms384×body80valid
20.0ms136×body80nan

simplify9.1s

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
13×add-sqr-sqrt
10×add-cbrt-cube
8×*-un-lft-identity add-cube-cbrt add-log-exp
7×associate-*r*
6×prod-exp
4×unpow-prod-down div-exp
3×pow1 associate-/r* sum-log times-frac associate-*l* insert-posit16 unswap-sqr
2×pow-to-exp cbrt-undiv flip3-+ pow-exp associate-/r/ cbrt-unprod flip-+ sqr-pow
1×+-commutative associate-+l+ clear-num frac-2neg *-commutative div-inv associate-/l*
Counts
3 → 66
Calls
3 calls:
16.0ms
(+ (+ 1 (* 10 k)) (* k k))
9.0ms
(* a (pow k m))
36.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

series278.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(+ (+ 1 (* 10 k)) (* k k))
87.0ms
(* a (pow k m))
161.0ms
(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

simplify3.0s

Counts
75 → 75
Iterations
IterNodes
36425
21332
1397
0153

prune423.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
36×times-frac
34×add-sqr-sqrt
29×*-un-lft-identity
27×add-cube-cbrt
26×div-exp
22×add-cbrt-cube
16×prod-exp
10×associate-*l*
8×associate-/r*
7×pow1 cbrt-undiv associate-*r*
6×div-inv associate-/l*
5×pow-to-exp rec-exp 1-exp pow-exp
4×unpow-prod-down cbrt-unprod insert-posit16 add-log-exp unswap-sqr
2×clear-num frac-2neg flip3-+ associate-*r/ *-commutative flip-+ sqr-pow associate-/l/
1×distribute-rgt-in distribute-lft-in pow-prod-down associate-/r/ pow-flip distribute-lft-out inv-pow
Counts
4 → 139
Calls
4 calls:
17.0ms
(* (pow k m) a)
25.0ms
(* k (+ 10 k))
31.0ms
(/ 1 (/ (+ 1 (* k (+ 10 k))) (* (pow k m) a)))
55.0ms
(/ (+ 1 (* k (+ 10 k))) (* (pow k m) a))

series439.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* (pow k m) a)
63.0ms
(* k (+ 10 k))
111.0ms
(/ 1 (/ (+ 1 (* k (+ 10 k))) (* (pow k m) a)))
170.0ms
(/ (+ 1 (* k (+ 10 k))) (* (pow k m) a))

simplify1.2s

Counts
151 → 151
Iterations
IterNodes
22266
1661
0257

prune727.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
1.2b
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
1.2b
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
14.6b
(cbrt (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)))))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log
19×add-cbrt-cube
12×div-exp
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×associate-/r* times-frac prod-exp
7×cbrt-div
6×cbrt-undiv associate-/r/
5×frac-times associate-*r/
4×pow1 insert-posit16 add-log-exp
3×pow-to-exp clear-num frac-2neg flip3-+ associate-*l/ pow-exp cbrt-unprod flip-+ div-inv associate-/l*
1×cbrt-prod pow1/3 cube-unmult rem-cbrt-cube
Counts
4 → 96
Calls
4 calls:
39.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
41.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
32.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
115.0ms
(cbrt (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)))))

series571.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
146.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
116.0ms
(/ (* (pow k m) a) (+ (* (+ k 10) k) 1))
188.0ms
(cbrt (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (* (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)) (/ (* (pow k m) a) (+ (* (+ k 10) k) 1)))))

simplify3.5s

Counts
108 → 108
Iterations
IterNodes
37174
21347
1410
0147

prune792.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize102.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* 10 k) a)
0.3b
(/ 1 (+ (+ (/ (/ (* 10 k) a) (exp (* (- m) (- (log k))))) (/ (/ 1 (exp (* (- m) (- (log k))))) a)) (* (/ k a) (/ k (exp (* (- m) (- (log k))))))))
0.9b
(/ (/ (* 10 k) a) (exp (* (- m) (- (log k)))))
0.9b
(* (/ k a) (/ k (exp (* (- m) (- (log k))))))

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
151×times-frac
110×add-sqr-sqrt
84×*-un-lft-identity add-cube-cbrt
70×log-prod distribute-neg-in exp-sum
35×distribute-rgt-in distribute-lft-in
33×associate-*r*
32×add-cbrt-cube
29×add-exp-log
15×associate-/r* associate-/r/ div-inv
13×div-exp associate-*l*
12×cbrt-undiv frac-add
11×associate-/l*
8×unswap-sqr
7×pow1
6×prod-exp cbrt-unprod
4×exp-neg frac-times flip3-+ associate-*l/ associate-*r/ flip-+ insert-posit16 add-log-exp
3×clear-num frac-2neg
2×distribute-lft-neg-out distribute-rgt-neg-out
1×rec-exp 1-exp pow-prod-down *-commutative pow-flip inv-pow associate-/l/
Counts
4 → 239
Calls
4 calls:
17.0ms
(/ (* 10 k) a)
412.0ms
(/ 1 (+ (+ (/ (/ (* 10 k) a) (exp (* (- m) (- (log k))))) (/ (/ 1 (exp (* (- m) (- (log k))))) a)) (* (/ k a) (/ k (exp (* (- m) (- (log k))))))))
36.0ms
(/ (/ (* 10 k) a) (exp (* (- m) (- (log k)))))
48.0ms
(* (/ k a) (/ k (exp (* (- m) (- (log k))))))

series499.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (* 10 k) a)
216.0ms
(/ 1 (+ (+ (/ (/ (* 10 k) a) (exp (* (- m) (- (log k))))) (/ (/ 1 (exp (* (- m) (- (log k))))) a)) (* (/ k a) (/ k (exp (* (- m) (- (log k))))))))
143.0ms
(/ (/ (* 10 k) a) (exp (* (- m) (- (log k)))))
118.0ms
(* (/ k a) (/ k (exp (* (- m) (- (log k))))))

simplify3.8s

Counts
251 → 251
Iterations
IterNodes
24758
11460
0519

prune2.0s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes208.0ms

Accuracy

92% (0.2b remaining)

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

bsearch115.0ms

Steps
ItersRangePoint
8
1.3481016745397874e+138
8.814273209687855e+141
8.36290345728224e+141

simplify1.1s

Iterations
IterNodes
3242003
3231997
3221991
3211985
3201979
3191973
3181967
3171961
3161955
3151949
3141943
3131937
3121931
3111925
3101919
3091913
3081907
3071901
3061895
3051889
3041883
3031877
3021871
3011865
3001859
2991853
2981847
2971841
2961835
2951829
2941823
2931817
2921811
2911805
2901799
2891793
2881787
2871781
2861775
2851769
2841763
2831757
2821751
2811745
2801739
2791733
2781727
2771721
2761715
2751709
2741703
2731697
2721691
2711685
2701679
2691673
2681667
2671661
2661655
2651649
2641643
2631637
2621631
2611625
2601619
2591613
2581607
2571601
2561595
2551589
2541583
2531577
2521571
2511565
2501559
2491553
2481547
2471541
2461535
2451529
2441523
2431517
2421511
2411505
2401499
2391493
2381487
2371481
2361475
2351469
2341463
2331457
2321451
2311445
2301439
2291433
2281427
2271421
2261415
2251409
2241403
2231397
2221391
2211385
2201379
2191373
2181367
2171361
2161355
2151349
2141343
2131337
2121331
2111325
2101319
2091313
2081307
2071301
2061295
2051289
2041283
2031277
2021271
2011265
2001259
1991253
1981247
1971241
1961235
1951229
1941223
1931217
1921211
1911205
1901199
1891193
1881187
1871181
1861175
1851169
1841163
1831157
1821151
1811145
1801139
1791133
1781127
1771121
1761115
1751109
1741103
1731097
1721091
1711085
1701079
1691073
1681067
1671061
1661055
1651049
1641043
1631037
1621031
1611025
1601019
1591013
1581007
1571001
156995
155989
154983
153977
152971
151965
150959
149953
148947
147941
146935
145929
144923
143917
142911
141905
140899
139893
138887
137881
136875
135869
134863
133857
132851
131845
130839
129833
128827
127821
126815
125809
124803
123797
122791
121785
120779
119773
118767
117761
116755
115749
114743
113737
112731
111725
110719
109713
108707
107701
106695
105689
104683
103677
102671
101665
100659
99653
98647
97641
96635
95629
94623
93617
92611
91605
90599
89593
88587
87581
86575
85569
84563
83557
82551
81545
80539
79533
78527
77521
76515
75509
74503
73497
72491
71485
70479
69473
68467
67461
66455
65449
64443
63437
62431
61425
60419
59413
58407
57401
56395
55389
54383
53377
52371
51365
50359
49353
48347
47341
46335
45329
44323
43317
42311
41305
40299
39293
38287
37281
36275
35269
34263
33257
32251
31245
30239
29233
28227
27221
26215
25209
24203
23197
22191
21185
20179
19173
18167
17161
16155
15149
14143
13137
12131
11125
10119
9113
8107
7101
695
589
483
369
252
142
030

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s11956×body80valid
551.0ms4252×body80nan