Details

analyze649.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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

sample369.0ms

Algorithm

intervals

Results

286.0ms	141×	body	8192	exit
35.0ms	95×	body	1024	nan
17.0ms	256×	body	128	valid
12.0ms	58×	body	512	nan
3.0ms	26×	body	256	nan
1.0ms	11×	body	128	nan
0.0ms	4×	body	128	overflowed
0.0ms	4×	body	128	invalid

simplify105.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	5094	11

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.1b

Counts

2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(pow.f64 l (exp.f64 w))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64` `pow-unpow_binary64` `add-cube-cbrt_binary64` `unpow-prod-down_binary64` `add-sqr-sqrt_binary64`
2×	`pow1_binary64` `add-exp-log_binary64`
1×	`pow-to-exp_binary64` `add-log-exp_binary64` `pow-pow_binary64` `sqr-pow_binary64` `add-cbrt-cube_binary64` `pow-exp_binary64`

Counts

1 → 17

Calls

1 calls:

2.0ms

(pow.f64 l (exp.f64 w))

series111.0ms

Counts

1 → 3

Calls

1 calls:

111.0ms

(pow.f64 l (exp.f64 w))

simplify55.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4981	217
1	4981	217

prune19.0ms

Filtered

13 candidates to 20 candidates (-53.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	16	4	20
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	18	4	22

Merged error: 0.0b

Counts

22 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
0.2b	(cbrt.f64 (exp.f64 w))
0.2b	(cbrt.f64 (exp.f64 w))
0.2b	(cbrt.f64 (exp.f64 w))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
10×	`unpow-prod-down_binary64`
6×	`pow-unpow_binary64` `add-exp-log_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-cbrt-cube_binary64` `pow-exp_binary64`
3×	`pow1/3_binary64`
2×	`pow-to-exp_binary64` `sqr-pow_binary64`
1×	`pow-pow_binary64`

Counts

4 → 59

Calls

4 calls:

5.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
2.0ms	(cbrt.f64 (exp.f64 w))
2.0ms	(cbrt.f64 (exp.f64 w))
2.0ms	(cbrt.f64 (exp.f64 w))

series786.0ms

Counts

4 → 12

Calls

4 calls:

457.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
108.0ms	(cbrt.f64 (exp.f64 w))
118.0ms	(cbrt.f64 (exp.f64 w))
103.0ms	(cbrt.f64 (exp.f64 w))

simplify45.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4940	983
1	4940	983

prune61.0ms

Filtered

56 candidates to 71 candidates (-26.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	71	4	75

Merged error: 0.0b

Counts

75 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)))
0.1b	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
0.2b	(cbrt.f64 (exp.f64 w))
0.3b	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

37×	`unpow-prod-down_binary64`
26×	`cbrt-prod_binary64`
19×	`pow-unpow_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
13×	`pow-exp_binary64`
9×	`add-exp-log_binary64`
7×	`sqr-pow_binary64`
5×	`pow-to-exp_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-cbrt-cube_binary64`
2×	`pow1/3_binary64` `pow-pow_binary64`

Counts

4 → 91

Calls

4 calls:

6.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)))
7.0ms	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
2.0ms	(cbrt.f64 (exp.f64 w))
5.0ms	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))

series1.4s

Counts

4 → 12

Calls

4 calls:

467.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)))
724.0ms	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
114.0ms	(cbrt.f64 (exp.f64 w))
135.0ms	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))

simplify96.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4936	2668
1	4936	2668

prune113.0ms

Filtered

72 candidates to 103 candidates (-43.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	103	4	107

Merged error: 0.0b

Counts

107 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
2.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)

series636.0ms

Counts

4 → 12

Calls

4 calls:

174.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
151.0ms	(cbrt.f64 l)
152.0ms	(cbrt.f64 l)
158.0ms	(cbrt.f64 l)

simplify61.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4935	588
1	4935	588

prune57.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	85	4	89

Merged error: 0.0b

Counts

89 → 4

regimes33.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	33
1	13	33

end0.0ms

sample12.0s

Algorithm

intervals

Results

9.3s	4784×	body	8192	exit
1.3s	3232×	body	1024	nan
514.0ms	8000×	body	128	valid
324.0ms	1684×	body	512	nan
93.0ms	821×	body	256	nan
16.0ms	341×	body	128	nan
10.0ms	148×	body	128	overflowed
8.0ms	113×	body	128	invalid
4.0ms	1×	body	8192	nan
3.0ms	2×	body	4096	nan
2.0ms	3×	body	2048	nan

Details

analyze649.0ms

sample369.0ms

simplify105.0ms

prune6.0ms

localize5.0ms

rewrite3.0ms

series111.0ms

simplify55.0ms

prune19.0ms

localize9.0ms

rewrite15.0ms

series786.0ms

simplify45.0ms

prune61.0ms

localize14.0ms

rewrite29.0ms

series1.4s

simplify96.0ms

prune113.0ms

localize11.0ms

rewrite17.0ms

series636.0ms

simplify61.0ms

prune57.0ms

regimes33.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample12.0s

Profiling