Details

analyze362.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
25%	74.9%	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

sample103.0ms

Algorithm

intervals

Results

23.0ms	41×	body	1280	valid
17.0ms	47×	body	1280	invalid
14.0ms	47×	body	640	valid
14.0ms	44×	body	640	invalid
9.0ms	137×	body	80	valid
5.0ms	75×	body	80	invalid
4.0ms	23×	body	320	valid
2.0ms	9×	body	320	invalid
1.0ms	12×	body	160	invalid
1.0ms	8×	body	160	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5009	12

prune9.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.0b

Counts

2 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`associate-r`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

10.0ms

(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

series16.0ms

Counts

1 → 3

Calls

1 calls:

16.0ms

(* (sin re) (+ (exp (- 0.0 im)) (exp im)))

simplify62.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4914	297
1	4914	297

prune56.0ms

Filtered

18 candidates to 26 candidates (-44.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	22	4	26
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	4	27

Merged error: 0b

Counts

27 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
0.0b	(* (sin re) (exp im))
0.0b	(* (sin re) (exp (- 0.0 im)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
7×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `add-cbrt-cube`
6×	`associate-l`
5×	`add-exp-log` `add-log-exp`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `sub-neg` `flip3-+` `exp-diff` `associate-*r/` `exp-sum` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 50

Calls

3 calls:

9.0ms	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
5.0ms	(* (sin re) (exp im))
8.0ms	(* (sin re) (exp (- 0.0 im)))

series30.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(+ (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)))
7.0ms	(* (sin re) (exp im))
8.0ms	(* (sin re) (exp (- 0.0 im)))

simplify56.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4989	522
1	4989	522

prune79.0ms

Filtered

43 candidates to 59 candidates (-37.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	61	2	63

Merged error: 0b

Counts

63 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
0.0b	(/ (sin re) (exp im))
0.0b	(* (sin re) (exp im))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
7×	`add-cbrt-cube`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`div-inv`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

3 → 57

Calls

3 calls:

8.0ms	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
5.0ms	(/ (sin re) (exp im))
5.0ms	(* (sin re) (exp im))

series32.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(+ (/ (sin re) (exp im)) (* (sin re) (exp im)))
8.0ms	(/ (sin re) (exp im))
7.0ms	(* (sin re) (exp im))

simplify75.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4907	584
1	4907	584

prune63.0ms

Filtered

49 candidates to 66 candidates (-34.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

68 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (exp (- 0.0 im)) 3)
0.1b	(pow (exp im) 3)
0.5b	(/ (* (sin re) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
5.9b	(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
11×	`add-cbrt-cube`
10×	`pow-pow`
9×	`add-exp-log` `exp-diff`
8×	`exp-prod` `associate-/r/`
7×	`unpow-prod-down` `cube-prod`
6×	`pow1` `pow-unpow` `frac-add` `add-log-exp`
4×	`flip3--` `associate-*r/` `flip--`
3×	`sub-neg` `times-frac` `associate-/r*`
2×	`cbrt-undiv` `cube-mult` `frac-times` `pow-to-exp` `flip3-+` `unpow3` `div-exp` `exp-sum` `associate-*l/` `pow-exp` `flip-+` `associate-/l/` `rem-cube-cbrt` `sqr-pow`
1×	`cube-div` `distribute-rgt-out--` `frac-2neg` `diff-log` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 100

Calls

4 calls:

6.0ms	(pow (exp (- 0.0 im)) 3)
3.0ms	(pow (exp im) 3)
36.0ms	(/ (* (sin re) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
6.0ms	(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

series78.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow (exp (- 0.0 im)) 3)
4.0ms	(pow (exp im) 3)
60.0ms	(/ (* (sin re) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))
10.0ms	(- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))

simplify63.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5325	1800

prune273.0ms

Filtered

75 candidates to 112 candidates (-49.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

114 → 2

regimes111.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	12	13

end0.0ms

sample3.2s

Algorithm

intervals

Results

832.0ms	1512×	body	1280	valid
539.0ms	1466×	body	1280	invalid
436.0ms	1184×	body	640	invalid
397.0ms	1294×	body	640	valid
268.0ms	4242×	body	80	valid
153.0ms	2353×	body	80	invalid
124.0ms	619×	body	320	valid
107.0ms	579×	body	320	invalid
42.0ms	333×	body	160	valid
38.0ms	278×	body	160	invalid

Details

analyze362.0ms

sample103.0ms

simplify72.0ms

prune9.0ms

localize11.0ms

rewrite11.0ms

series16.0ms

simplify62.0ms

prune56.0ms

localize12.0ms

rewrite23.0ms

series30.0ms

simplify56.0ms

prune79.0ms

localize10.0ms

rewrite19.0ms

series32.0ms

simplify75.0ms

prune63.0ms

localize20.0ms

rewrite54.0ms

series78.0ms

simplify63.0ms

prune273.0ms

regimes111.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling