Details

sample34.0ms

Algorithm

intervals

Results

13.0ms	340×	body	80	valid
1.0ms	3×	body	1280	valid
0.0ms	3×	body	160	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	399	13
1	399	13

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-log-exp`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`flip3-+` `associate-r` `associate-l` `flip-+`
2×	`+-commutative` `distribute-rgt-in` `associate-+l+` `distribute-lft-in` `associate-*r/` `sum-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 46

Calls

3 calls:

6.0ms	(+ (* (+ y z) 2) t)
10.0ms	(+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))
9.0ms	(* x (+ (* (+ y z) 2) t))

series31.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (* (+ y z) 2) t)
14.0ms	(+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))
11.0ms	(* x (+ (* (+ y z) 2) t))

simplify19.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	5026	662

prune93.0ms

Filtered

41 candidates to 55 candidates (-34.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	7	56

Merged error: 0.0b

Counts

56 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `sum-log`
3×	`flip3-+` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`+-commutative` `associate-r/` `associate-l/`
1×	`associate-+l+` `associate-r` `*-commutative` `distribute-lft-out`

Counts

3 → 45

Calls

3 calls:

7.0ms	(* x (* (+ y z) 2))
9.0ms	(+ (+ (* x (* (+ y z) 2)) (* x t)) (* y 5.0))
8.0ms	(+ (* x (* (+ y z) 2)) (* x t))

series36.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* x (* (+ y z) 2))
16.0ms	(+ (+ (* x (* (+ y z) 2)) (* x t)) (* y 5.0))
11.0ms	(+ (* x (* (+ y z) 2)) (* x t))

simplify44.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5487	633

prune70.0ms

Filtered

34 candidates to 54 candidates (-58.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	54	7	61

Merged error: 0.0b

Counts

61 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ (* (+ y z) 2) t)) (cbrt (+ (* (+ y z) 2) t)))
0.5b	(cbrt (+ (* (+ y z) 2) t))
0.5b	(cbrt (+ (* (+ y z) 2) t))
0.5b	(cbrt (+ (* (+ y z) 2) t))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

14.0ms	(* (cbrt (+ (* (+ y z) 2) t)) (cbrt (+ (* (+ y z) 2) t)))
6.0ms	(cbrt (+ (* (+ y z) 2) t))
5.0ms	(cbrt (+ (* (+ y z) 2) t))
5.0ms	(cbrt (+ (* (+ y z) 2) t))

series186.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (cbrt (+ (* (+ y z) 2) t)) (cbrt (+ (* (+ y z) 2) t)))
43.0ms	(cbrt (+ (* (+ y z) 2) t))
41.0ms	(cbrt (+ (* (+ y z) 2) t))
44.0ms	(cbrt (+ (* (+ y z) 2) t))

simplify30.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5378	1500

prune217.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	98	8	106

Merged error: 0.0b

Counts

106 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

8.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
8.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
8.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
20.0ms	(* (cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))) (cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))))

series315.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
64.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
66.0ms	(cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0)))
119.0ms	(* (cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))) (cbrt (+ (* x (+ (* (+ y z) 2) t)) (* y 5.0))))

simplify44.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5132	2596

prune273.0ms

Filtered

84 candidates to 99 candidates (-17.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	4	4
Picked	0	1	1
Done	1	2	3
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

regimes355.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	20	15
1	20	15

end0.0ms

sample951.0ms

Algorithm

intervals

Results

422.0ms	10652×	body	80	valid
17.0ms	92×	body	1280	valid
12.0ms	86×	body	640	valid
6.0ms	53×	body	320	valid
3.0ms	39×	body	160	valid

Details

sample34.0ms

simplify8.0ms

prune9.0ms

localize14.0ms

rewrite25.0ms

series31.0ms

simplify19.0ms

prune93.0ms

localize11.0ms

rewrite25.0ms

series36.0ms

simplify44.0ms

prune70.0ms

localize13.0ms

rewrite33.0ms

series186.0ms

simplify30.0ms

prune217.0ms

localize15.0ms

rewrite47.0ms

series315.0ms

simplify44.0ms

prune273.0ms

regimes355.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample951.0ms

Profiling