Details

Time bar (total: 2.0m)

sample383.0ms

Algorithm
intervals
Results
169.0ms60×body2560valid
97.0ms80×body1280valid
26.0ms33×body640valid
18.0ms4×body5120valid
12.0ms20×body320valid
10.0ms51×body80valid
3.0ms8×body160valid

simplify1.4m

Counts
1 → 1
Iterations
IterNodes
done5000
1784996
1774976
1764954
1754934
1744911
1734891
1724868
1714848
1704825
1694805
1684782
1674762
1664739
1654719
1644696
1634676
1624653
1614633
1604610
1594590
1584567
1574547
1564524
1554504
1544481
1534461
1524438
1514418
1504395
1494375
1484352
1474332
1464309
1454289
1444266
1434246
1424223
1414203
1404180
1394160
1384137
1374117
1364094
1354074
1344051
1334031
1324008
1313988
1303965
1293945
1283922
1273902
1263879
1253859
1243836
1233816
1223793
1213773
1203750
1193730
1183707
1173687
1163664
1153644
1143621
1133601
1123578
1113558
1103535
1093515
1083492
1073472
1063449
1053429
1043406
1033386
1023363
1013343
1003320
993300
983277
973257
963234
953214
943191
933171
923148
913128
903105
893085
883062
873042
863019
852999
842976
832956
822933
812913
802890
792870
782847
772827
762804
752784
742761
732741
722718
712698
702675
692655
682632
672612
662589
652569
642546
632526
622503
612483
602460
592440
582417
572397
562374
552354
542331
532311
522288
512268
502245
492225
482202
472182
462159
452139
442116
432096
422073
412053
402030
392010
381987
371967
361944
351924
341901
331881
321858
311838
301815
291795
281772
271752
261729
251709
241686
231666
221643
211623
201600
191580
181557
171537
161513
151492
141468
131447
121419
111392
101351
91224
81136
7967
6726
5513
4377
3202
280
142
023

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 48.7b

localize92.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (* (+ (* a 2.0) 1.0) b) t)
3.8b
(* (* (+ (* y 2.0) 1.0) z) t)
36.0b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
40.1b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
8×associate-*l/
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 54
Calls
4 calls:
82.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
100.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
11.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
12.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series372.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
92.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
89.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
81.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify2.5s

Counts
66 → 66
Iterations
IterNodes
done5000
21697
1382
0138

prune1.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 43.5b

localize66.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
0.2b
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
2.0b
(* (* (+ (* a 2.0) 1.0) b) t)
36.0b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
23×add-cbrt-cube
14×pow1
11×prod-exp
9×cbrt-unprod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l/
6×associate-*r* pow-prod-down
4×add-log-exp
3×cbrt-undiv times-frac div-exp associate-/r*
2×flip3-+ associate-*l* *-commutative flip-+ associate-/l/
1×frac-2neg 1-exp clear-num div-inv associate-/l*
Counts
4 → 71
Calls
4 calls:
38.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
85.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
77.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
7.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series476.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
110.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
108.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
88.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify2.5s

Counts
83 → 83
Iterations
IterNodes
done5000
21413
1413
0152

prune1.3s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 41.9b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune391.0ms

Pruning

33 alts after pruning (32 fresh and 1 done)

Merged error: 41.9b

localize115.0ms

Local error

Found 4 expressions with local error:

18.6b
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
18.6b
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
18.6b
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
36.0b
(cos (* (* (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))))

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×cbrt-div pow1/3 div-inv
Counts
4 → 55
Calls
4 calls:
53.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
48.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
52.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
50.0ms
(cos (* (* (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))))

series1.7s

Counts
4 → 12
Calls
4 calls:
467.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
510.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
492.0ms
(cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
215.0ms
(cos (* (* (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) (cbrt (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))))

simplify3.5s

Counts
67 → 67
Iterations
IterNodes
done5000
32141
2633
1261
0127

prune1.0s

Pruning

44 alts after pruning (43 fresh and 1 done)

Merged error: 41.7b

regimes8.3s

Accuracy

0% (4.5b remaining)

Error of 44.1b against oracle of 39.6b and baseline of 44.1b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done1
01

end0.0ms

sample14.5s

Algorithm
intervals
Results
5.5s1806×body2560valid
4.6s2282×body1280valid
2.1s1193×body640valid
602.0ms1917×body80valid
404.0ms532×body320valid
200.0ms31×body5120valid
169.0ms239×body160valid