Details

analyze511.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
49.9%	49.9%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
49.9%	49.9%	0.2%	7
53%	46.8%	0.2%	8
57.7%	42.1%	0.2%	9
61.6%	38.2%	0.2%	10
63.5%	30%	6.4%	11
63.5%	30%	6.4%	12
67.6%	25.9%	6.4%	13
68.9%	24.7%	6.4%	14

sample124.0ms

Algorithm

intervals

Results

25.0ms	40×	body	1280	valid
20.0ms	50×	body	1280	invalid
19.0ms	46×	body	640	valid
9.0ms	32×	body	640	invalid
9.0ms	124×	body	80	valid
8.0ms	116×	body	80	invalid
8.0ms	35×	body	320	valid
4.0ms	20×	body	320	invalid
2.0ms	11×	body	160	valid
1.0ms	5×	body	160	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4815	15
1	4815	15

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 16.7b

Counts

2 → 1

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`add-cube-cbrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `associate-l/` `flip--`
1×	`sub-neg` `sinh-undef` `diff-log` `associate-l` `*-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 34

Calls

2 calls:

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

series26.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify59.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4905	467
1	4905	467

prune61.0ms

Filtered

30 candidates to 40 candidates (-33.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	1	41

Merged error: 0.1b

Counts

41 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh l)
0.0b	(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
0.2b	(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`associate-r`
2×	`sinh-def` `associate-*r/`
1×	`+-commutative` `flip3-+` `associate-l` `associate-l/` `sum-log` `-commutative` `flip-+`

Counts

3 → 41

Calls

3 calls:

1.0ms	(sinh l)
8.0ms	(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
7.0ms	(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))

series77.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(sinh l)
43.0ms	(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
27.0ms	(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))

simplify27.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5732	589

prune97.0ms

Filtered

37 candidates to 50 candidates (-35.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	44	6	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	7	51

Merged error: 0.0b

Counts

51 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 2 (* (sinh l) (cos (/ K 2.0))))
0.0b	(+ (* J (* 2 (* (sinh l) (cos (/ K 2.0))))) U)
0.1b	(* J (* 2 (* (sinh l) (cos (/ K 2.0)))))
0.1b	(* (sinh l) (cos (/ K 2.0)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-l`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-log-exp`
5×	`associate-r`
3×	`sinh-def` `associate-r/` `associate-l/` `*-commutative`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

7.0ms	(* 2 (* (sinh l) (cos (/ K 2.0))))
8.0ms	(+ (* J (* 2 (* (sinh l) (cos (/ K 2.0))))) U)
7.0ms	(* J (* 2 (* (sinh l) (cos (/ K 2.0)))))
4.0ms	(* (sinh l) (cos (/ K 2.0)))

series100.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* 2 (* (sinh l) (cos (/ K 2.0))))
43.0ms	(+ (* J (* 2 (* (sinh l) (cos (/ K 2.0))))) U)
24.0ms	(* J (* 2 (* (sinh l) (cos (/ K 2.0)))))
15.0ms	(* (sinh l) (cos (/ K 2.0)))

simplify31.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5231	945

prune134.0ms

Filtered

60 candidates to 83 candidates (-38.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	79	4	83
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	83	7	90

Merged error: 0b

Counts

90 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh l)
0.0b	(+ (* (* (sinh l) 2) (* J (cos (* K 0.5)))) U)
0.1b	(* J (cos (* K 0.5)))
0.1b	(* (* (sinh l) 2) (* J (cos (* K 0.5))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`sinh-def` `associate-l/` `-commutative`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `unswap-sqr`

Counts

4 → 60

Calls

4 calls:

1.0ms	(sinh l)
8.0ms	(+ (* (* (sinh l) 2) (* J (cos (* K 0.5)))) U)
4.0ms	(* J (cos (* K 0.5)))
7.0ms	(* (* (sinh l) 2) (* J (cos (* K 0.5))))

series84.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sinh l)
43.0ms	(+ (* (* (sinh l) 2) (* J (cos (* K 0.5)))) U)
7.0ms	(* J (cos (* K 0.5)))
27.0ms	(* (* (sinh l) 2) (* J (cos (* K 0.5))))

simplify30.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5595	743

prune83.0ms

Filtered

48 candidates to 72 candidates (-50.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	72	7	79

Merged error: 0b

Counts

79 → 7

regimes443.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	13
1	17	13

end0.0ms

sample3.6s

Algorithm

intervals

Results

736.0ms	1194×	body	1280	valid
585.0ms	1422×	body	1280	invalid
469.0ms	1326×	body	640	valid
364.0ms	1287×	body	640	invalid
293.0ms	4177×	body	80	valid
229.0ms	3265×	body	80	invalid
200.0ms	833×	body	320	valid
125.0ms	567×	body	320	invalid
70.0ms	470×	body	160	valid
49.0ms	327×	body	160	invalid

Details

analyze511.0ms

sample124.0ms

simplify55.0ms

prune9.0ms

localize16.0ms

rewrite15.0ms

series26.0ms

simplify59.0ms

prune61.0ms

localize12.0ms

rewrite17.0ms

series77.0ms

simplify27.0ms

prune97.0ms

localize12.0ms

rewrite28.0ms

series100.0ms

simplify31.0ms

prune134.0ms

localize12.0ms

rewrite22.0ms

series84.0ms

simplify30.0ms

prune83.0ms

regimes443.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.6s

Profiling