Details

Time bar (total: 1.1m)

sample268.0ms

Algorithm
intervals
Results
118.0ms49×body2560valid
72.0ms78×body1280valid
33.0ms52×body640valid
8.0ms50×body80valid
7.0ms17×body320valid
3.0ms1×body5120valid
3.0ms9×body160valid

simplify33.1s

Counts
1 → 1
Iterations
IterNodes
done5000
1424995
1414967
1404942
1394913
1384888
1374861
1364836
1354807
1344782
1334755
1324730
1314702
1304679
1294652
1284627
1274598
1264573
1254546
1244521
1234493
1224470
1214444
1204419
1194390
1184366
1174339
1164314
1154287
1144263
1134236
1124211
1114183
1104158
1094131
1084106
1074078
1064054
1054026
1044001
1033972
1023948
1013922
1003898
993870
983846
973819
963795
953768
943743
933716
923691
913663
903638
893610
883585
873557
863532
853505
843481
833454
823430
813402
803377
793350
783327
773300
763275
753246
743221
733194
723169
713142
703119
693092
683068
673040
663017
652990
642965
632936
622912
612885
602860
592831
582806
572779
562754
552727
542703
532676
522651
512622
502597
492571
482546
472517
462492
452464
442439
432410
422385
412359
402335
392307
382282
372254
362229
352200
342176
332150
322126
312098
302073
292045
282021
271994
261971
251944
241920
231892
221867
211839
201814
191786
181762
171734
161710
151683
141658
131630
121605
111569
101528
91403
81324
71150
6853
5616
4414
3214
284
144
023

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 46.8b

localize39.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
4.1b
(/ t (/ (/ 16.0 z) (fma 2.0 y 1.0)))
34.9b
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))
35.3b
(cos (/ t (/ (/ 16.0 z) (fma 2.0 y 1.0))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
786×times-frac
372×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
86×associate-/r*
34×div-inv
22×add-cbrt-cube add-exp-log
12×cbrt-undiv div-exp
6×associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/r/
Counts
4 → 410
Calls
4 calls:
16.0ms
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
16.0ms
(/ t (/ (/ 16.0 z) (fma 2.0 y 1.0)))
20.0ms
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))
16.0ms
(cos (/ t (/ (/ 16.0 z) (fma 2.0 y 1.0))))

series197.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
74.0ms
(/ t (/ (/ 16.0 z) (fma 2.0 y 1.0)))
27.0ms
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))
28.0ms
(cos (/ t (/ (/ 16.0 z) (fma 2.0 y 1.0))))

simplify1.3s

Counts
422 → 422
Iterations
IterNodes
done5000
12497
0904

prune3.1s

Pruning

56 alts after pruning (56 fresh and 0 done)

Merged error: 41.5b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 16.0 t) (fma a 2.0 1.0))
0.1b
(* (* 1 x) (cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))))
2.9b
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
34.9b
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
468×times-frac
231×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
46×associate-/r*
25×add-exp-log
23×add-cbrt-cube
22×div-inv
16×associate-/l*
9×pow1 cbrt-undiv div-exp
5×prod-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down cbrt-unprod
2×clear-num frac-2neg
1×1-exp associate-*l* associate-/r/ *-commutative associate-/l/
Counts
4 → 300
Calls
4 calls:
10.0ms
(/ (/ 16.0 t) (fma a 2.0 1.0))
18.0ms
(* (* 1 x) (cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))))
19.0ms
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
15.0ms
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))

series216.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ (/ 16.0 t) (fma a 2.0 1.0))
70.0ms
(* (* 1 x) (cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))))
66.0ms
(/ b (/ (/ 16.0 t) (fma a 2.0 1.0)))
31.0ms
(cos (/ b (/ (/ 16.0 t) (fma a 2.0 1.0))))

simplify1.6s

Counts
312 → 312
Iterations
IterNodes
done5000
24808
11454
0556

prune2.0s

Pruning

65 alts after pruning (65 fresh and 0 done)

Merged error: 40.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
0.7b
(/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))
34.9b
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
1260×times-frac
582×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
408×cbrt-prod
70×associate-/r*
29×div-inv
13×add-exp-log
9×add-cbrt-cube
6×cbrt-undiv div-exp associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×pow1/3
1×clear-num frac-2neg associate-/r/
Counts
4 → 554
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
29.0ms
(/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))
6.0ms
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))))

series629.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt b)
190.0ms
(cbrt b)
191.0ms
(/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))
61.0ms
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (/ (cbrt b) (/ (/ 16.0 (cbrt t)) (fma a 2.0 1.0)))))

simplify1.9s

Counts
566 → 566
Iterations
IterNodes
done5000
12724
0961

prune4.0s

Pruning

66 alts after pruning (66 fresh and 0 done)

Merged error: 39.6b

localize65.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
1.0b
(* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))
35.1b
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))))

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
1339×times-frac
840×cbrt-prod
696×add-sqr-sqrt
586×*-un-lft-identity
575×add-cube-cbrt
479×associate-*r*
82×add-exp-log
33×div-exp unswap-sqr
30×prod-exp
26×div-inv
25×add-cbrt-cube
15×cbrt-undiv
12×cbrt-unprod
10×associate-*l*
6×pow1 rec-exp 1-exp
4×expm1-log1p-u cbrt-div associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
2×frac-times pow1/3 associate-*l/ associate-*r/
1×pow-prod-down *-commutative
Counts
4 → 605
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
234.0ms
(* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))
19.0ms
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))))

series744.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(cbrt b)
177.0ms
(cbrt b)
259.0ms
(* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))
127.0ms
(cos (* (/ (cbrt b) (/ (/ 1 (cbrt t)) (* (cbrt b) (cbrt t)))) (* (/ 1 (* (cbrt (/ 16.0 (cbrt t))) (cbrt (/ 16.0 (cbrt t))))) (/ (cbrt b) (/ (cbrt (/ 16.0 (cbrt t))) (fma a 2.0 1.0))))))

simplify1.9s

Counts
617 → 617
Iterations
IterNodes
done5000
01312

prune5.5s

Pruning

68 alts after pruning (68 fresh and 0 done)

Merged error: 39.5b

regimes3.0s

Accuracy

0% (6.7b remaining)

Error of 45.1b against oracle of 38.4b and baseline of 45.1b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done37
137
029

end0.0ms

sample7.7s

Algorithm
intervals
Results
3.4s1837×body2560valid
2.6s2282×body1280valid
608.0ms1145×body640valid
525.0ms571×body320valid
233.0ms1865×body80valid
134.0ms39×body5120valid
60.0ms261×body160valid