Details

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

64.0ms	110×	body	1280	valid
21.0ms	70×	body	640	valid
17.0ms	51×	body	1280	invalid
10.0ms	43×	body	640	invalid
8.0ms	39×	body	320	valid
5.0ms	85×	body	80	invalid
4.0ms	27×	body	320	invalid
4.0ms	30×	body	160	valid
2.0ms	16×	body	160	invalid
0.0ms	7×	body	80	valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	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: 42.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)))
7.0b	(- (exp (neg im)) (exp im))

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

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

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

simplify42.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5022	469

prune62.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.1b

Counts

44 → 2

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

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:

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

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

simplify37.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	6066	1143

prune191.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 0.0b

Counts

103 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (pow im 5) -1/60)
0.1b	(* (* 0.5 (sin re)) (+ (* im -2) (+ (log (pow (exp (pow im 3)) -1/3)) (* (pow im 5) -1/60))))
0.2b	(pow (exp (pow im 3)) -1/3)
1.7b	(log (pow (exp (pow im 3)) -1/3))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 94

Calls

4 calls:

5.0ms	(* (pow im 5) -1/60)
9.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (log (pow (exp (pow im 3)) -1/3)) (* (pow im 5) -1/60))))
6.0ms	(pow (exp (pow im 3)) -1/3)
4.0ms	(log (pow (exp (pow im 3)) -1/3))

series149.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (pow im 5) -1/60)
54.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (log (pow (exp (pow im 3)) -1/3)) (* (pow im 5) -1/60))))
24.0ms	(pow (exp (pow im 3)) -1/3)
66.0ms	(log (pow (exp (pow im 3)) -1/3))

simplify33.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5503	1107

prune231.0ms

Filtered

72 candidates to 106 candidates (-47.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	106	6	112

Merged error: 0.0b

Counts

112 → 6

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

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

series346.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5144	2632

prune408.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	81	9	90

Merged error: 0.0b

Counts

90 → 9

regimes520.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	22
1	26	22

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3326×	body	1280	valid
790.0ms	2501×	body	640	valid
538.0ms	1520×	body	1280	invalid
294.0ms	1261×	body	640	invalid
262.0ms	1265×	body	320	valid
149.0ms	2368×	body	80	invalid
108.0ms	625×	body	320	invalid
81.0ms	642×	body	160	valid
35.0ms	273×	body	160	invalid
17.0ms	266×	body	80	valid

Details

analyze335.0ms

sample151.0ms

simplify50.0ms

prune7.0ms

localize10.0ms

rewrite21.0ms

series21.0ms

simplify42.0ms

prune62.0ms

localize15.0ms

rewrite29.0ms

series58.0ms

simplify37.0ms

prune191.0ms

localize18.0ms

rewrite26.0ms

series149.0ms

simplify33.0ms

prune231.0ms

localize21.0ms

rewrite44.0ms

series346.0ms

simplify58.0ms

prune408.0ms

regimes520.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.5s

Profiling