Details

sample43.0ms

Algorithm

intervals

Results

23.0ms

431×

body

valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	10
1	112	10
2	384	10
3	1568	10
4	5001	10

prune3.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(* (- y 1.0) z)
0.0b	(* (- t 1.0) a)
0.0b	(* (- (+ y t) 2.0) b)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
16×	`associate-l`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-*l/` `add-cbrt-cube`
9×	`associate-r` `add-log-exp`
8×	`flip3--` `flip--`
4×	`frac-sub` `distribute-lft-out--`
3×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
2×	`sub-neg` `associate--l+`
1×	`associate--l-` `distribute-lft-out`

Counts

4 → 87

Calls

4 calls:

6.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
6.0ms	(* (- y 1.0) z)
6.0ms	(* (- t 1.0) a)
8.0ms	(* (- (+ y t) 2.0) b)

series181.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
28.0ms	(* (- y 1.0) z)
34.0ms	(* (- t 1.0) a)
27.0ms	(* (- (+ y t) 2.0) b)

simplify57.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	520	593
1	2119	539
2	5002	539

prune298.0ms

Filtered

99 candidates to 66 candidates (66.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	96	4	100

Merged error: 0.0b

Counts

100 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* (cbrt (- (+ y t) 2.0)) b))
0.7b	(cbrt (- (+ y t) 2.0))
0.7b	(cbrt (- (+ y t) 2.0))
0.7b	(cbrt (- (+ y t) 2.0))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
32×	`associate-*l/`
30×	`flip3--` `flip--`
28×	`frac-times`
22×	`*-un-lft-identity`
18×	`cbrt-prod`
16×	`pow1` `add-exp-log`
13×	`add-sqr-sqrt`
10×	`add-cbrt-cube`
8×	`associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt`
6×	`distribute-lft-out--`
4×	`add-log-exp`
3×	`pow1/3` `distribute-lft-out` `difference-of-squares`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 96

Calls

4 calls:

25.0ms	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* (cbrt (- (+ y t) 2.0)) b))
5.0ms	(cbrt (- (+ y t) 2.0))
5.0ms	(cbrt (- (+ y t) 2.0))
9.0ms	(cbrt (- (+ y t) 2.0))

series371.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (* (cbrt (- (+ y t) 2.0)) (cbrt (- (+ y t) 2.0))) (* (cbrt (- (+ y t) 2.0)) b))
112.0ms	(cbrt (- (+ y t) 2.0))
106.0ms	(cbrt (- (+ y t) 2.0))
107.0ms	(cbrt (- (+ y t) 2.0))

simplify48.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	478	1498
1	1296	1311
2	5001	1243

prune335.0ms

Filtered

108 candidates to 69 candidates (63.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	108	4	112

Merged error: 0.0b

Counts

112 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- y 1.0) z)
0.0b	(* (- (+ y t) 2.0) b)
2.7b	(* (- (pow t 3) (pow 1.0 3)) a)
12.3b	(/ (* (- (pow t 3) (pow 1.0 3)) a) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
36×	`associate-l`
29×	`*-un-lft-identity`
18×	`difference-of-squares`
15×	`add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt` `unpow-prod-down` `cube-prod`
10×	`pow1`
9×	`associate-r`
8×	`associate-*l/` `distribute-lft-out--` `sqr-pow`
4×	`flip3--` `prod-exp` `flip--` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `pow-prod-down` `associate-/r` `-commutative` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `associate-/l/`
1×	`difference-cubes` `frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

4 → 112

Calls

4 calls:

6.0ms	(* (- y 1.0) z)
11.0ms	(* (- (+ y t) 2.0) b)
15.0ms	(* (- (pow t 3) (pow 1.0 3)) a)
19.0ms	(/ (* (- (pow t 3) (pow 1.0 3)) a) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))

series178.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (- y 1.0) z)
26.0ms	(* (- (+ y t) 2.0) b)
38.0ms	(* (- (pow t 3) (pow 1.0 3)) a)
81.0ms	(/ (* (- (pow t 3) (pow 1.0 3)) a) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))

simplify70.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	562	840
1	2556	718
2	5001	712

prune409.0ms

Filtered

124 candidates to 81 candidates (65.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	124	4	128

Merged error: 0.0b

Counts

128 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- y 1.0) z)
0.0b	(* (- (+ y t) 2.0) b)
1.0b	(/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t)))
13.8b	(* (- (pow t 3) (pow 1.0 3)) (/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
36×	`associate-l`
30×	`*-un-lft-identity`
27×	`add-exp-log`
22×	`add-cbrt-cube`
18×	`difference-of-squares`
15×	`associate-r`
13×	`add-cube-cbrt`
12×	`unpow-prod-down` `cube-prod`
10×	`pow1` `prod-exp`
8×	`distribute-lft-out--` `sqr-pow`
7×	`cbrt-unprod`
6×	`times-frac` `div-exp` `associate-*l/`
4×	`cbrt-undiv` `flip3--` `associate-/r/` `flip--` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `unswap-sqr`
2×	`frac-times` `flip3-+` `1-exp` `flip-+` `div-inv`
1×	`difference-cubes` `frac-2neg` `associate-r/` `clear-num` `distribute-lft-out` `associate-/l`

Counts

4 → 125

Calls

4 calls:

6.0ms	(* (- y 1.0) z)
9.0ms	(* (- (+ y t) 2.0) b)
10.0ms	(/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t)))
25.0ms	(* (- (pow t 3) (pow 1.0 3)) (/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t))))

series215.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (- y 1.0) z)
30.0ms	(* (- (+ y t) 2.0) b)
77.0ms	(/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t)))
80.0ms	(* (- (pow t 3) (pow 1.0 3)) (/ (* a 1) (+ (* 1.0 (+ 1.0 t)) (* t t))))

simplify86.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	676	1144
1	3066	985
2	5001	984

prune621.0ms

Filtered

137 candidates to 89 candidates (65.0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	137	4	141

Merged error: 0.0b

Counts

141 → 4

regimes206.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	10
1	23	10

end0.0ms

sample1.2s

Algorithm

intervals

Results

730.0ms	12338×	body	80	valid
0.0ms	1×	body	160	valid
0.0ms	1×	body	320	valid

Details

sample43.0ms

simplify42.0ms

prune3.0ms

localize19.0ms

rewrite29.0ms

series181.0ms

simplify57.0ms

prune298.0ms

localize18.0ms

rewrite48.0ms

series371.0ms

simplify48.0ms

prune335.0ms

localize24.0ms

rewrite56.0ms

series178.0ms

simplify70.0ms

prune409.0ms

localize27.0ms

rewrite55.0ms

series215.0ms

simplify86.0ms

prune621.0ms

regimes206.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling