Details

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

sample151.0ms

Algorithm

intervals

Results

59.0ms	103×	body	1280	valid
32.0ms	90×	body	640	valid
17.0ms	52×	body	1280	invalid
9.0ms	41×	body	640	invalid
8.0ms	37×	body	320	valid
4.0ms	73×	body	80	invalid
3.0ms	21×	body	160	valid
3.0ms	16×	body	320	invalid
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: 43.4b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

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

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

series20.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5258	469

prune72.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	38	5	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	5	44

Merged error: 0.1b

Counts

44 → 5

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

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)
9.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
6.0ms	(* (pow im 3) -1/3)

series57.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify29.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5569	1143

prune208.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	94	12	106

Merged error: 0.0b

Counts

106 → 12

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

16.0ms	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))
5.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
7.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))
6.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))
19.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
20.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))
20.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))

simplify63.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4941	2878
1	4941	2878

prune534.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	97	14	111

Merged error: 0.0b

Counts

111 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

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

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

series342.0ms

Counts

4 → 12

Calls

4 calls:

110.0ms	(* (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))))
75.0ms	(cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))
77.0ms	(cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))
79.0ms	(cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))

simplify46.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4951	2628
1	4951	2628

prune388.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	3	8	11
Picked	0	1	1
Done	0	2	2
Total	85	13	98

Merged error: 0.0b

Counts

98 → 13

regimes503.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	20
1	25	20

end0.0ms

analyze337.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.5s

Algorithm

intervals

Results

1.9s	3296×	body	1280	valid
842.0ms	2607×	body	640	valid
512.0ms	1459×	body	1280	invalid
301.0ms	1265×	body	640	invalid
248.0ms	1223×	body	320	valid
148.0ms	2481×	body	80	invalid
104.0ms	579×	body	320	invalid
83.0ms	649×	body	160	valid
43.0ms	299×	body	160	invalid
14.0ms	225×	body	80	valid

Details

analyze340.0ms

sample151.0ms

simplify3.0ms

prune6.0ms

localize10.0ms

rewrite16.0ms

series20.0ms

simplify49.0ms

prune72.0ms

localize14.0ms

rewrite26.0ms

series57.0ms

simplify29.0ms

prune208.0ms

localize23.0ms

rewrite39.0ms

series85.0ms

simplify63.0ms

prune534.0ms

localize20.0ms

rewrite40.0ms

series342.0ms

simplify46.0ms

prune388.0ms

regimes503.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze337.0ms

sample4.5s

Profiling