Details

sample152.0ms

Algorithm

intervals

Results

86.0ms	177×	body	1280	valid
28.0ms	110×	body	640	valid
9.0ms	49×	body	320	valid
7.0ms	135×	body	80	valid
3.0ms	24×	body	160	valid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	7
1	44	7
2	99	7
3	185	7
4	318	7
5	766	7
6	1270	7
7	1742	7
8	4161	7
9	5002	7

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 58.3b

Counts

2 → 1

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
7.2b	(- (exp (- 0.0 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×	`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:

12.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
8.0ms	(- (exp (- 0.0 im)) (exp im))

series22.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
5.0ms	(- (exp (- 0.0 im)) (exp im))

simplify38.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	268	399
1	1086	344
2	5001	343

prune71.0ms

Filtered

46 candidates to 30 candidates (34.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.1b

Counts

47 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

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

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

series54.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
5.0ms	(* 1/60 (pow im 5))
36.0ms	(* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
4.0ms	(* -1/3 (pow im 3))

simplify68.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	462	764
1	2138	663
2	5003	663

prune184.0ms

Filtered

106 candidates to 65 candidates (38.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

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

Merged error: 0.0b

Counts

109 → 8

localize19.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.6b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.6b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.6b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

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

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

series91.0ms

Counts

4 → 12

Calls

4 calls:

27.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)))))
21.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
21.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
21.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

simplify60.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (41.0ms)

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

prune560.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	96	11	107

Merged error: 0.0b

Counts

107 → 11

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

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

series110.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
29.0ms	(cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
31.0ms	(cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
29.0ms	(cbrt (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

simplify48.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	348	1438
1	1234	1364
2	5001	1352

prune730.0ms

Filtered

73 candidates to 69 candidates (5.5%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	73	11	84

Merged error: 0.0b

Counts

84 → 11

regimes497.0ms

Accuracy

0% (0.7b remaining)

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

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.8s

Algorithm

intervals

Results

2.7s	5776×	body	1280	valid
1.0s	3634×	body	640	valid
277.0ms	1476×	body	320	valid
232.0ms	4445×	body	80	valid
81.0ms	668×	body	160	valid

Details

sample152.0ms

simplify88.0ms

prune4.0ms

localize14.0ms

rewrite21.0ms

series22.0ms

simplify38.0ms

prune71.0ms

localize16.0ms

rewrite32.0ms

series54.0ms

simplify68.0ms

prune184.0ms

localize19.0ms

rewrite42.0ms

series91.0ms

simplify60.0ms

prune560.0ms

localize28.0ms

rewrite31.0ms

series110.0ms

simplify48.0ms

prune730.0ms

regimes497.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.8s

Profiling