Details

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

sample142.0ms

Algorithm

intervals

Results

52.0ms	92×	body	1280	valid
35.0ms	97×	body	640	valid
16.0ms	45×	body	1280	invalid
8.0ms	40×	body	320	valid
7.0ms	31×	body	640	invalid
4.0ms	64×	body	80	invalid
3.0ms	16×	body	320	invalid
2.0ms	18×	body	160	valid
1.0ms	7×	body	160	invalid
1.0ms	9×	body	80	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	11
1	23	11

prune7.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: 44.0b

Counts

2 → 1

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.3b	(- (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))

series22.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5258	469

prune64.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	3	44

Merged error: 0.1b

Counts

44 → 3

localize14.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))))

rewrite29.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))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify31.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5569	1143

prune205.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	95	6	101
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	95	9	104

Merged error: 0.0b

Counts

104 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (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)))))))
14.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
14.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
14.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

rewrite41.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:

9.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))))))

series345.0ms

Counts

4 → 12

Calls

4 calls:

111.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)))))))
78.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))))))
77.0ms	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))

simplify63.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4933	2611
1	4933	2611

prune487.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	79	14	93

Merged error: 0.0b

Counts

93 → 14

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (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)))))))
14.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
14.7b	(cbrt (* 0.5 (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))))
14.8b	(cbrt (* (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`
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:

9.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))))))
7.0ms	(cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))

series339.0ms

Counts

4 → 12

Calls

4 calls:

110.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)))))))
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))))))
74.0ms	(cbrt (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))

simplify63.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4956	2660
1	4956	2660

prune449.0ms

Filtered

70 candidates to 84 candidates (-20.0%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	2	9	11
Picked	0	1	1
Done	1	1	2
Total	84	14	98

Merged error: 0.0b

Counts

98 → 14

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

analyze355.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.6s

Algorithm

intervals

Results

1.9s	3281×	body	1280	valid
843.0ms	2522×	body	640	valid
533.0ms	1476×	body	1280	invalid
325.0ms	1258×	body	640	invalid
268.0ms	1259×	body	320	valid
155.0ms	2311×	body	80	invalid
103.0ms	565×	body	320	invalid
89.0ms	677×	body	160	valid
42.0ms	339×	body	160	invalid
18.0ms	261×	body	80	valid

Details

analyze351.0ms

sample142.0ms

simplify3.0ms

prune7.0ms

localize14.0ms

rewrite17.0ms

series22.0ms

simplify51.0ms

prune64.0ms

localize14.0ms

rewrite29.0ms

series55.0ms

simplify31.0ms

prune205.0ms

localize21.0ms

rewrite41.0ms

series345.0ms

simplify63.0ms

prune487.0ms

localize25.0ms

rewrite36.0ms

series339.0ms

simplify63.0ms

prune449.0ms

regimes475.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze355.0ms

sample4.6s

Profiling