Details

Time bar (total: 32.4s)

sample220.0ms

Algorithm
intervals
Results
67.0ms56×body1280valid
41.0ms40×body10240exit
34.0ms51×body640valid
14.0ms100×body80valid
11.0ms26×body320valid
10.0ms4×body2560valid
8.0ms78×body80nan
4.0ms19×body160valid
4.0ms11×body320nan
3.0ms6×body640nan
1.0ms3×body160nan
0.0ms1×body1280nan

simplify7.4s

Counts
1 → 1
Iterations
IterNodes
done5000
1444986
1434970
1424956
1414939
1404923
1394907
1384889
1374874
1364858
1354836
1344822
1334807
1324789
1314773
1304759
1294742
1284726
1274710
1264690
1254675
1244659
1234641
1224627
1214612
1204594
1194578
1184564
1174547
1164531
1154515
1144495
1134480
1124464
1114444
1104430
1094415
1084397
1074381
1064367
1054350
1044334
1034318
1024298
1014283
1004267
994245
984231
974216
964198
954182
944168
934151
924135
914119
904103
894088
884072
874050
864036
854021
844003
833987
823973
813956
803940
793924
783906
773891
763875
753853
743839
733824
723806
713790
703776
693759
683743
673727
663707
653692
643676
633654
623640
613625
603607
593591
583577
573560
563544
553528
543508
533493
523477
513455
503441
493426
483408
473392
463378
453361
443345
433329
423309
413294
403278
393260
383246
373231
363213
353197
343183
333166
323150
313134
303114
293099
283083
273061
263047
253032
243014
232998
222984
212967
202951
192935
182915
172900
162884
152866
142822
132455
122112
111738
101224
9862
8678
7469
6261
5107
466
348
233
120
012

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.7b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.0b
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.2b
(log (+ (- 1.0 y) (* y (exp z))))
2.9b
(+ (- 1.0 y) (* y (exp z)))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
12×times-frac
11×pow1
9×add-log-exp
8×add-cbrt-cube add-exp-log
5×log-pow
4×log-div insert-posit16 associate-/l*
3×log-prod associate-/r* flip3-+ associate-*r* associate-*l* flip-+
2×associate-+l+ sum-log div-sub
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod div-inv unswap-sqr
Counts
4 → 84
Calls
4 calls:
9.0ms
(* y (exp z))
61.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
28.0ms
(log (+ (- 1.0 y) (* y (exp z))))
31.0ms
(+ (- 1.0 y) (* y (exp z)))

series354.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* y (exp z))
178.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
101.0ms
(log (+ (- 1.0 y) (* y (exp z))))
40.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify2.2s

Counts
96 → 96
Iterations
IterNodes
done5000
34835
21356
1467
0201

prune467.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.4b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (+ 1.0 (* z 0.5)))
3.1b
(* (* z (+ 1.0 (* z 0.5))) y)
6.2b
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube add-exp-log
10×pow1
9×times-frac
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
3×associate-/r* flip3-+ flip-+ insert-posit16 associate-/l* add-log-exp
2×associate-*l/ *-commutative associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in div-exp div-inv unswap-sqr
Counts
3 → 74
Calls
3 calls:
11.0ms
(* z (+ 1.0 (* z 0.5)))
23.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
29.0ms
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

series245.0ms

Counts
3 → 9
Calls
3 calls:
97.0ms
(* z (+ 1.0 (* z 0.5)))
49.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
100.0ms
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5000
21364
1390
0147

prune398.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

localize29.0ms

Local error

Found 4 expressions with local error:

6.2b
(/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t)
9.2b
(cbrt (* z (+ 1.0 (* z 0.5))))
9.2b
(cbrt (* z (+ 1.0 (* z 0.5))))
9.2b
(cbrt (* z (+ 1.0 (* z 0.5))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div add-cbrt-cube associate-*r/ add-exp-log
4×pow1 flip3-+ flip-+ insert-posit16 add-log-exp
3×cbrt-prod associate-/r* pow1/3 associate-/l*
2×associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 66
Calls
4 calls:
27.0ms
(/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t)
4.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
4.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
8.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))

series657.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t)
178.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
160.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
133.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))

simplify2.7s

Counts
78 → 78
Iterations
IterNodes
done5001
34943
21287
1421
0167

prune664.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

localize66.0ms

Local error

Found 4 expressions with local error:

9.2b
(cbrt (* z (+ 1.0 (* z 0.5))))
22.3b
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
22.3b
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
22.3b
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
40×cbrt-prod
27×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×cbrt-div
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
3×div-inv
2×associate-*r/
1×flip3-+ flip-+
Counts
4 → 81
Calls
4 calls:
4.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
3.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
3.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
5.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))

series1.6s

Counts
4 → 12
Calls
4 calls:
200.0ms
(cbrt (* z (+ 1.0 (* z 0.5))))
512.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
449.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))
473.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt (* z (+ 1.0 (* z 0.5)))) (cbrt (* z (+ 1.0 (* z 0.5))))) (cbrt (* z (+ 1.0 (* z 0.5))))) y)) t))

simplify2.7s

Counts
93 → 93
Iterations
IterNodes
done5001
34750
21311
1468
0208

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

regimes1.3s

Accuracy

69.3% (5.1b remaining)

Error of 8.5b against oracle of 3.4b and baseline of 19.9b

bsearch186.0ms

Steps
ItersRangePoint
5
9.841725025012944e-139
2.5397497498267892e-138
2.5098281878527637e-138
8
-8098743939100131.0
-789933810286.599
-804280505547.8507

simplify38.0ms

Iterations
IterNodes
done53
153
038

end0.0ms

sample8.3s

Algorithm
intervals
Results
2.1s1521×body10240exit
1.7s1496×body1280valid
1.1s1546×body640valid
706.0ms2568×body80nan
604.0ms288×body640nan
545.0ms3566×body80valid
485.0ms857×body320valid
209.0ms95×body2560valid
126.0ms465×body160valid
73.0ms203×body320nan
68.0ms98×body1280nan
24.0ms110×body160nan