Details

sample111.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 48.583984%

Guaranteed chance to sample good point: 98.433048%

Results

34.0ms	101×	body	1280	valid
17.0ms	79×	body	640	valid
5.0ms	41×	body	320	valid
2.0ms	25×	body	160	valid
0.0ms	10×	body	80	valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	9
1	24	9
2	32	9
3	44	9
4	59	9
5	174	9
6	1153	9
7	5001	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
1.0b	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
7.1b	(- (exp x) (exp (neg x)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
20×	`times-frac`
14×	`add-cube-cbrt`
7×	`distribute-lft-out` `add-log-exp`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`associate-/r*`
3×	`pow1`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `tanh-undef` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 73

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
13.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

series22.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
13.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

simplify245.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	285	936
1	951	868
2	4961	857
3	5001	857

prune85.0ms

Filtered

59 candidates to 82 candidates (-39.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	3	83

Merged error: 0b

Counts

83 → 3

localize2.0ms

Local error

Found 1 expressions with local error:

0.0b

(tanh x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `tanh-def` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(tanh x)

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(tanh x)

simplify81.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	92	48
1	206	45
2	619	45
3	3203	45
4	5002	45

prune19.0ms

Filtered

10 candidates to 13 candidates (-30.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0b

Counts

16 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.1b	(* 2/15 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `diff-log` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`cube-mult` `sub-neg` `flip3--` `unpow3` `associate--l+` `sum-log` `flip--`

Counts

3 → 70

Calls

3 calls:

5.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
5.0ms	(* 2/15 (pow x 5))
6.0ms	(* 1/3 (pow x 3))

series14.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
4.0ms	(* 2/15 (pow x 5))
4.0ms	(* 1/3 (pow x 3))

simplify47.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	276	360
1	1208	332
2	5001	328

prune105.0ms

Filtered

49 candidates to 79 candidates (-61.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	79	3	82

Merged error: 0b

Counts

82 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(exp (log (- (exp x) (exp (neg x)))))
0.5b	(log (- (exp x) (exp (neg x))))
0.5b	(/ (exp (log (- (exp x) (exp (neg x))))) (+ (exp x) (exp (neg x))))
7.1b	(- (exp x) (exp (neg x)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
42×	`add-sqr-sqrt`
35×	`log-prod`
32×	`times-frac`
30×	`exp-sum`
26×	`add-cube-cbrt`
9×	`distribute-lft-out`
8×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
6×	`pow1` `add-exp-log` `log-div` `add-cbrt-cube` `add-log-exp`
4×	`exp-prod` `flip3--` `exp-diff` `associate-/r*` `flip--`
2×	`associate-/r/` `log-pow` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `rem-log-exp` `clear-num` `flip-+` `div-inv` `rem-exp-log`

Counts

4 → 109

Calls

4 calls:

6.0ms	(exp (log (- (exp x) (exp (neg x)))))
5.0ms	(log (- (exp x) (exp (neg x))))
14.0ms	(/ (exp (log (- (exp x) (exp (neg x))))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(exp (log (- (exp x) (exp (neg x)))))
16.0ms	(log (- (exp x) (exp (neg x))))
13.0ms	(/ (exp (log (- (exp x) (exp (neg x))))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

simplify171.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 3 (158.0ms)

Iter	Nodes	Cost
0	317	1540
1	999	1409
2	4499	1357
3	5002	1341

prune95.0ms

Filtered

75 candidates to 121 candidates (-61.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	121	3	124

Merged error: 0b

Counts

124 → 3

regimes28.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	2	1

end0.0ms

sample2.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 48.583984%

Guaranteed chance to sample good point: 98.433048%

Results

1.1s	3382×	body	1280	valid
498.0ms	2345×	body	640	valid
162.0ms	1199×	body	320	valid
57.0ms	661×	body	160	valid
18.0ms	413×	body	80	valid

Details

sample111.0ms

simplify43.0ms

prune3.0ms

localize7.0ms

rewrite25.0ms

series22.0ms

simplify245.0ms

prune85.0ms

localize2.0ms

rewrite1.0ms

series18.0ms

simplify81.0ms

prune19.0ms

localize9.0ms

rewrite18.0ms

series14.0ms

simplify47.0ms

prune105.0ms

localize9.0ms

rewrite34.0ms

series39.0ms

simplify171.0ms

prune95.0ms

regimes28.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling