Details

analyze1.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 100%

sample13.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify139.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

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: 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))))

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

series13.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify121.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 3 (116.0ms)

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

prune60.0ms

Filtered

39 candidates to 51 candidates (-30.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	3	52

Merged error: 0b

Counts

52 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp (neg x)) (exp x))
0.0b	(/ 2.0 (+ (exp (neg x)) (exp x)))
0.0b	(pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3)
0.0b	(cbrt (pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

81×	`*-un-lft-identity`
60×	`times-frac`
47×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`cbrt-prod`
36×	`unpow-prod-down` `cube-prod`
17×	`distribute-lft-out`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`flip3-+` `flip-+` `add-log-exp`
5×	`pow1` `div-inv`
4×	`associate-/r*`
3×	`pow-unpow` `associate-/l*`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `clear-num` `sum-log` `rem-cbrt-cube`

Counts

4 → 153

Calls

4 calls:

6.0ms	(+ (exp (neg x)) (exp x))
7.0ms	(/ 2.0 (+ (exp (neg x)) (exp x)))
11.0ms	(pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3)
10.0ms	(cbrt (pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3))

series37.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (exp (neg x)) (exp x))
9.0ms	(/ 2.0 (+ (exp (neg x)) (exp x)))
14.0ms	(pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3)
9.0ms	(cbrt (pow (/ 2.0 (+ (exp (neg x)) (exp x))) 3))

simplify62.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	473	1622
1	2068	1505
2	5001	1489

prune141.0ms

Filtered

83 candidates to 165 candidates (-98.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	165	3	168

Merged error: 0b

Counts

168 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
36×	`exp-prod` `times-frac`
30×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`log-pow`
11×	`distribute-lft-out`
7×	`add-log-exp`
6×	`add-exp-log` `associate-/r/` `add-cbrt-cube`
5×	`pow1`
4×	`flip3-+` `associate-/r*` `flip-+`
3×	`log-prod` `div-inv` `associate-/l*`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `sum-log` `rem-exp-log`

Counts

4 → 101

Calls

4 calls:

7.0ms	(exp (/ 2.0 (+ (exp x) (exp (neg x)))))
5.0ms	(+ (exp x) (exp (neg x)))
7.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
9.0ms	(log (exp (/ 2.0 (+ (exp x) (exp (neg x))))))

series40.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(exp (/ 2.0 (+ (exp x) (exp (neg x)))))
4.0ms	(+ (exp x) (exp (neg x)))
9.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
9.0ms	(log (exp (/ 2.0 (+ (exp x) (exp (neg x))))))

simplify133.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 3 (124.0ms)

Iter	Nodes	Cost
0	271	859
1	777	792
2	3171	786
3	5001	783

prune138.0ms

Filtered

84 candidates to 113 candidates (-34.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	113	3	116

Merged error: 0b

Counts

116 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

110×	`add-sqr-sqrt`
106×	`times-frac`
100×	`*-un-lft-identity`
67×	`sqrt-prod`
64×	`add-cube-cbrt`
32×	`add-exp-log`
27×	`associate-r` `associate-l`
20×	`add-cbrt-cube`
15×	`distribute-lft-out` `unswap-sqr`
14×	`associate-/r*`
11×	`div-exp`
8×	`pow1` `sqrt-div` `prod-exp` `associate-/r/`
6×	`cbrt-undiv` `associate-/l*` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`cbrt-unprod` `div-inv`
3×	`rec-exp` `pow-flip` `1-exp`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `frac-times` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `*-commutative` `inv-pow`

Counts

4 → 201

Calls

4 calls:

5.0ms	(+ (exp x) (exp (neg x)))
7.0ms	(/ 2.0 (sqrt (+ (exp x) (exp (neg x)))))
8.0ms	(/ 1 (sqrt (+ (exp x) (exp (neg x)))))
33.0ms	(* (/ 1 (sqrt (+ (exp x) (exp (neg x))))) (/ 2.0 (sqrt (+ (exp x) (exp (neg x))))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (exp x) (exp (neg x)))
13.0ms	(/ 2.0 (sqrt (+ (exp x) (exp (neg x)))))
12.0ms	(/ 1 (sqrt (+ (exp x) (exp (neg x)))))
9.0ms	(* (/ 1 (sqrt (+ (exp x) (exp (neg x))))) (/ 2.0 (sqrt (+ (exp x) (exp (neg x))))))

simplify83.0ms

Algorithm

egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	641	2819
1	3092	2473
2	5002	2304

prune158.0ms

Filtered

115 candidates to 213 candidates (-85.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	213	3	216

Merged error: 0b

Counts

216 → 3

regimes117.0ms

Accuracy

0% (0.1b 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	11	7
1	11	7

end0.0ms

analyze1.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 100%

sample317.0ms

Algorithm

intervals

Results

227.0ms

8000×

body

valid

Details

analyze1.0ms

sample13.0ms

simplify139.0ms

prune3.0ms

localize6.0ms

rewrite12.0ms

series13.0ms

simplify121.0ms

prune60.0ms

localize8.0ms

rewrite40.0ms

series37.0ms

simplify62.0ms

prune141.0ms

localize9.0ms

rewrite30.0ms

series40.0ms

simplify133.0ms

prune138.0ms

localize10.0ms

rewrite61.0ms

series38.0ms

simplify83.0ms

prune158.0ms

regimes117.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.0ms

sample317.0ms

Profiling