Details

analyze63.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

sample25.0ms

Algorithm

intervals

Results

10.0ms	234×	body	80	valid
4.0ms	7×	body	1280	valid
3.0ms	8×	body	640	valid
1.0ms	5×	body	320	valid
0.0ms	2×	body	160	valid
0.0ms	1×	body	80	invalid

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5973	9

prune6.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.5b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1.0 (exp.f64 x))
0.0b	(-.f64 (log.f64 (+.f64 1.0 (exp.f64 x))) (*.f64 x y))
0.5b	(log.f64 (+.f64 1.0 (exp.f64 x)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
8×	`log-prod_binary64`
6×	`add-log-exp_binary64`
5×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `log-div_binary64` `associate--l+_binary64`
3×	`flip3-+_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`
2×	`associate--l-_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `rem-log-exp_binary64` `log-pow_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

3 → 44

Calls

3 calls:

3.0ms	(+.f64 1.0 (exp.f64 x))
6.0ms	(-.f64 (log.f64 (+.f64 1.0 (exp.f64 x))) (*.f64 x y))
3.0ms	(log.f64 (+.f64 1.0 (exp.f64 x)))

series26.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+.f64 1.0 (exp.f64 x))
11.0ms	(-.f64 (log.f64 (+.f64 1.0 (exp.f64 x))) (*.f64 x y))
13.0ms	(log.f64 (+.f64 1.0 (exp.f64 x)))

simplify94.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4842	504
1	4842	504

prune59.0ms

Filtered

39 candidates to 53 candidates (-35.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	4	54

Merged error: 0.4b

Counts

54 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
0.2b	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
0.9b	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))
0.9b	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64`
16×	`sqrt-prod_binary64`
14×	`log-prod_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64` `add-cube-cbrt_binary64`
8×	`sqrt-div_binary64`
6×	`log-pow_binary64` `add-exp-log_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1/2_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `log-div_binary64` `flip-+_binary64`
2×	`rem-log-exp_binary64` `rem-sqrt-square_binary64`

Counts

4 → 72

Calls

4 calls:

4.0ms	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
4.0ms	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
7.0ms	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))
4.0ms	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))

series39.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
5.0ms	(sqrt.f64 (+.f64 1.0 (exp.f64 x)))
14.0ms	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))
15.0ms	(log.f64 (sqrt.f64 (+.f64 1.0 (exp.f64 x))))

simplify39.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5046	760

prune79.0ms

Filtered

56 candidates to 84 candidates (-50.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	84	4	88

Merged error: 0.4b

Counts

88 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 x x) 1/2)
0.0b	(-.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))) (*.f64 x y))
0.0b	(+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))
5.6b	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`log-prod_binary64`
4×	`log-div_binary64`
3×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64` `flip-+_binary64` `associate--l+_binary64` `sum-log_binary64`
2×	`associate--l-_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `rem-log-exp_binary64` `log-pow_binary64` `associate-l_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip--_binary64` `associate-+r+_binary64` `*-commutative_binary64`

Counts

4 → 62

Calls

4 calls:

6.0ms	(.f64 (.f64 x x) 1/2)
11.0ms	(-.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))) (*.f64 x y))
9.0ms	(+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))
8.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

series23.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(.f64 (.f64 x x) 1/2)
11.0ms	(-.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))) (*.f64 x y))
3.0ms	(+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))
5.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

simplify52.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4927	934
1	4927	934

prune75.0ms

Filtered

55 candidates to 74 candidates (-34.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	73	5	78

Merged error: 0.4b

Counts

78 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

1.2b	(cbrt.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))))
5.6b	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
5.6b	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
5.6b	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

9×	`log-prod_binary64`
8×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
7×	`add-exp-log_binary64`
6×	`log-div_binary64`
4×	`add-log-exp_binary64` `log-pow_binary64` `add-cbrt-cube_binary64` `cbrt-prod_binary64`
3×	`flip3-+_binary64` `rem-log-exp_binary64` `flip-+_binary64`
1×	`pow1/3_binary64`

Counts

4 → 54

Calls

4 calls:

1.0ms	(cbrt.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))))
10.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
8.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
8.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt.f64 (log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0))))
5.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
5.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))
5.0ms	(log.f64 (+.f64 (.f64 (.f64 x x) 1/2) (+.f64 x 2.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5061	1144

prune107.0ms

Filtered

55 candidates to 66 candidates (-20.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	67	4	71

Merged error: 0.4b

Counts

71 → 4

regimes119.0ms

Accuracy

0% (0.7b remaining)

Error of 1.0b against oracle of 0.2b and baseline of 1.0b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	39	17
1	39	17

end0.0ms

sample671.0ms

Algorithm

intervals

Results

322.0ms	7326×	body	80	valid
80.0ms	144×	body	1280	valid
75.0ms	234×	body	640	valid
33.0ms	181×	body	320	valid
12.0ms	115×	body	160	valid
3.0ms	52×	body	80	invalid
0.0ms	6×	body	80	overflowed

Details

analyze63.0ms

sample25.0ms

simplify81.0ms

prune6.0ms

localize7.0ms

rewrite14.0ms

series26.0ms

simplify94.0ms

prune59.0ms

localize9.0ms

rewrite20.0ms

series39.0ms

simplify39.0ms

prune79.0ms

localize9.0ms

rewrite35.0ms

series23.0ms

simplify52.0ms

prune75.0ms

localize14.0ms

rewrite29.0ms

series33.0ms

simplify42.0ms

prune107.0ms

regimes119.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample671.0ms

Profiling