Details

Time bar (total: 5.2s)

sample39.0ms

Algorithm
intervals
Results
22.0ms499×body80valid

simplify88.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 9 (74.0ms)

IterNodesCost
0216
1526
21716
34016
48296
510906
616106
719566
822526
923675
1023675

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 5.6b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- t (* z z))
5.2b
(* (* y 4.0) (- t (* z z)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt prod-diff
7×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
5×distribute-rgt-in distribute-lft-in
4×associate-*r* add-log-exp
3×sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ flip-- log1p-expm1-u difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 54
Calls
2 calls:
3.0ms
(- t (* z z))
7.0ms
(* (* y 4.0) (- t (* z z)))

series112.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(- t (* z z))
77.0ms
(* (* y 4.0) (- t (* z z)))

simplify39.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0257349
11187299
25001292

prune121.0ms

Filtered
60 candidates to 39 candidates (65.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New54660
Fresh000
Picked011
Done000
Total54761

Merged error: 2.7b

Counts
61 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

4.4b
(cbrt (* (* y 4.0) (- t (* z z))))
5.2b
(* (* y 4.0) (- t (* z z)))
5.2b
(* (* y 4.0) (- t (* z z)))
5.2b
(* (* y 4.0) (- t (* z z)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-exp-log add-cbrt-cube
18×prod-diff
16×add-sqr-sqrt
15×distribute-rgt-in distribute-lft-in
13×add-cube-cbrt *-un-lft-identity
12×associate-*r*
9×pow-prod-down prod-exp cbrt-unprod
8×associate-*r/
6×sub-neg
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×associate-*l* *-commutative difference-of-squares
2×cbrt-div
1×cbrt-prod pow1/3
Counts
4 → 112
Calls
4 calls:
5.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
7.0ms
(* (* y 4.0) (- t (* z z)))
7.0ms
(* (* y 4.0) (- t (* z z)))
7.0ms
(* (* y 4.0) (- t (* z z)))

series536.0ms

Counts
4 → 12
Calls
4 calls:
311.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
71.0ms
(* (* y 4.0) (- t (* z z)))
77.0ms
(* (* y 4.0) (- t (* z z)))
76.0ms
(* (* y 4.0) (- t (* z z)))

simplify46.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0331878
11356753
25001735

prune268.0ms

Filtered
124 candidates to 75 candidates (60.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1231124
Fresh145
Picked011
Done011
Total1247131

Merged error: 2.7b

Counts
131 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

4.4b
(cbrt (* (* y 4.0) (- t (* z z))))
5.2b
(* (* y 4.0) (- t (* z z)))
5.2b
(* (* y 4.0) (- t (* z z)))
5.8b
(cbrt (- t (* z z)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
12×prod-diff
11×add-cube-cbrt *-un-lft-identity
10×distribute-rgt-in distribute-lft-in
8×associate-*r*
6×associate-*r/ pow-prod-down prod-exp cbrt-unprod
5×cbrt-prod
4×expm1-log1p-u sub-neg cbrt-div flip3-- flip-- log1p-expm1-u add-log-exp
3×difference-of-squares
2×pow1/3 associate-*l* *-commutative
Counts
4 → 95
Calls
4 calls:
5.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
7.0ms
(* (* y 4.0) (- t (* z z)))
7.0ms
(* (* y 4.0) (- t (* z z)))
3.0ms
(cbrt (- t (* z z)))

series962.0ms

Counts
4 → 12
Calls
4 calls:
352.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
78.0ms
(* (* y 4.0) (- t (* z z)))
74.0ms
(* (* y 4.0) (- t (* z z)))
458.0ms
(cbrt (- t (* z z)))

simplify50.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0418760
11560666
25001647

prune310.0ms

Filtered
107 candidates to 74 candidates (69.2%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1052107
Fresh044
Picked101
Done022
Total1068114

Merged error: 2.7b

Counts
114 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

4.4b
(cbrt (* (* y 4.0) (- t (* z z))))
5.2b
(* (* y 4.0) (- t (* z z)))
5.8b
(cbrt (- t (* z z)))
5.8b
(cbrt (- t (* z z)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
9×pow1 add-exp-log cbrt-prod add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×cbrt-div prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u flip3-- associate-*r/ associate-*r* flip-- log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod difference-of-squares
2×sub-neg
1×associate-*l* *-commutative
Counts
4 → 78
Calls
4 calls:
5.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
7.0ms
(* (* y 4.0) (- t (* z z)))
2.0ms
(cbrt (- t (* z z)))
2.0ms
(cbrt (- t (* z z)))

series867.0ms

Counts
4 → 12
Calls
4 calls:
285.0ms
(cbrt (* (* y 4.0) (- t (* z z))))
71.0ms
(* (* y 4.0) (- t (* z z)))
255.0ms
(cbrt (- t (* z z)))
256.0ms
(cbrt (- t (* z z)))

simplify47.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0418642
11560579
25001562

prune286.0ms

Filtered
90 candidates to 73 candidates (81.1%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New90090
Fresh055
Picked011
Done022
Total90898

Merged error: 2.7b

Counts
98 → 8

regimes257.0ms

Accuracy

78.9% (0.7b remaining)

Error of 3.3b against oracle of 2.6b and baseline of 5.9b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02414
12414

end0.0ms

sample986.0ms

Algorithm
intervals
Results
596.0ms15729×body80valid