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

sample676.0ms

Algorithm

intervals

Results

427.0ms	1884×	body	80	invalid
58.0ms	256×	body	80	valid

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5427	95

prune19.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: 28.3b

Counts

2 → 1

localize85.0ms

Local error

Found 4 expressions with local error:

8.8b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.8b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

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

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

series280.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5004	2800

prune343.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	107	17	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	17	125

Merged error: 21.1b

Counts

125 → 17

localize71.0ms

Local error

Found 4 expressions with local error:

9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
9.8b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

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:

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

series252.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
63.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
61.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
65.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

simplify55.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5089	2800

prune308.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	123	18	141

Merged error: 21.1b

Counts

141 → 18

localize83.0ms

Local error

Found 4 expressions with local error:

9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
9.8b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

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:

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

series251.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
62.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 b a) (*.f64 i c)))
63.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
66.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

simplify59.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5089	2800

prune304.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	124	18	142

Merged error: 21.1b

Counts

142 → 18

localize72.0ms

Local error

Found 4 expressions with local error:

8.7b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.8b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

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

series252.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5004	2800

prune161.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	119	5	124
Fresh	0	15	15
Picked	1	0	1
Done	0	2	2
Total	120	22	142

Merged error: 19.8b

Counts

142 → 22

regimes5.8s

bsearch728.0ms

Steps

Iters	Range		Point
9	2.397760382921155e-84	1.7085218740174473e-78	1.9468420221196857e-80
7	2.277886947560891e-302	2.6079205053202543e-300	2.568531302927676e-301

simplify58.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	2094	344
1	2094	344

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.9s	7665×	body	80	invalid
216.0ms	987×	body	80	valid

Details

analyze4.9s

sample676.0ms

simplify34.0ms

prune19.0ms

localize85.0ms

rewrite92.0ms

series280.0ms

simplify44.0ms

prune343.0ms

localize71.0ms

rewrite48.0ms

series252.0ms

simplify55.0ms

prune308.0ms

localize83.0ms

rewrite47.0ms

series251.0ms

simplify59.0ms

prune304.0ms

localize72.0ms

rewrite51.0ms

series252.0ms

simplify48.0ms

prune161.0ms

regimes5.8s

bsearch728.0ms

simplify58.0ms

end0.0ms

sample2.9s

Profiling