Details

sample23.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify70.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	19	3
2	46	3
3	131	3
4	435	3
5	1924	3
6	5001	3

prune4.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: 30.3b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

29.2b

(sqrt (* 2.0 (pow x 2.0)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

2×	`pow1`
1×	`add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `sqrt-pow1` `pow1/2` `sqrt-prod` `add-cbrt-cube` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

5.0ms

(sqrt (* 2.0 (pow x 2.0)))

series257.0ms

Counts

1 → 3

Calls

1 calls:

257.0ms

(sqrt (* 2.0 (pow x 2.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	93	68
1	192	66
2	465	62
3	1404	62
4	5001	62

prune56.0ms

Filtered

12 candidates to 13 candidates (-8.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	6	7	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	8	14

Merged error: 14.3b

Counts

14 → 8

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
7×	`associate-l`
6×	`add-exp-log` `associate-r` `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

(* (pow x 1.0) (sqrt 2.0))

series62.0ms

Counts

1 → 3

Calls

1 calls:

62.0ms

(* (pow x 1.0) (sqrt 2.0))

simplify57.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	167	195
1	501	188
2	2010	182
3	5002	182

prune84.0ms

Filtered

21 candidates to 34 candidates (-61.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	29	5	34
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	30	12	42

Merged error: 14.2b

Counts

42 → 12

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
0.3b	(* (* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 56

Calls

2 calls:

11.0ms	(* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
12.0ms	(* (* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

series146.0ms

Counts

2 → 6

Calls

2 calls:

85.0ms	(* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
60.0ms	(* (* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

simplify38.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	295	664
1	1126	541
2	5001	491

prune166.0ms

Filtered

39 candidates to 62 candidates (-59.0%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	60	14	74

Merged error: 14.2b

Counts

74 → 14

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

27×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
17×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp`
9×	`add-cbrt-cube` `unswap-sqr`
8×	`associate-l`
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:

7.0ms	(* (pow x 1.0) (sqrt (sqrt 2.0)))
9.0ms	(* (* (pow x 1.0) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))

series122.0ms

Counts

2 → 6

Calls

2 calls:

61.0ms	(* (pow x 1.0) (sqrt (sqrt 2.0)))
60.0ms	(* (* (pow x 1.0) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))

simplify105.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	253	522
1	993	466
2	3875	444
3	5001	444

prune103.0ms

Filtered

38 candidates to 68 candidates (-78.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	5	7	12
Picked	0	1	1
Done	0	1	1
Total	69	13	82

Merged error: 14.2b

Counts

82 → 13

regimes459.0ms

Accuracy

98.5% (0.2b remaining)

Error of 15.7b against oracle of 15.5b and baseline of 30.7b

bsearch15.0ms

Steps

Iters	Range		Point
9	-6.6368477679967e-307	6.744065498712113e-305	-1.39461114305843e-310

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms

sample429.0ms

Algorithm

intervals

Results

290.0ms

8001×

body

valid

Details

sample23.0ms

simplify70.0ms

prune4.0ms

localize7.0ms

rewrite7.0ms

series257.0ms

simplify42.0ms

prune56.0ms

localize5.0ms

rewrite7.0ms

series62.0ms

simplify57.0ms

prune84.0ms

localize8.0ms

rewrite25.0ms

series146.0ms

simplify38.0ms

prune166.0ms

localize7.0ms

rewrite18.0ms

series122.0ms

simplify105.0ms

prune103.0ms

regimes459.0ms

bsearch15.0ms

simplify1.0ms

end0.0ms

sample429.0ms

Profiling