Details

analyze211.0ms

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
12.5%	12.5%	75%	2
12.5%	12.5%	75%	3
18.7%	6.2%	75%	4
21.8%	3.1%	75%	5
23.4%	1.6%	75%	6
23.4%	1.6%	75%	7
24.2%	0.8%	75%	8
24.2%	0.8%	75%	9
24.6%	0.4%	75%	10
24.6%	0.4%	75%	11
24.8%	0.2%	75%	12
24.8%	0.2%	75%	13
24.9%	0.1%	75%	14

sample70.0ms

Algorithm

intervals

Results

25.0ms	54×	body	1280	valid
12.0ms	40×	body	640	valid
9.0ms	128×	body	80	valid
5.0ms	256×	pre	80	true
4.0ms	21×	body	320	valid
2.0ms	13×	body	160	valid

simplify436.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	11
1	22	11

prune11.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

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (sin v) (+ 1.0 (* e (cos v))))
0.1b	(* e (/ (sin v) (+ 1.0 (* e (cos v)))))
0.1b	(* e (cos v))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
12×	`add-exp-log` `add-cbrt-cube`
7×	`pow1`
6×	`associate-l`
4×	`associate-/r/`
3×	`prod-exp` `associate-/r` `cbrt-unprod` `associate-/l` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `flip3-+` `div-exp` `pow-prod-down` `*-commutative` `flip-+` `div-inv`
1×	`frac-2neg` `associate-*r/` `clear-num`

Counts

3 → 81

Calls

3 calls:

5.0ms	(/ (sin v) (+ 1.0 (* e (cos v))))
8.0ms	(* e (/ (sin v) (+ 1.0 (* e (cos v)))))
6.0ms	(* e (cos v))

series49.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(/ (sin v) (+ 1.0 (* e (cos v))))
20.0ms	(* e (/ (sin v) (+ 1.0 (* e (cos v)))))
15.0ms	(* e (cos v))

simplify58.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5110	1103

prune131.0ms

Filtered

71 candidates to 90 candidates (-26.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	83	7	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	83	8	91

Merged error: 0.0b

Counts

91 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (sin v) (+ (* e (cos v)) 1.0))
0.1b	(* e (cos v))
0.3b	(* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0)))
0.3b	(* (sqrt e) (* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `*-un-lft-identity`
22×	`add-exp-log` `add-cbrt-cube`
20×	`times-frac`
19×	`associate-r`
15×	`associate-l`
13×	`pow1`
8×	`prod-exp` `sqrt-prod` `cbrt-unprod`
5×	`pow-prod-down` `unswap-sqr`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `associate-r/` `div-exp` `associate-/r` `-commutative` `associate-/l`
2×	`flip3-+` `flip-+` `div-inv`
1×	`frac-2neg` `clear-num`

Counts

4 → 110

Calls

4 calls:

6.0ms	(/ (sin v) (+ (* e (cos v)) 1.0))
4.0ms	(* e (cos v))
11.0ms	(* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0)))
12.0ms	(* (sqrt e) (* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0))))

series87.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (sin v) (+ (* e (cos v)) 1.0))
6.0ms	(* e (cos v))
38.0ms	(* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0)))
29.0ms	(* (sqrt e) (* (sqrt e) (/ (sin v) (+ (* e (cos v)) 1.0))))

simplify38.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4978	1756
1	4978	1756

prune148.0ms

Filtered

88 candidates to 122 candidates (-38.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	122	8	130

Merged error: 0.0b

Counts

130 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(sqrt (sqrt e))
0.2b	(* (sqrt (sqrt e)) (* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))))
0.3b	(* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))
0.3b	(* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
37×	`sqrt-prod`
32×	`add-exp-log` `add-cbrt-cube`
30×	`associate-l`
22×	`pow1`
21×	`add-cube-cbrt` `*-un-lft-identity`
16×	`prod-exp` `cbrt-unprod`
12×	`times-frac`
11×	`associate-r`
10×	`pow-prod-down`
6×	`unswap-sqr`
4×	`sqrt-pow1` `add-log-exp`
3×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `*-commutative`
2×	`rem-sqrt-square` `pow1/2` `associate-/r/`
1×	`flip3-+` `flip-+` `div-inv`

Counts

4 → 117

Calls

4 calls:

2.0ms	(sqrt (sqrt e))
16.0ms	(* (sqrt (sqrt e)) (* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))))
12.0ms	(* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))
12.0ms	(* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e))))

series116.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(sqrt (sqrt e))
28.0ms	(* (sqrt (sqrt e)) (* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))))
26.0ms	(* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e)))
46.0ms	(* (sqrt e) (* (/ (sin v) (+ (* e (cos v)) 1.0)) (sqrt (sqrt e))))

simplify68.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4942	2047
1	4942	2047

prune152.0ms

Filtered

84 candidates to 129 candidates (-53.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	129	8	137

Merged error: 0.0b

Counts

137 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt e) (cbrt e))
0.7b	(cbrt e)
0.7b	(cbrt e)
0.7b	(cbrt e)

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×	`add-cbrt-cube` `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 → 73

Calls

4 calls:

5.0ms	(* (cbrt e) (cbrt e))
1.0ms	(cbrt e)
1.0ms	(cbrt e)
1.0ms	(cbrt e)

series91.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt e) (cbrt e))
21.0ms	(cbrt e)
21.0ms	(cbrt e)
22.0ms	(cbrt e)

simplify45.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5165	356

prune86.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	85	8	93

Merged error: 0.0b

Counts

93 → 8

regimes121.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	11
1	12	11

end0.0ms

sample1.9s

Algorithm

intervals

Results

712.0ms	1499×	body	1280	valid
373.0ms	1280×	body	640	valid
286.0ms	4274×	body	80	valid
146.0ms	8000×	pre	80	true
126.0ms	622×	body	320	valid
46.0ms	325×	body	160	valid

Details

analyze211.0ms

sample70.0ms

simplify436.0ms

prune11.0ms

localize12.0ms

rewrite23.0ms

series49.0ms

simplify58.0ms

prune131.0ms

localize13.0ms

rewrite39.0ms

series87.0ms

simplify38.0ms

prune148.0ms

localize18.0ms

rewrite47.0ms

series116.0ms

simplify68.0ms

prune152.0ms

localize21.0ms

rewrite11.0ms

series91.0ms

simplify45.0ms

prune86.0ms

regimes121.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling