Details

sample165.0ms

Algorithm

intervals

Results

72.0ms	151×	body	1280	valid
40.0ms	147×	body	640	valid
17.0ms	69×	body	320	valid
9.0ms	153×	body	80	valid
4.0ms	27×	body	160	valid

simplify71.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	40	7
2	88	7
3	141	7
4	365	7
5	780	7
6	1025	7
7	2309	7
8	5002	7

prune3.0ms

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.1b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.5b	(- (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×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `associate-l` `*-commutative`

Counts

2 → 40

Calls

2 calls:

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

series24.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify33.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	241	393
1	1046	329
2	5001	328

prune66.0ms

Filtered

32 candidates to 46 candidates (-43.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0.1b

Counts

47 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`associate-r`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `prod-exp` `add-log-exp`
8×	`unpow-prod-down`
7×	`associate-l` `unswap-sqr`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`sub-neg` `pow-prod-down` `*-commutative`
2×	`distribute-rgt-in` `pow-to-exp` `flip3--` `distribute-lft-in` `diff-log` `associate-*r/` `pow-exp` `flip--`
1×	`cube-mult` `unpow3` `sum-log` `associate--r+`

Counts

4 → 94

Calls

4 calls:

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

series49.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	447	758
1	2066	657
2	5001	657

prune200.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	101	5	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	101	8	109

Merged error: 0.0b

Counts

109 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

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

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:

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

series85.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	403	2076
1	1513	1955
2	5002	1832

prune591.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	97	10	107

Merged error: 0.0b

Counts

107 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

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

series81.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify145.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	232	1180
1	815	1112
2	3951	1032
3	5001	1032

prune677.0ms

Filtered

60 candidates to 64 candidates (-6.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	63	11	74

Merged error: 0.0b

Counts

74 → 11

regimes409.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	24	10
1	24	10

end0.0ms

sample4.6s

Algorithm

intervals

Results

2.3s	4676×	body	1280	valid
1.1s	3867×	body	640	valid
347.0ms	1891×	body	320	valid
260.0ms	4586×	body	80	valid
111.0ms	946×	body	160	valid

Details

sample165.0ms

simplify71.0ms

prune3.0ms

localize10.0ms

rewrite17.0ms

series24.0ms

simplify33.0ms

prune66.0ms

localize14.0ms

rewrite31.0ms

series49.0ms

simplify62.0ms

prune200.0ms

localize21.0ms

rewrite39.0ms

series85.0ms

simplify58.0ms

prune591.0ms

localize26.0ms

rewrite28.0ms

series81.0ms

simplify145.0ms

prune677.0ms

regimes409.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.6s

Profiling