Details

sample27.0ms

Algorithm

intervals

Results

13.0ms	352×	body	80	valid
0.0ms	3×	body	1280	valid
0.0ms	3×	body	640	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	160	valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (10.0ms)

Iter	Nodes	Cost
0	31	6
1	92	6
2	309	6
3	880	5
4	1630	5
5	1872	5
6	1886	5
7	1886	5

prune10.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: 0.0b

Counts

2 → 2

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma (+ y z) (+ x x) (fma t x (* y 5.0)))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (+ y z) (+ x x) (fma t x (* y 5.0)))

series51.0ms

Counts

1 → 3

Calls

1 calls:

51.0ms

(fma (+ y z) (+ x x) (fma t x (* y 5.0)))

simplify120.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	52	86
1	120	75
2	473	73
3	4278	71
4	5001	71

prune42.0ms

Filtered

13 candidates to 12 candidates (92.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	11	4	15

Merged error: 0.0b

Counts

15 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ y z) z)
0.0b	(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
0.0b	(+ (+ (+ y z) z) y)
0.3b	(* x (+ (+ (+ (+ y z) z) y) t))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
23×	`distribute-lft-out`
20×	`add-log-exp`
10×	`add-sqr-sqrt` `fma-def` `sum-log`
8×	`add-cube-cbrt`
7×	`associate-r`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`expm1-log1p-u` `associate-+l+` `flip3-+` `flip-+` `log1p-expm1-u`
3×	`+-commutative` `associate-l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 89

Calls

4 calls:

6.0ms	(+ (+ y z) z)
18.0ms	(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
9.0ms	(+ (+ (+ y z) z) y)
15.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

series149.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ (+ y z) z)
58.0ms	(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
30.0ms	(+ (+ (+ y z) z) y)
38.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

simplify55.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	402	503
1	1821	449
2	5001	430

prune184.0ms

Filtered

101 candidates to 75 candidates (74.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	101	4	105

Merged error: 0.0b

Counts

105 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
0.5b	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
0.5b	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
0.6b	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

1.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
1.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
1.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
6.0ms	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

series2.1s

Counts

4 → 12

Calls

4 calls:

416.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
418.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
408.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
841.0ms	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

simplify111.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	372	1307
1	1168	1206
2	4541	1107
3	5001	1099

prune286.0ms

Filtered

93 candidates to 72 candidates (77.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	90	7	97

Merged error: 0.0b

Counts

97 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
0.5b	(cbrt (* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))))
0.5b	(cbrt (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))
0.6b	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

29×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 82

Calls

4 calls:

1.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
4.0ms	(cbrt (* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))))
2.0ms	(cbrt (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))
6.0ms	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

series2.6s

Counts

4 → 12

Calls

4 calls:

413.0ms	(cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))
874.0ms	(cbrt (* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0))))))
432.0ms	(cbrt (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))
844.0ms	(* (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))) (cbrt (fma (+ y z) (+ x x) (fma t x (* y 5.0)))))

simplify56.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	611	1451
1	1806	1331
2	5001	1229

prune339.0ms

Filtered

94 candidates to 74 candidates (78.7%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	93	8	101

Merged error: 0.0b

Counts

101 → 8

regimes188.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	5
1	12	5

end0.0ms

sample697.0ms

Algorithm

intervals

Results

391.0ms	10556×	body	80	valid
15.0ms	113×	body	640	valid
14.0ms	83×	body	1280	valid
7.0ms	70×	body	320	valid
2.0ms	27×	body	160	valid

Details

sample27.0ms

simplify56.0ms

prune10.0ms

localize9.0ms

rewrite1.0ms

series51.0ms

simplify120.0ms

prune42.0ms

localize10.0ms

rewrite50.0ms

series149.0ms

simplify55.0ms

prune184.0ms

localize13.0ms

rewrite11.0ms

series2.1s

simplify111.0ms

prune286.0ms

localize19.0ms

rewrite14.0ms

series2.6s

simplify56.0ms

prune339.0ms

regimes188.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample697.0ms

Profiling