Details

sample133.0ms

Algorithm

intervals

Results

70.0ms	158×	body	1280	valid
26.0ms	111×	body	640	valid
9.0ms	58×	body	320	valid
9.0ms	167×	body	80	valid
4.0ms	31×	body	160	valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	40	7
2	92	7
3	163	7
4	405	7
5	865	7
6	1189	7
7	2769	7
8	5001	7

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 44.8b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
6.5b	(- (exp (- im)) (exp im))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`sub-neg`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-r/` `associate-l` `-commutative` `flip--`

Counts

2 → 13

Calls

2 calls:

6.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
3.0ms	(- (exp (- im)) (exp im))

series115.0ms

Counts

2 → 6

Calls

2 calls:

79.0ms	(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
35.0ms	(- (exp (- im)) (exp im))

simplify41.0ms

Algorithm

egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 3 (39.0ms)

Iter	Nodes	Cost
0	135	138
1	385	132
2	1204	126
3	5001	121

prune48.0ms

Filtered

19 candidates to 12 candidates (63.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	17	2	19
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	2	20

Merged error: 0.1b

Counts

20 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`fma-udef`
3×	`*-commutative`
2×	`associate-l`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `sqr-pow`

Counts

4 → 9

Calls

4 calls:

1.0ms	(fma im -2 (- (fma (pow im 3) 1/3 (* 1/60 (pow im 5)))))
3.0ms	(* 1/60 (pow im 5))
3.0ms	(* (* 0.5 (sin re)) (fma im -2 (- (fma (pow im 3) 1/3 (* 1/60 (pow im 5))))))
1.0ms	(fma (pow im 3) 1/3 (* 1/60 (pow im 5)))

series396.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(fma im -2 (- (fma (pow im 3) 1/3 (* 1/60 (pow im 5)))))
50.0ms	(* 1/60 (pow im 5))
171.0ms	(* (* 0.5 (sin re)) (fma im -2 (- (fma (pow im 3) 1/3 (* 1/60 (pow im 5))))))
121.0ms	(fma (pow im 3) 1/3 (* 1/60 (pow im 5)))

simplify147.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (37.0ms)

Iter	Nodes	Cost
0	118	116
1	330	111
2	1051	111
3	4296	103
4	5001	103

prune48.0ms

Filtered

21 candidates to 12 candidates (57.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.1b

Counts

23 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp im)))
0.0b	(/ (* 0.5 (sin re)) (exp im))
6.2b	(+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (- (exp im))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-commutative` `distribute-rgt-neg-out` `div-inv`
2×	`associate-l` `associate-/l*`
1×	`+-commutative` `neg-mul-1` `fma-def` `frac-2neg` `flip3-+` `associate-r` `unsub-neg` `clear-num` `flip-+` `distribute-lft-out`

Counts

3 → 17

Calls

3 calls:

4.0ms	(* (* 0.5 (sin re)) (- (exp im)))
4.0ms	(/ (* 0.5 (sin re)) (exp im))
11.0ms	(+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (- (exp im))))

series170.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(* (* 0.5 (sin re)) (- (exp im)))
37.0ms	(/ (* 0.5 (sin re)) (exp im))
95.0ms	(+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (- (exp im))))

simplify116.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 3 (110.0ms)

Iter	Nodes	Cost
0	157	149
1	519	144
2	2781	134
3	5001	131

prune57.0ms

Filtered

26 candidates to 22 candidates (84.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.1b

Counts

28 → 2

regimes62.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	9
1	20	9

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.1s	4704×	body	1280	valid
962.0ms	3829×	body	640	valid
296.0ms	1841×	body	320	valid
229.0ms	4484×	body	80	valid
108.0ms	974×	body	160	valid