Details

analyze67.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
12.5%	87.4%	0.1%	4
31.2%	68.7%	0.1%	5
43.7%	56.2%	0.1%	6
54.6%	42.1%	3.2%	7
63.2%	30.4%	6.3%	8
69.9%	21.5%	8.7%	9
75.3%	15.2%	9.5%	10
79%	10.1%	10.8%	11
82%	7%	11%	12
83.9%	4.4%	11.8%	13
84.7%	3.5%	11.8%	14

sample15.0ms

Algorithm

intervals

Results

5.0ms	198×	body	128	valid
2.0ms	25×	body	1024	valid
1.0ms	18×	body	512	valid
1.0ms	15×	body	256	valid
0.0ms	1×	body	128	invalid

simplify186.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (175.0ms)

Iter	Nodes	Cost
0	5075	10

prune4.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.0b

Counts

2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (-.f64 1 y) (*.f64 x y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp_binary64`
2×	`sum-log_binary64`
1×	`flip3-+_binary64` `*-un-lft-identity_binary64` `sub-neg_binary64` `pow1_binary64` `diff-log_binary64` `add-cube-cbrt_binary64` `associate-+l+_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-+l-_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

1 → 14

Calls

1 calls:

7.0ms

(+.f64 (-.f64 1 y) (*.f64 x y))

series29.0ms

Counts

1 → 3

Calls

1 calls:

29.0ms

(+.f64 (-.f64 1 y) (*.f64 x y))

simplify59.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5454	243

prune11.0ms

Filtered

13 candidates to 17 candidates (-30.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	17	2	19

Merged error: 0.0b

Counts

19 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(-.f64 y (*.f64 y x))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
1×	`*-un-lft-identity_binary64` `sub-neg_binary64` `pow1_binary64` `flip3--_binary64` `diff-log_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `flip--_binary64`

Counts

1 → 11

Calls

1 calls:

3.0ms

(-.f64 y (*.f64 y x))

series51.0ms

Counts

1 → 3

Calls

1 calls:

51.0ms

(-.f64 y (*.f64 y x))

simplify119.0ms

Algorithm

egg-herbie

Counts

14 → 14

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4849	160
1	4849	160

prune8.0ms

Filtered

10 candidates to 14 candidates (-40.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

16 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) (-.f64 1 y))
2.0b	(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
6×	`flip3--_binary64` `associate-r_binary64` `associate-l_binary64` `flip--_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `frac-times_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `distribute-lft-out--_binary64` `associate-+r+_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 47

Calls

2 calls:

11.0ms	(*.f64 (-.f64 1 x) (-.f64 1 y))
4.0ms	(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))

series56.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(*.f64 (-.f64 1 x) (-.f64 1 y))
31.0ms	(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))

simplify63.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5274	754

prune40.0ms

Filtered

41 candidates to 53 candidates (-29.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	3	55

Merged error: 0b

Counts

55 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3)))
0.0b	(+.f64 (.f64 x x) (.f64 1 x))
2.7b	(+.f64 x (/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x)))))
15.0b	(/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
12×	`flip3--_binary64` `associate-r_binary64` `flip--_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`difference-of-squares_binary64`
8×	`associate-/l/_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `frac-times_binary64`
6×	`pow1_binary64` `associate-l_binary64`
4×	`associate-/r_binary64` `associate-r/_binary64` `times-frac_binary64` `associate-*l/_binary64`
3×	`flip3-+_binary64` `distribute-lft-out_binary64` `flip-+_binary64`
2×	`sub-neg_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `associate-/r/_binary64` `unpow-prod-down_binary64` `prod-exp_binary64` `cube-prod_binary64` `distribute-lft-out--_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64`
1×	`pow-prod-down_binary64` `distribute-rgt-out_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 97

Calls

4 calls:

16.0ms	(*.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3)))
4.0ms	(+.f64 (.f64 x x) (.f64 1 x))
12.0ms	(+.f64 x (/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x)))))
23.0ms	(/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x))))

series354.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(*.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3)))
51.0ms	(+.f64 (.f64 x x) (.f64 1 x))
141.0ms	(+.f64 x (/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x)))))
90.0ms	(/.f64 (.f64 (-.f64 1 y) (-.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 x x) (.f64 1 x))))

simplify71.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	6178	2309

prune125.0ms

Filtered

85 candidates to 109 candidates (-28.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	109	3	112

Merged error: 0b

Counts

112 → 3

regimes46.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	118	10
1	118	10

end0.0ms

sample418.0ms

Algorithm

intervals

Results

145.0ms	6064×	body	128	valid
66.0ms	684×	body	1024	valid
51.0ms	751×	body	512	valid
26.0ms	497×	body	256	valid
2.0ms	75×	body	128	invalid
0.0ms	4×	body	2048	valid

Details

analyze67.0ms

sample15.0ms

simplify186.0ms

prune4.0ms

localize5.0ms

rewrite9.0ms

series29.0ms

simplify59.0ms

prune11.0ms

localize5.0ms

rewrite4.0ms

series51.0ms

simplify119.0ms

prune8.0ms

localize6.0ms

rewrite19.0ms

series56.0ms

simplify63.0ms

prune40.0ms

localize15.0ms

rewrite67.0ms

series354.0ms

simplify71.0ms

prune125.0ms

regimes46.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample418.0ms

Profiling