Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.3%	13
66.6%	0%	33.3%	14

sample11.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify115.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4759	9
1	4759	9

prune5.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

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.1b	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
7×	`add-exp-log_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
3×	`associate-l_binary64` `prod-exp_binary64`
2×	`pow1_binary64` `sqr-pow_binary64`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `flip--_binary64` `pow-exp_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

2 → 42

Calls

2 calls:

9.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
6.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

series14.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
5.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

simplify34.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5007	382

prune36.0ms

Filtered

31 candidates to 48 candidates (-54.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	47	3	50

Merged error: 0b

Counts

50 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
0.2b	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64`
2×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-r_binary64` `associate-l_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

2 → 33

Calls

2 calls:

5.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
8.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

series14.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
4.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

simplify61.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5377	309

prune19.0ms

Filtered

21 candidates to 39 candidates (-85.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	39	3	42

Merged error: 0b

Counts

42 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))))

0.1b

(*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))

0.2b

(*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64` `associate-l_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-cbrt-cube_binary64` `prod-exp_binary64` `sqrt-prod_binary64`
8×	`unswap-sqr_binary64`
7×	`associate-r_binary64`
5×	`add-log-exp_binary64` `pow1_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
4×	`cbrt-unprod_binary64`
3×	`sqr-pow_binary64`
2×	`pow-to-exp_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

3 → 71

Calls

3 calls:

5.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))))

8.0ms

(*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))

9.0ms

(*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968)))

series33.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))))

7.0ms

(*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))

10.0ms

(*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968)))

simplify57.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5064	662

prune40.0ms

Filtered

49 candidates to 80 candidates (-63.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

83 → 3

regimes18.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	11
1	55	11

end0.0ms

sample306.0ms

Algorithm

intervals

Results

223.0ms

8000×

body

valid

Details

analyze4.0ms

sample11.0ms

simplify115.0ms

prune5.0ms

localize6.0ms

rewrite16.0ms

series14.0ms

simplify34.0ms

prune36.0ms

localize6.0ms

rewrite14.0ms

series14.0ms

simplify61.0ms

prune19.0ms

localize8.0ms

rewrite23.0ms

series33.0ms

simplify57.0ms

prune40.0ms

regimes18.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample306.0ms

Profiling