Details

sample35.0ms

Algorithm

intervals

Results

17.0ms

349×

body

valid

simplify126.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	35	8
1	93	7
2	260	7
3	565	7
4	762	7
5	984	7
6	1021	7
7	1186	7
8	1552	7
9	2112	7
10	2112	7

prune9.0ms

Filtered

1 candidates to 1 candidates (100.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: 3.3b

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
0.2b	(* (* y 9.0) z)
6.8b	(* (* (* y 9.0) z) t)

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

614×	`associate-l`
515×	`add-sqr-sqrt`
396×	`prod-diff`
225×	`associate-r`
216×	`*-un-lft-identity`
200×	`add-cube-cbrt`
184×	`unswap-sqr`
75×	`*-commutative`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`fma-neg`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`distribute-lft-out--` `difference-of-squares`
6×	`add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef`

Counts

4 → 528

Calls

4 calls:

42.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
1.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
8.0ms	(* (* y 9.0) z)
13.0ms	(* (* (* y 9.0) z) t)

series296.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
171.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
19.0ms	(* (* y 9.0) z)
28.0ms	(* (* (* y 9.0) z) t)

simplify283.0ms

Algorithm

egg-herbie

Counts

540 → 540

Iterations

Useful iterations: 1 (41.0ms)

Iter	Nodes	Cost
0	1510	11043
1	4974	8292
2	5001	8292

prune995.0ms

Filtered

540 candidates to 201 candidates (37.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	535	5	540
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	536	6	542

Merged error: 0.0b

Counts

542 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* 9.0 (* t (* z y))))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* t (* z y)))))
0.2b	(* 9.0 (* t (* z y)))
6.8b	(* t (* z y))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

598×	`associate-r`
515×	`add-sqr-sqrt`
396×	`prod-diff`
229×	`associate-l`
208×	`*-un-lft-identity`
200×	`add-cube-cbrt`
184×	`unswap-sqr`
75×	`*-commutative`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`fma-neg`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`difference-of-squares`
6×	`add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef`

Counts

4 → 524

Calls

4 calls:

38.0ms	(- (* x 2.0) (* 9.0 (* t (* z y))))
1.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* t (* z y)))))
19.0ms	(* 9.0 (* t (* z y)))
8.0ms	(* t (* z y))

series307.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(- (* x 2.0) (* 9.0 (* t (* z y))))
164.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* t (* z y)))))
37.0ms	(* 9.0 (* t (* z y)))
27.0ms	(* t (* z y))

simplify132.0ms

Algorithm

egg-herbie

Counts

536 → 536

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1483	11027
1	5001	8240

prune993.0ms

Filtered

536 candidates to 198 candidates (36.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	535	1	536
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	537	5	542

Merged error: 0.0b

Counts

542 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* 9.0 (* (* t y) z)))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* (* t y) z))))
0.2b	(* 9.0 (* (* t y) z))
7.7b	(* (* t y) z)

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

515×	`add-sqr-sqrt`
472×	`associate-r`
396×	`prod-diff`
355×	`associate-l`
208×	`*-un-lft-identity`
200×	`add-cube-cbrt`
184×	`unswap-sqr`
75×	`*-commutative`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`fma-neg`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`difference-of-squares`
6×	`add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef`

Counts

4 → 524

Calls

4 calls:

38.0ms	(- (* x 2.0) (* 9.0 (* (* t y) z)))
1.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* (* t y) z))))
15.0ms	(* 9.0 (* (* t y) z))
8.0ms	(* (* t y) z)

series306.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(- (* x 2.0) (* 9.0 (* (* t y) z)))
165.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* 9.0 (* (* t y) z))))
37.0ms	(* 9.0 (* (* t y) z))
26.0ms	(* (* t y) z)

simplify135.0ms

Algorithm

egg-herbie

Counts

536 → 536

Iterations

Useful iterations: 1 (44.0ms)

Iter	Nodes	Cost
0	1510	11019
1	5001	8268

prune1.0s

Filtered

536 candidates to 201 candidates (37.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	536	0	536
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	536	5	541

Merged error: 0.0b

Counts

541 → 5

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x 2.0) (* (* (* y 9.0) 1) (* z t)))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) 1) (* z t))))
5.4b	(* (* (* y 9.0) 1) (* z t))

rewrite428.0ms

Algorithm

rewrite-expression-head

Rules

1065×	`add-sqr-sqrt`
721×	`associate-l`
612×	`prod-diff`
572×	`unswap-sqr`
429×	`associate-r`
379×	`*-un-lft-identity`
275×	`add-cube-cbrt`
106×	`*-commutative`
36×	`add-exp-log`
27×	`prod-exp`
24×	`pow1` `add-cbrt-cube`
22×	`difference-of-squares`
15×	`pow-prod-down` `cbrt-unprod`
12×	`fma-neg`
10×	`distribute-lft-out--`
5×	`add-log-exp`
4×	`1-exp`
3×	`expm1-log1p-u` `log1p-expm1-u`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef`

Counts

3 → 758

Calls

3 calls:

61.0ms	(- (* x 2.0) (* (* (* y 9.0) 1) (* z t)))
1.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) 1) (* z t))))
20.0ms	(* (* (* y 9.0) 1) (* z t))

series280.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(- (* x 2.0) (* (* (* y 9.0) 1) (* z t)))
174.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) 1) (* z t))))
29.0ms	(* (* (* y 9.0) 1) (* z t))

simplify215.0ms

Algorithm

egg-herbie

Counts

767 → 767

Iterations

Useful iterations: 1 (55.0ms)

Iter	Nodes	Cost
0	2361	20830
1	5002	13266

prune1.1s

Filtered

767 candidates to 196 candidates (25.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	767	0	767
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	767	5	772

Merged error: 0.0b

Counts

772 → 5

regimes575.0ms

Accuracy

80.4% (0.7b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	31
1	43	31

end0.0ms

sample808.0ms

Algorithm

intervals

Results

439.0ms

10885×

body

valid