Details

analyze343.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
28.1%	67.9%	4%	9
40.6%	53%	6.4%	10
49.1%	42.9%	7.9%	11
51.5%	37.7%	10.8%	12
59.1%	26.9%	14%	13
63.7%	21.8%	14.5%	14

sample15.0ms

Algorithm

intervals

Results

7.0ms	246×	body	128	valid
0.0ms	4×	body	1024	valid
0.0ms	15×	body	128	invalid
0.0ms	5×	body	512	valid
0.0ms	1×	body	256	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	31	13
1	31	13

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

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
2×	`associate-+l+_binary64`
1×	`flip3-+_binary64` `*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

1 → 13

Calls

1 calls:

8.0ms

(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))

simplify61.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5023	279

prune25.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	12	4	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	13	4	17

Merged error: 0.0b

Counts

17 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 z (+.f64 x 5))
0.0b	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-l_binary64`
2×	`flip3-+_binary64` `associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `associate-+r+_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 36

Calls

2 calls:

7.0ms	(*.f64 z (+.f64 x 5))
5.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))

series101.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(*.f64 z (+.f64 x 5))
54.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))

simplify83.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4961	518
1	4961	518

prune30.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	41	5	46

Merged error: 0.0b

Counts

46 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) 25)
0.0b	(+.f64 (.f64 y x) (/.f64 (.f64 z (-.f64 (*.f64 x x) 25)) (-.f64 x 5)))
2.7b	(.f64 z (-.f64 (.f64 x x) 25))
7.6b	(/.f64 (.f64 z (-.f64 (.f64 x x) 25)) (-.f64 x 5))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`pow1_binary64`
5×	`associate-/r*_binary64` `times-frac_binary64`
4×	`flip3--_binary64` `associate-r_binary64` `associate-*r/_binary64` `difference-of-squares_binary64` `flip--_binary64`
3×	`sub-neg_binary64` `associate-l_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `prod-exp_binary64` `distribute-lft-out--_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `diff-log_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` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 75

Calls

4 calls:

5.0ms	(-.f64 (*.f64 x x) 25)
18.0ms	(+.f64 (.f64 y x) (/.f64 (.f64 z (-.f64 (*.f64 x x) 25)) (-.f64 x 5)))
8.0ms	(.f64 z (-.f64 (.f64 x x) 25))
12.0ms	(/.f64 (.f64 z (-.f64 (.f64 x x) 25)) (-.f64 x 5))

series444.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(-.f64 (*.f64 x x) 25)
142.0ms	(+.f64 (.f64 y x) (/.f64 (.f64 z (-.f64 (*.f64 x x) 25)) (-.f64 x 5)))
101.0ms	(.f64 z (-.f64 (.f64 x x) 25))
149.0ms	(/.f64 (.f64 z (-.f64 (.f64 x x) 25)) (-.f64 x 5))

simplify61.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4980	1409
1	4980	1409

prune67.0ms

Filtered

61 candidates to 87 candidates (-42.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	89	3	92

Merged error: 0.0b

Counts

92 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) 25)
0.0b	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 x 5) (-.f64 (.f64 x x) 25))))
0.4b	(/.f64 z (/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25)))
8.5b	(/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac_binary64`
151×	`add-sqr-sqrt_binary64`
124×	`*-un-lft-identity_binary64`
82×	`add-cube-cbrt_binary64`
48×	`difference-of-squares_binary64`
30×	`associate-/r*_binary64`
21×	`distribute-lft-out--_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/r/_binary64`
8×	`add-log-exp_binary64` `associate-/l*_binary64`
7×	`flip3--_binary64` `flip--_binary64`
6×	`div-inv_binary64`
4×	`pow1_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `div-sub_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 191

Calls

4 calls:

5.0ms	(-.f64 (*.f64 x x) 25)
26.0ms	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 x 5) (-.f64 (.f64 x x) 25))))
15.0ms	(/.f64 z (/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25)))
10.0ms	(/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25))

series356.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(-.f64 (*.f64 x x) 25)
138.0ms	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 x 5) (-.f64 (.f64 x x) 25))))
138.0ms	(/.f64 z (/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25)))
30.0ms	(/.f64 (-.f64 x 5) (-.f64 (*.f64 x x) 25))

simplify94.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5032	5289

prune195.0ms

Filtered

155 candidates to 203 candidates (-31.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	203	0	203
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	203	3	206

Merged error: 0.0b

Counts

206 → 3

regimes31.0ms

Accuracy

0% (0.0b 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	13	13
1	13	13

end0.0ms

sample432.0ms

Algorithm

intervals

Results

212.0ms	7685×	body	128	valid
17.0ms	614×	body	128	invalid
17.0ms	168×	body	1024	valid
7.0ms	94×	body	512	valid
3.0ms	53×	body	256	valid

Details

analyze343.0ms

sample15.0ms

simplify9.0ms

prune1.0ms

localize7.0ms

rewrite9.0ms

series55.0ms

simplify61.0ms

prune25.0ms

localize6.0ms

rewrite14.0ms

series101.0ms

simplify83.0ms

prune30.0ms

localize10.0ms

rewrite49.0ms

series444.0ms

simplify61.0ms

prune67.0ms

localize10.0ms

rewrite86.0ms

series356.0ms

simplify94.0ms

prune195.0ms

regimes31.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample432.0ms

Profiling