Details

analyze338.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample152.0ms

Algorithm

intervals

Results

62.0ms	113×	body	1280	valid
25.0ms	81×	body	640	valid
19.0ms	58×	body	1280	invalid
10.0ms	42×	body	640	invalid
8.0ms	94×	body	80	invalid
7.0ms	35×	body	320	valid
3.0ms	17×	body	320	invalid
3.0ms	22×	body	160	valid
1.0ms	12×	body	160	invalid
0.0ms	5×	body	80	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	11
1	23	11

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 45.8b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.1b	(- (exp (neg im)) (exp im))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
5×	`associate-r`
4×	`add-log-exp`
3×	`add-cube-cbrt` `sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-l` `*-commutative`

Counts

2 → 37

Calls

2 calls:

10.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

series24.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify46.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5258	469

prune67.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.1b

Counts

44 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
0.1b	(* (pow im 5) -1/60)
0.1b	(* (pow im 3) -1/3)
0.1b	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`associate-l`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `associate-r` `prod-exp`
8×	`unpow-prod-down`
7×	`unswap-sqr`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`pow-to-exp` `flip3-+` `associate-*r/` `pow-exp` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `distribute-lft-in` `unpow3` `sum-log`

Counts

4 → 89

Calls

4 calls:

4.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)
5.0ms	(* (pow im 3) -1/3)
10.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

series56.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
4.0ms	(* (pow im 5) -1/60)
4.0ms	(* (pow im 3) -1/3)
37.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

simplify29.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5569	1143

prune186.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	96	5	101
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	96	7	103

Merged error: 0.1b

Counts

103 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
12.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
12.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
12.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

8.0ms	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
9.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
9.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
9.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

series350.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
79.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
79.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
82.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

simplify58.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4933	2611
1	4933	2611

prune441.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	81	10	91

Merged error: 0.0b

Counts

91 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (* (cbrt 0.5) (cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
12.7b	(cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
12.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
12.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

36×	`associate-*r/`
18×	`cbrt-div`
12×	`pow1/3`
9×	`pow1` `add-exp-log` `flip3-+` `flip-+`
7×	`pow-prod-down`
5×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
4×	`frac-times` `associate-l` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`associate-*l/`
1×	`swap-sqr` `associate-r` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 64

Calls

4 calls:

10.0ms	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (* (cbrt 0.5) (cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
7.0ms	(cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
9.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
9.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

series352.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(* (cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (* (cbrt 0.5) (cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))))
73.0ms	(cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
77.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
78.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

simplify50.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5132	2865

prune442.0ms

Filtered

65 candidates to 76 candidates (-16.9%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	73	13	86

Merged error: 0.0b

Counts

86 → 13

regimes487.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	20
1	25	20

end0.0ms

analyze344.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample4.7s

Algorithm

intervals

Results

2.1s	3288×	body	1280	valid
819.0ms	2529×	body	640	valid
515.0ms	1471×	body	1280	invalid
313.0ms	1262×	body	640	invalid
267.0ms	1307×	body	320	valid
154.0ms	2437×	body	80	invalid
101.0ms	589×	body	320	invalid
84.0ms	613×	body	160	valid
33.0ms	280×	body	160	invalid
21.0ms	263×	body	80	valid

Details

analyze338.0ms

sample152.0ms

simplify3.0ms

prune6.0ms

localize10.0ms

rewrite17.0ms

series24.0ms

simplify46.0ms

prune67.0ms

localize22.0ms

rewrite26.0ms

series56.0ms

simplify29.0ms

prune186.0ms

localize24.0ms

rewrite37.0ms

series350.0ms

simplify58.0ms

prune441.0ms

localize26.0ms

rewrite36.0ms

series352.0ms

simplify50.0ms

prune442.0ms

regimes487.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze344.0ms

sample4.7s

Profiling