Details

sample21.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify160.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	5
1	12	5
2	14	5
3	15	5
4	20	5
5	40	5
6	61	5
7	143	5
8	1357	5
9	5001	5

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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity`
12×	`times-frac`
11×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`distribute-lft-out`
4×	`add-exp-log` `associate-/r*` `add-cbrt-cube` `add-log-exp`
3×	`associate-/l*`
2×	`pow1` `flip3-+` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

2 → 45

Calls

2 calls:

4.0ms	(+ (exp x) (exp (neg x)))
6.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))

series63.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(+ (exp x) (exp (neg x)))
41.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))

simplify123.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 3 (118.0ms)

Iter	Nodes	Cost
0	192	411
1	634	377
2	3020	374
3	5001	373

prune95.0ms

Filtered

51 candidates to 39 candidates (76.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	5	52

Merged error: 0.0b

Counts

52 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))
0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))
0.0b	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

134×	`*-un-lft-identity`
116×	`sqrt-prod`
103×	`times-frac`
101×	`add-sqr-sqrt`
70×	`add-cube-cbrt`
29×	`swap-sqr` `distribute-lft-out`
21×	`associate-r` `associate-l`
20×	`pow1`
14×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
9×	`sqrt-pow1` `pow1/2` `unswap-sqr`
8×	`associate-/r*`
7×	`flip3-+` `flip-+` `div-inv`
6×	`associate-/l*`
5×	`sqrt-div` `pow-prod-up`
4×	`add-log-exp`
3×	`pow-prod-down` `pow-sqr`
2×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `div-exp` `clear-num`
1×	`pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 204

Calls

4 calls:

6.0ms	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
6.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
6.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
22.0ms	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))

series295.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
42.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
38.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
101.0ms	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))

simplify84.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	426	2240
1	2026	2084
2	5002	2043

prune395.0ms

Filtered

216 candidates to 130 candidates (60.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	216	5	221

Merged error: 0b

Counts

221 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.0b	(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))))
0.0b	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))
0.0b	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

434×	`sqrt-prod`
384×	`times-frac`
362×	`add-sqr-sqrt`
330×	`*-un-lft-identity`
196×	`add-cube-cbrt`
94×	`swap-sqr`
59×	`distribute-lft-out`
48×	`associate-r` `associate-l`
25×	`unswap-sqr`
20×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/r*`
12×	`sqrt-div` `associate-/r/` `associate-/l*`
11×	`pow1`
7×	`flip3-+` `flip-+`
6×	`cbrt-undiv` `sqrt-undiv` `div-exp` `div-inv` `add-log-exp`
4×	`prod-exp` `cbrt-unprod`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `rem-square-sqrt` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 393

Calls

4 calls:

4.0ms	(+ (exp x) (exp (neg x)))
53.0ms	(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))))
8.0ms	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))
8.0ms	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))

series352.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(+ (exp x) (exp (neg x)))
104.0ms	(* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x))))))
111.0ms	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))
115.0ms	(/ (sqrt 2.0) (sqrt (+ (exp x) (exp (neg x)))))

simplify131.0ms

Algorithm

egg-herbie

Counts

405 → 405

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	839	7886
1	4392	6797
2	5003	6724

prune528.0ms

Filtered

405 candidates to 165 candidates (40.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	404	1	405
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	405	5	410

Merged error: 0b

Counts

410 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.1b	(exp (- (log 2.0) (log (+ (exp x) (exp (neg x))))))
0.5b	(log (+ (exp x) (exp (neg x))))
1.7b	(- (log 2.0) (log (+ (exp x) (exp (neg x)))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

23×	`*-un-lft-identity`
14×	`log-prod`
13×	`pow1` `add-sqr-sqrt`
9×	`add-cube-cbrt` `log-pow`
8×	`exp-prod` `distribute-lft-out--`
7×	`exp-sum` `add-log-exp`
6×	`log-div` `associate--l+`
5×	`add-exp-log`
4×	`flip3-+` `add-cbrt-cube` `flip-+` `associate--r+` `associate--r-`
3×	`distribute-lft-out`
2×	`sub-neg` `diff-log` `rem-exp-log` `difference-of-squares`
1×	`+-commutative` `flip3--` `exp-diff` `rem-log-exp` `sum-log` `flip--`

Counts

4 → 78

Calls

4 calls:

4.0ms	(+ (exp x) (exp (neg x)))
6.0ms	(exp (- (log 2.0) (log (+ (exp x) (exp (neg x))))))
5.0ms	(log (+ (exp x) (exp (neg x))))
8.0ms	(- (log 2.0) (log (+ (exp x) (exp (neg x)))))

series500.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(+ (exp x) (exp (neg x)))
227.0ms	(exp (- (log 2.0) (log (+ (exp x) (exp (neg x))))))
76.0ms	(log (+ (exp x) (exp (neg x))))
174.0ms	(- (log 2.0) (log (+ (exp x) (exp (neg x)))))

simplify94.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 3 (86.0ms)

Iter	Nodes	Cost
0	291	767
1	789	704
2	2858	676
3	5001	674

prune187.0ms

Filtered

90 candidates to 60 candidates (66.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	90	5	95

Merged error: 0b

Counts

95 → 5

regimes66.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	5
1	8	5

end0.0ms

sample322.0ms

Algorithm

intervals

Results

226.0ms

8000×

body

valid

Details

sample21.0ms

simplify160.0ms

prune2.0ms

localize6.0ms

rewrite11.0ms

series63.0ms

simplify123.0ms

prune95.0ms

localize9.0ms

rewrite50.0ms

series295.0ms

simplify84.0ms

prune395.0ms

localize10.0ms

rewrite104.0ms

series352.0ms

simplify131.0ms

prune528.0ms

localize11.0ms

rewrite25.0ms

series500.0ms

simplify94.0ms

prune187.0ms

regimes66.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample322.0ms

Profiling