Details

analyze48.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
50%	50%	0.1%	3
50%	50%	0.1%	4
50%	50%	0.1%	5
62.4%	37.5%	0.1%	6
74.9%	25%	0.1%	7
81.2%	18.7%	0.1%	8
87.4%	12.5%	0.1%	9
90.5%	9.4%	0.1%	10
93.7%	6.2%	0.1%	11
95.2%	4.7%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

sample14.0ms

Algorithm

intervals

Results

8.0ms

256×

body

128

valid

simplify235.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (228.0ms)

Iter	Nodes	Cost
0	3112	16
1	3112	16

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
16×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`associate-/r*_binary64`
5×	`add-log-exp_binary64`
4×	`distribute-lft-out_binary64` `associate-/l*_binary64`
3×	`pow1_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `div-inv_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `flip-+_binary64`

Counts

3 → 68

Calls

3 calls:

5.0ms	(/.f64 (*.f64 x y) 2)
11.0ms	(-.f64 x (/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2))))
12.0ms	(/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2)))

series193.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/.f64 (*.f64 x y) 2)
55.0ms	(-.f64 x (/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2))))
107.0ms	(/.f64 y (+.f64 1 (/.f64 (*.f64 x y) 2)))

simplify83.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4909	1394
1	4909	1394

prune71.0ms

Filtered

59 candidates to 77 candidates (-30.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	4	78

Merged error: 0b

Counts

78 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2)))))
0.0b	(/.f64 (*.f64 y x) 2)
0.4b	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
8.4b	(.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

39×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
29×	`times-frac_binary64`
24×	`add-cube-cbrt_binary64`
19×	`add-exp-log_binary64`
18×	`associate-r_binary64`
16×	`add-cbrt-cube_binary64`
7×	`associate-/r*_binary64` `pow1_binary64` `distribute-lft-out_binary64`
6×	`add-log-exp_binary64`
4×	`cbrt-undiv_binary64` `associate-/r/_binary64` `prod-exp_binary64` `associate-/l*_binary64` `div-exp_binary64`
3×	`cbrt-unprod_binary64` `associate-l_binary64` `unswap-sqr_binary64` `div-inv_binary64`
2×	`flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-r/_binary64` `inv-pow_binary64` `un-div-inv_binary64` `flip--_binary64` `pow-flip_binary64` `-commutative_binary64`

Counts

4 → 108

Calls

4 calls:

3.0ms	(-.f64 x (.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2)))))
5.0ms	(/.f64 (*.f64 y x) 2)
7.0ms	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
15.0ms	(.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2))))

series273.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 x (.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2)))))
28.0ms	(/.f64 (*.f64 y x) 2)
82.0ms	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
110.0ms	(.f64 y (/.f64 1 (+.f64 1 (/.f64 (.f64 y x) 2))))

simplify95.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4909	1993
1	4909	1993

prune84.0ms

Filtered

77 candidates to 120 candidates (-55.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	120	4	124

Merged error: 0b

Counts

124 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)))
0.0b	(/.f64 (*.f64 y x) 2)
0.1b	(/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y))
8.8b	(/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

117×	`times-frac_binary64`
101×	`*-un-lft-identity_binary64`
78×	`add-sqr-sqrt_binary64`
64×	`add-cube-cbrt_binary64`
22×	`associate-/r*_binary64`
19×	`add-exp-log_binary64`
16×	`distribute-lft-out_binary64` `add-cbrt-cube_binary64`
8×	`associate-/l*_binary64` `div-inv_binary64`
7×	`div-exp_binary64`
6×	`add-log-exp_binary64` `cbrt-undiv_binary64`
5×	`pow1_binary64` `difference-of-squares_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`associate-/l/_binary64` `rec-exp_binary64` `distribute-lft-out--_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `inv-pow_binary64` `prod-exp_binary64` `flip--_binary64` `pow-flip_binary64` `flip-+_binary64`

Counts

4 → 158

Calls

4 calls:

22.0ms	(-.f64 x (/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)))
5.0ms	(/.f64 (*.f64 y x) 2)
11.0ms	(/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y))
8.0ms	(/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)

series275.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 x (/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)))
33.0ms	(/.f64 (*.f64 y x) 2)
117.0ms	(/.f64 1 (/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y))
71.0ms	(/.f64 (+.f64 1 (/.f64 (*.f64 y x) 2)) y)

simplify91.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4920	3777
1	4920	3777

prune120.0ms

Filtered

104 candidates to 170 candidates (-63.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	169	1	170
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	170	4	174

Merged error: 0b

Counts

174 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 y x) 2)
0.0b	(-.f64 x (/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y)))
0.4b	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
8.5b	(/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

609×	`times-frac_binary64`
360×	`*-un-lft-identity_binary64`
295×	`add-sqr-sqrt_binary64`
260×	`add-cube-cbrt_binary64`
46×	`distribute-lft-out_binary64`
36×	`add-exp-log_binary64` `div-inv_binary64`
31×	`associate-/r/_binary64`
23×	`add-cbrt-cube_binary64`
22×	`associate-/l*_binary64`
20×	`associate-/r*_binary64`
18×	`div-exp_binary64`
15×	`flip3-+_binary64` `flip-+_binary64`
11×	`cbrt-undiv_binary64`
10×	`difference-of-squares_binary64`
7×	`rec-exp_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
1×	`associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `inv-pow_binary64` `prod-exp_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `pow-flip_binary64`

Counts

4 → 369

Calls

4 calls:

5.0ms	(/.f64 (*.f64 y x) 2)
75.0ms	(-.f64 x (/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y)))
11.0ms	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
19.0ms	(/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y))

series275.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/.f64 (*.f64 y x) 2)
57.0ms	(-.f64 x (/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y)))
74.0ms	(/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2)))
109.0ms	(/.f64 (/.f64 1 (+.f64 1 (/.f64 (*.f64 y x) 2))) (/.f64 1 y))

simplify157.0ms

Algorithm

egg-herbie

Counts

381 → 381

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5105	11807

prune258.0ms

Filtered

169 candidates to 381 candidates (-125.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	381	0	381
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	381	4	385

Merged error: 0b

Counts

385 → 4

regimes24.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	59	19
1	59	19

end0.0ms

sample386.0ms

Algorithm

intervals

Results

249.0ms	7999×	body	128	valid
0.0ms	1×	body	2048	valid

Details

analyze48.0ms

sample14.0ms

simplify235.0ms

prune2.0ms

localize7.0ms

rewrite34.0ms

series193.0ms

simplify83.0ms

prune71.0ms

localize8.0ms

rewrite40.0ms

series273.0ms

simplify95.0ms

prune84.0ms

localize8.0ms

rewrite61.0ms

series275.0ms

simplify91.0ms

prune120.0ms

localize10.0ms

rewrite164.0ms

series275.0ms

simplify157.0ms

prune258.0ms

regimes24.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample386.0ms

Profiling