Details

analyze4.9s

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

sample747.0ms

Algorithm

intervals

Results

475.0ms	2063×	body	80	invalid
60.0ms	256×	body	80	valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5427	95

prune17.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: 29.5b

Counts

2 → 1

localize66.0ms

Local error

Found 4 expressions with local error:

9.1b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
12.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite47.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 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series229.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5045	2796

prune284.0ms

Filtered

104 candidates to 124 candidates (-19.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	108	16	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	16	125

Merged error: 22.3b

Counts

125 → 16

localize68.0ms

Local error

Found 4 expressions with local error:

11.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
12.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
12.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
12.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite48.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:

11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series226.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
58.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
56.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
57.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

simplify54.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5177	2772

prune218.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	125	15	140

Merged error: 21.6b

Counts

140 → 15

localize76.0ms

Local error

Found 4 expressions with local error:

8.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
11.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
12.3b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite48.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:

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

series224.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5048	2796

prune309.0ms

Filtered

104 candidates to 124 candidates (-19.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	115	9	124
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	117	22	139

Merged error: 19.4b

Counts

139 → 22

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.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:

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

series224.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5209	2772

prune94.0ms

Filtered

96 candidates to 124 candidates (-29.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	124	22	146

Merged error: 18.4b

Counts

146 → 22

regimes5.5s

bsearch1.7s

Steps

Iters	Range		Point
8	6.591871443652252e-69	3.671523732386501e-64	2.415720304441918e-68
3	1.2216031213360047e-107	1.7572021794514222e-107	1.4612145795092878e-107
8	3.743926383696155e-198	1.1479434703992317e-193	1.1159909239333083e-193
8	-5.32642798718477e-254	-3.1923819936447187e-257	-2.0748957956019418e-256
8	-5.7299205715699856e-192	-2.357911193738336e-195	-2.772038918274049e-195
6	-1.8175861366109346e-19	-1.229378760962886e-20	-3.17682637684502e-20

simplify73.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	2715	743
1	2715	743

end0.0ms

sample15.4s

Algorithm

intervals

Results

10.1s	44275×	body	80	invalid
1.2s	5409×	body	80	valid

Details

analyze4.9s

sample747.0ms

simplify36.0ms

prune17.0ms

localize66.0ms

rewrite47.0ms

series229.0ms

simplify48.0ms

prune284.0ms

localize68.0ms

rewrite48.0ms

series226.0ms

simplify54.0ms

prune218.0ms

localize76.0ms

rewrite48.0ms

series224.0ms

simplify49.0ms

prune309.0ms

localize74.0ms

rewrite53.0ms

series224.0ms

simplify51.0ms

prune94.0ms

regimes5.5s

bsearch1.7s

simplify73.0ms

end0.0ms

sample15.4s

Profiling