Details

Time bar (total: 5.6s)

analyze1.2s

Algorithm
search

sample27.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
0.0ms3×body80invalid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1398
2478
3498
4498

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.5b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

3.8b
(/ (* y b) t)
5.5b
(/ (* y z) t)
9.3b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
26×times-frac
21×distribute-lft-out
18×add-sqr-sqrt add-cube-cbrt
15×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l*
5×cbrt-undiv div-exp
4×associate-/r/
3×pow1 frac-2neg flip3-+ clear-num flip-+ div-inv add-log-exp
2×frac-add prod-exp cbrt-unprod associate-/l/
Counts
3 → 89
Calls
3 calls:
4.0ms
(/ (* y b) t)
5.0ms
(/ (* y z) t)
12.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series51.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ (* y b) t)
5.0ms
(/ (* y z) t)
42.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify47.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0432769
11895710
25002710

prune170.0ms

Filtered
63 candidates to 98 candidates (-55.6%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New851398
Fresh000
Picked101
Done000
Total861399

Merged error: 8.4b

Counts
99 → 13

localize14.0ms

Local error

Found 3 expressions with local error:

3.8b
(/ (* y b) t)
4.7b
(/ y (/ t z))
9.3b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
98×times-frac
95×*-un-lft-identity
58×add-sqr-sqrt add-cube-cbrt
21×associate-/r* distribute-lft-out
15×add-exp-log add-cbrt-cube
8×associate-/l*
7×div-inv
6×cbrt-undiv div-exp
5×associate-/r/
3×pow1 frac-2neg flip3-+ clear-num flip-+ add-log-exp
2×frac-add associate-/l/
1×prod-exp cbrt-unprod
Counts
3 → 138
Calls
3 calls:
4.0ms
(/ (* y b) t)
5.0ms
(/ y (/ t z))
19.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

series73.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ (* y b) t)
5.0ms
(/ y (/ t z))
63.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify65.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
06381134
126671070
250011069

prune181.0ms

Filtered
103 candidates to 147 candidates (-42.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1434147
Fresh3912
Picked101
Done000
Total14713160

Merged error: 7.9b

Counts
160 → 13

localize13.0ms

Local error

Found 3 expressions with local error:

4.7b
(/ y (/ t z))
6.4b
(* y (/ b t))
9.3b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
70×*-un-lft-identity
67×add-sqr-sqrt
62×add-cube-cbrt
16×associate-/r*
15×add-exp-log add-cbrt-cube
13×associate-*r*
7×div-inv associate-/l*
5×pow1 cbrt-undiv div-exp associate-/r/
4×distribute-lft-out
3×flip3-+ associate-*r/ associate-*l* flip-+ add-log-exp
2×frac-2neg frac-add prod-exp clear-num cbrt-unprod associate-/l/ unswap-sqr
1×pow-prod-down *-commutative
Counts
3 → 139
Calls
3 calls:
5.0ms
(/ y (/ t z))
6.0ms
(* y (/ b t))
17.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

series75.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ y (/ t z))
5.0ms
(* y (/ b t))
64.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

simplify67.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
06951082
129921018
250021017

prune182.0ms

Filtered
109 candidates to 148 candidates (-35.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1462148
Fresh11112
Picked101
Done000
Total14813161

Merged error: 7.8b

Counts
161 → 13

localize12.0ms

Local error

Found 3 expressions with local error:

4.6b
(* y (/ z t))
6.4b
(* y (/ b t))
9.3b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
29×times-frac
27×add-cube-cbrt *-un-lft-identity
26×associate-*r*
15×add-exp-log add-cbrt-cube
7×pow1
6×associate-*l*
4×associate-*r/ prod-exp associate-/r/ cbrt-unprod unswap-sqr
3×cbrt-undiv flip3-+ div-exp associate-/r* flip-+ div-inv associate-/l* add-log-exp
2×pow-prod-down frac-add *-commutative associate-/l/
1×frac-2neg clear-num
Counts
3 → 97
Calls
3 calls:
6.0ms
(* y (/ z t))
6.0ms
(* y (/ b t))
9.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

series50.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(* y (/ z t))
5.0ms
(* y (/ b t))
38.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (* y (/ b t))))

simplify54.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0531713
12286654
25002654

prune93.0ms

Filtered
75 candidates to 106 candidates (-41.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1051106
Fresh01212
Picked011
Done000
Total10514119

Merged error: 7.8b

Counts
119 → 14

regimes1.1s

Accuracy

51.8% (2.8b remaining)

Error of 13.4b against oracle of 10.6b and baseline of 16.4b

bsearch1.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 2 (1.0ms)

IterNodesCost
05574
15874
26449
36749
47349
58449
69149
79249
89249

end0.0ms

analyze1.2s

Algorithm
search

sample719.0ms

Algorithm
intervals
Results
433.0ms8000×body80valid
16.0ms308×body80invalid

Profiling

Loading profile data...