Details

Time bar (total: 30.5s)

sample206.0ms

Algorithm
intervals
Results
52.0ms56×body1280valid
35.0ms40×body10240exit
29.0ms51×body640valid
24.0ms78×body80nan
11.0ms4×body2560valid
11.0ms100×body80valid
9.0ms26×body320valid
4.0ms19×body160valid
3.0ms6×body640nan
3.0ms11×body320nan
1.0ms3×body160nan
0.0ms1×body1280nan

simplify7.5s

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

localize22.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)))

rewrite106.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))
55.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
19.0ms
(log (+ (- 1.0 y) (* y (exp z))))
21.0ms
(+ (- 1.0 y) (* y (exp z)))

series379.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* y (exp z))
205.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
108.0ms
(log (+ (- 1.0 y) (* y (exp z))))
40.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify2.1s

Counts
96 → 96
Iterations
IterNodes
done5000
34835
21356
1467
0201

prune440.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.4b

localize23.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)

rewrite70.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:
12.0ms
(* z (+ 1.0 (* z 0.5)))
22.0ms
(* (* z (+ 1.0 (* z 0.5))) y)
35.0ms
(/ (+ (log 1.0) (* (* z (+ 1.0 (* z 0.5))) y)) t)

series216.0ms

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

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5000
21364
1390
0147

prune606.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
22×pow1
18×add-cbrt-cube
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×pow-prod-down prod-exp cbrt-unprod
9×times-frac
6×cbrt-prod
4×associate-*r/ insert-posit16 add-log-exp
3×associate-/r* associate-*r* associate-/l*
2×flip3-+ pow1/3 associate-*l/ flip-+ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp associate-*l* *-commutative div-inv
Counts
4 → 84
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
125.0ms
(* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)
66.0ms
(/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t)

series638.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(cbrt z)
188.0ms
(cbrt z)
81.0ms
(* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)
137.0ms
(/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t)

simplify1.7s

Counts
96 → 96
Iterations
IterNodes
done5000
22051
1478
0170

prune539.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
174.0ms
(/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t)
467.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t))
356.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t))
422.0ms
(cbrt (/ (+ (log 1.0) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ 1.0 (* z 0.5)))) y)) t))

simplify2.7s

Counts
111 → 111
Iterations
IterNodes
done5001
34666
21097
1378
0172

prune1.2s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.4b

regimes1.6s

Accuracy

69.3% (5.1b remaining)

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

bsearch208.0ms

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

simplify18.0ms

Iterations
IterNodes
done53
153
038

end0.0ms

sample7.0s

Algorithm
intervals
Results
1.8s1496×body1280valid
1.7s1521×body10240exit
1.4s1546×body640valid
428.0ms3566×body80valid
326.0ms857×body320valid
230.0ms2568×body80nan
188.0ms95×body2560valid
111.0ms288×body640nan
100.0ms465×body160valid
56.0ms203×body320nan
55.0ms98×body1280nan
18.0ms110×body160nan