Details

analyze5.2s

Algorithm

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

sample786.0ms

Algorithm

intervals

Results

499.0ms	2213×	body	80	invalid
63.0ms	256×	body	80	valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5138	142

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 23.1b

Counts

2 → 1

localize64.0ms

Local error

Found 4 expressions with local error:

7.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
7.5b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.7b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series796.0ms

Counts

4 → 12

Calls

4 calls:

201.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
207.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
196.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
192.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify87.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5006	4158

prune339.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	103	21	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	21	125

Merged error: 16.9b

Counts

125 → 21

localize76.0ms

Local error

Found 4 expressions with local error:

6.9b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
7.5b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.7b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series794.0ms

Counts

4 → 12

Calls

4 calls:

197.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
202.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
196.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
199.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify86.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5008	4158

prune354.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	120	4	124
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	121	24	145

Merged error: 15.6b

Counts

145 → 24

localize78.0ms

Local error

Found 4 expressions with local error:

7.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.7b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series798.0ms

Counts

4 → 12

Calls

4 calls:

199.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
200.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
200.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
200.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify95.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5070	4116

prune313.0ms

Filtered

96 candidates to 124 candidates (-29.2%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	23	23
Picked	1	0	1
Done	0	0	0
Total	124	24	148

Merged error: 15.6b

Counts

148 → 24

localize77.0ms

Local error

Found 4 expressions with local error:

6.9b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
7.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
7.5b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.7b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series821.0ms

Counts

4 → 12

Calls

4 calls:

229.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
197.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
200.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
195.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify86.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5060	4164

prune238.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	120	4	124
Fresh	3	20	23
Picked	1	0	1
Done	0	0	0
Total	124	24	148

Merged error: 15.3b

Counts

148 → 24

regimes1.8s

Accuracy

-9.8% (9.5b remaining)

Error of 27.3b against oracle of 17.8b and baseline of 26.5b

bsearch776.0ms

Steps

Iters	Range		Point
8	6.28773462756503e-156	2.4903621514705362e-151	8.943296080582106e-155
9	7.003083601479292e-269	6.158487407845079e-261	4.234086654723081e-263

simplify62.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	1659	534
1	1659	534

end0.0ms

sample22.1s

Algorithm

intervals

Results

14.4s	64282×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze5.2s

sample786.0ms

simplify60.0ms

prune6.0ms

localize64.0ms

rewrite43.0ms

series796.0ms

simplify87.0ms

prune339.0ms

localize76.0ms

rewrite44.0ms

series794.0ms

simplify86.0ms

prune354.0ms

localize78.0ms

rewrite44.0ms

series798.0ms

simplify95.0ms

prune313.0ms

localize77.0ms

rewrite45.0ms

series821.0ms

simplify86.0ms

prune238.0ms

regimes1.8s

bsearch776.0ms

simplify62.0ms

end0.0ms

sample22.1s

Profiling