Details

analyze13.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0.1%	14

sample23.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify729.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4811	6
1	4811	6

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 35.9b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (pow x 2.0) 2)
34.6b	(sqrt (* (pow x 2.0) 2))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
7×	`add-exp-log` `associate-l`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `add-cbrt-cube`
3×	`pow1` `associate-r` `prod-exp` `unswap-sqr`
2×	`add-log-exp` `sqr-pow`
1×	`pow-to-exp` `sqrt-pow1` `pow1/2` `pow-exp` `sqrt-prod` `*-commutative` `cbrt-unprod`

Counts

2 → 35

Calls

2 calls:

5.0ms	(* (pow x 2.0) 2)
5.0ms	(sqrt (* (pow x 2.0) 2))

series145.0ms

Counts

2 → 6

Calls

2 calls:

59.0ms	(* (pow x 2.0) 2)
85.0ms	(sqrt (* (pow x 2.0) 2))

simplify57.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4905	307
1	4905	307

prune94.0ms

Filtered

32 candidates to 41 candidates (-28.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	34	7	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	8	42

Merged error: 17.6b

Counts

42 → 8

localize5.0ms

Local error

Found 1 expressions with local error:

0.4b	(* (sqrt 2) (pow x 1.0))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
7×	`associate-r`
6×	`add-exp-log` `associate-l` `sqrt-prod` `unswap-sqr`
5×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
3×	`prod-exp` `add-cbrt-cube` `sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 31

Calls

1 calls:

6.0ms

(* (sqrt 2) (pow x 1.0))

series64.0ms

Counts

1 → 3

Calls

1 calls:

63.0ms

(* (sqrt 2) (pow x 1.0))

simplify52.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4998	305
1	4998	305

prune70.0ms

Filtered

20 candidates to 34 candidates (-70.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	30	4	34
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	34	8	42

Merged error: 17.5b

Counts

42 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (pow x 1.0) (cbrt (sqrt 2)))
0.3b	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (pow x 1.0) (cbrt (sqrt 2))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log`
22×	`add-sqr-sqrt`
21×	`prod-exp`
12×	`cbrt-prod`
10×	`associate-r`
9×	`add-cbrt-cube` `cbrt-unprod` `unswap-sqr`
8×	`associate-l`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `sqrt-prod`
4×	`sqr-pow`
3×	`pow-to-exp` `pow-prod-down` `pow-exp`
2×	`*-commutative` `add-log-exp`

Counts

2 → 61

Calls

2 calls:

7.0ms	(* (pow x 1.0) (cbrt (sqrt 2)))
12.0ms	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (pow x 1.0) (cbrt (sqrt 2))))

series144.0ms

Counts

2 → 6

Calls

2 calls:

81.0ms	(* (pow x 1.0) (cbrt (sqrt 2)))
63.0ms	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (pow x 1.0) (cbrt (sqrt 2))))

simplify50.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4874	629
1	4874	629

prune147.0ms

Filtered

40 candidates to 67 candidates (-67.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	64	3	67
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	65	10	75

Merged error: 17.5b

Counts

75 → 10

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (pow x 1.0) (sqrt (sqrt 2)))
0.3b	(* (sqrt (sqrt 2)) (* (pow x 1.0) (sqrt (sqrt 2))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

27×	`sqrt-prod`
25×	`add-sqr-sqrt`
17×	`add-exp-log`
16×	`associate-l`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r*` `prod-exp`
9×	`add-cbrt-cube` `unswap-sqr`
6×	`unpow-prod-down`
4×	`pow1` `cbrt-unprod` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative` `add-log-exp`
1×	`pow-prod-down`

Counts

2 → 62

Calls

2 calls:

8.0ms	(* (pow x 1.0) (sqrt (sqrt 2)))
10.0ms	(* (sqrt (sqrt 2)) (* (pow x 1.0) (sqrt (sqrt 2))))

series126.0ms

Counts

2 → 6

Calls

2 calls:

62.0ms	(* (pow x 1.0) (sqrt (sqrt 2)))
64.0ms	(* (sqrt (sqrt 2)) (* (pow x 1.0) (sqrt (sqrt 2))))

simplify69.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4893	655
1	4893	655

prune109.0ms

Filtered

43 candidates to 68 candidates (-58.1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	3	4	7
Picked	0	1	1
Done	0	2	2
Total	67	11	78

Merged error: 17.5b

Counts

78 → 11

regimes180.0ms

Accuracy

98.7% (0.2b remaining)

Error of 15.2b against oracle of 15.0b and baseline of 31.9b

bsearch16.0ms

Steps

Iters	Range		Point
8	-1.7773423662150508e-306	2.6210974234504635e-307	1.91106969199616e-310

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	25
1	19	25

end0.0ms

sample529.0ms

Algorithm

intervals

Results

426.0ms

8000×

body

valid

Details

analyze13.0ms

sample23.0ms

simplify729.0ms

prune9.0ms

localize7.0ms

rewrite12.0ms

series145.0ms

simplify57.0ms

prune94.0ms

localize5.0ms

rewrite7.0ms

series64.0ms

simplify52.0ms

prune70.0ms

localize8.0ms

rewrite21.0ms

series144.0ms

simplify50.0ms

prune147.0ms

localize7.0ms

rewrite19.0ms

series126.0ms

simplify69.0ms

prune109.0ms

regimes180.0ms

bsearch16.0ms

simplify2.0ms

end0.0ms

sample529.0ms

Profiling