Details

Time bar (total: 34.9s)

sample215.0ms

Algorithm
intervals
Results
49.0ms42×body10240exit
44.0ms43×body1280valid
37.0ms53×body640valid
17.0ms112×body80valid
13.0ms29×body320valid
8.0ms66×body80nan
6.0ms10×body320nan
5.0ms18×body160valid
4.0ms1×body2560valid
3.0ms4×body1280nan
3.0ms7×body640nan
0.0ms2×body160nan

simplify7.3s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize40.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.1b
(log (+ (- 1.0 y) (* y (exp z))))
2.9b
(+ (- 1.0 y) (* y (exp z)))

rewrite147.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:
17.0ms
(* y (exp z))
68.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
14.0ms
(log (+ (- 1.0 y) (* y (exp z))))
47.0ms
(+ (- 1.0 y) (* y (exp z)))

series466.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* y (exp z))
246.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
114.0ms
(log (+ (- 1.0 y) (* y (exp z))))
56.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify3.0s

Counts
96 → 96
Iterations
IterNodes
done5000
34835
21356
1467
0201

prune735.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.5b

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (+ 1.0 (* z 0.5)))
2.1b
(* (* z (+ 1.0 (* z 0.5))) y)
5.5b
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

rewrite111.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:
19.0ms
(* z (+ 1.0 (* z 0.5)))
42.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
49.0ms
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

series321.0ms

Counts
3 → 9
Calls
3 calls:
108.0ms
(* z (+ 1.0 (* z 0.5)))
80.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
133.0ms
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5000
21364
1390
0147

prune632.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.5b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (+ 1.0 (* z 0.5)))
0.7b
(/ 1 (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
2.1b
(* (* z (+ 1.0 (* z 0.5))) y)
5.3b
(/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
61×add-sqr-sqrt
59×*-un-lft-identity add-cube-cbrt
24×add-exp-log
18×associate-/r* add-cbrt-cube
12×pow1
11×associate-/r/
8×div-exp
7×flip3-+ flip-+
6×associate-*r* div-inv associate-/l*
4×cbrt-undiv associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp
2×rec-exp clear-num frac-2neg 1-exp associate-*l/ *-commutative
1×distribute-rgt-in distribute-lft-in pow-flip inv-pow unswap-sqr
Counts
4 → 159
Calls
4 calls:
12.0ms
(* z (+ 1.0 (* z 0.5)))
12.0ms
(/ 1 (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
47.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
17.0ms
(/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)))

series619.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(* z (+ 1.0 (* z 0.5)))
182.0ms
(/ 1 (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
66.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
283.0ms
(/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)))

simplify2.1s

Counts
171 → 171
Iterations
IterNodes
done5003
22359
1752
0282

prune1.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 4.5b

localize69.0ms

Local error

Found 4 expressions with local error:

5.3b
(/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)))
22.6b
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
22.6b
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
22.6b
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))

rewrite41.0ms

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

series2.6s

Counts
4 → 12
Calls
4 calls:
244.0ms
(/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)))
1.1s
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
645.0ms
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))
662.0ms
(cbrt (/ t (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y))))

simplify2.1s

Counts
117 → 117
Iterations
IterNodes
done5002
21381
1418
0185

prune1.0s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 4.5b

regimes1.4s

Accuracy

71.4% (4.7b remaining)

Error of 8.9b against oracle of 4.2b and baseline of 20.6b

bsearch655.0ms

Steps
ItersRangePoint
6
6.504303590374269e-18
1.0253848516655035e-16
9.047911306874446e-17
9
2.1987480550803053e-111
4.680582706131457e-106
1.6081434733570535e-109
8
-2.702077193721847e-92
-4.047764226026223e-95
-7.588076395555027e-93
10
-1395.513557668287
-2.0438040903403646e-10
-6.220564919949488e-06

simplify44.0ms

Iterations
IterNodes
done68
368
265
162
046

end0.0ms

sample8.8s

Algorithm
intervals
Results
2.6s1523×body10240exit
2.1s1468×body1280valid
1.1s1580×body640valid
651.0ms3506×body80valid
544.0ms900×body320valid
396.0ms2466×body80nan
218.0ms98×body2560valid
146.0ms479×body160valid
134.0ms264×body640nan
109.0ms108×body1280nan
106.0ms116×body160nan
73.0ms197×body320nan