Details

analyze474.0ms

Algorithm: search

sample106.0ms

Algorithm

intervals

Results

23.0ms	35×	body	1280	valid
17.0ms	45×	body	1280	invalid
13.0ms	40×	body	640	valid
10.0ms	39×	body	640	invalid
9.0ms	146×	body	80	valid
7.0ms	91×	body	80	invalid
4.0ms	21×	body	320	valid
2.0ms	11×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	10×	body	160	invalid

simplify177.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	9
1	41	9
2	83	9
3	173	9
4	284	9
5	556	9
6	919	9
7	1220	9
8	3918	9
9	5002	9

prune4.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: 17.7b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(* J (- (exp l) (exp (neg l))))
0.0b	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
6.3b	(- (exp l) (exp (neg l)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
8×	`associate-r`
6×	`add-cube-cbrt`
5×	`add-log-exp`
4×	`associate-r/` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`sub-neg` `flip3--` `flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-l/` `-commutative` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `unswap-sqr`

Counts

3 → 60

Calls

3 calls:

7.0ms	(* J (- (exp l) (exp (neg l))))
8.0ms	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
5.0ms	(- (exp l) (exp (neg l)))

series38.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* J (- (exp l) (exp (neg l))))
23.0ms	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
5.0ms	(- (exp l) (exp (neg l)))

simplify34.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	265	566
1	1128	479
2	5001	473

prune97.0ms

Filtered

47 candidates to 69 candidates (-46.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	3	70

Merged error: 0.1b

Counts

70 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
0.1b	(* 1/60 (pow l 5))
0.1b	(* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
0.1b	(* 1/3 (pow l 3))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`associate-r`
21×	`add-exp-log`
15×	`add-cbrt-cube`
14×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
10×	`associate-l` `prod-exp`
8×	`unpow-prod-down` `unswap-sqr`
6×	`cbrt-unprod`
4×	`cube-prod` `associate-r/` `pow-prod-down` `-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `flip3-+` `associate-*l/` `pow-exp` `flip-+`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `unpow3`

Counts

4 → 98

Calls

4 calls:

9.0ms	(* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
5.0ms	(* 1/60 (pow l 5))
10.0ms	(* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
6.0ms	(* 1/3 (pow l 3))

series70.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
4.0ms	(* 1/60 (pow l 5))
38.0ms	(* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
4.0ms	(* 1/3 (pow l 3))

simplify69.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	464	817
1	2375	697
2	5001	697

prune242.0ms

Filtered

70 candidates to 110 candidates (-57.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	104	6	110
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/60 (pow l 5))
0.1b	(* (+ (* J (* 1/3 (pow l 3))) (* J (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
0.1b	(* 1/3 (pow l 3))
4.7b	(* J (* 1/3 (pow l 3)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
26×	`add-exp-log`
23×	`associate-r`
15×	`add-cbrt-cube`
14×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp`
13×	`associate-l`
8×	`pow1` `unpow-prod-down` `unswap-sqr`
6×	`cbrt-unprod`
4×	`cube-prod` `*-commutative` `add-log-exp` `sqr-pow`
3×	`pow-to-exp` `pow-exp`
2×	`pow-prod-down` `associate-*l/`
1×	`cube-mult` `flip3-+` `unpow3` `flip-+` `distribute-lft-out`

Counts

4 → 96

Calls

4 calls:

5.0ms	(* 1/60 (pow l 5))
8.0ms	(* (+ (* J (* 1/3 (pow l 3))) (* J (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
6.0ms	(* 1/3 (pow l 3))
6.0ms	(* J (* 1/3 (pow l 3)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 1/60 (pow l 5))
38.0ms	(* (+ (* J (* 1/3 (pow l 3))) (* J (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
4.0ms	(* 1/3 (pow l 3))
10.0ms	(* J (* 1/3 (pow l 3)))

simplify66.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	423	663
1	2062	586
2	5001	586

prune223.0ms

Filtered

72 candidates to 108 candidates (-50.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	108	8	116

Merged error: 0.0b

Counts

116 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/60 (pow l 5))
0.1b	(* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
0.1b	(* 1/3 (pow l 3))
0.2b	(* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
23×	`associate-r`
21×	`add-exp-log`
15×	`add-cbrt-cube`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`associate-l`
11×	`pow1`
10×	`prod-exp`
8×	`unpow-prod-down` `unswap-sqr`
6×	`cbrt-unprod`
4×	`cube-prod` `pow-prod-down` `associate-l/` `-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `flip3-+` `associate-*r/` `pow-exp` `flip-+`
1×	`cube-mult` `unpow3`

Counts

4 → 96

Calls

4 calls:

5.0ms	(* 1/60 (pow l 5))
12.0ms	(* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
6.0ms	(* 1/3 (pow l 3))
9.0ms	(* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 1/60 (pow l 5))
36.0ms	(* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
4.0ms	(* 1/3 (pow l 3))
13.0ms	(* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))

simplify63.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	444	856
1	2079	731
2	5001	731

prune185.0ms

Filtered

70 candidates to 108 candidates (-54.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	108	8	116

Merged error: 0.0b

Counts

116 → 8

regimes507.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	13
1	32	13

end0.0ms

analyze488.0ms

Algorithm: search

sample3.4s

Algorithm

intervals

Results

720.0ms	1222×	body	1280	valid
601.0ms	1557×	body	1280	invalid
430.0ms	1277×	body	640	valid
338.0ms	1246×	body	640	invalid
288.0ms	4283×	body	80	valid
217.0ms	3231×	body	80	invalid
170.0ms	779×	body	320	valid
120.0ms	612×	body	320	invalid
62.0ms	439×	body	160	valid
43.0ms	309×	body	160	invalid

Details

analyze474.0ms

sample106.0ms

simplify177.0ms

prune4.0ms

localize12.0ms

rewrite21.0ms

series38.0ms

simplify34.0ms

prune97.0ms

localize17.0ms

rewrite32.0ms

series70.0ms

simplify69.0ms

prune242.0ms

localize19.0ms

rewrite27.0ms

series57.0ms

simplify66.0ms

prune223.0ms

localize17.0ms

rewrite35.0ms

series57.0ms

simplify63.0ms

prune185.0ms

regimes507.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze488.0ms

sample3.4s

Profiling