Details

analyze1.1s (7.1%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5013	192
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14
41%	16.6%	42.5%	14

Compiler

Compiled 76 to 48 computations (36.8% saved)

sample1.7s (10.5%)

Algorithm

2×

intervals

Results

89.0ms	489×	body	256	valid
45.0ms	444×	body	128	nan
2.0ms	23×	body	128	valid

Compiler

Compiled 18391 to 13064 computations (29% saved)

simplify230.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

prune7.0ms (0%)

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

Error

33.7b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

8.0b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
9.5b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite152.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

30.7b

Rules

14×	`add-sqr-sqrt_binary64_3510`
11×	`cbrt-prod_binary64_3519`
10×	`*-un-lft-identity_binary64_3488`
9×	`sqrt-prod_binary64_3504`
8×	`add-cube-cbrt_binary64_3523`
6×	`pow1_binary64_3549` `times-frac_binary64_3494`
4×	`add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `flip3--_binary64_3492` `flip--_binary64_3463` `rem-sqrt-square_binary64_3501` `pow1/3_binary64_3570` `cbrt-div_binary64_3520`
1×	`distribute-lft-out--_binary64_3440` `div-inv_binary64_3485` `associate-*l/_binary64_3431`

Counts

4 → 61

Calls

4 calls:

8.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2510 to 735 computations (70.7% saved)

series1.8s (11.5%)

Error

30.5b

Counts

4 → 48

Calls

4 calls:

876.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
592.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
130.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
126.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4924 to 3523 computations (28.5% saved)

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4967	2604
1	4967	2604

prune247.0ms (1.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	91	18	109
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	92	19	111

Error

30.4b

Counts

111 → 19

Compiler

Compiled 4796 to 1925 computations (59.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
8.0b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite129.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

30.4b

Rules

8×	`add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-div_binary64_3505`
3×	`flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501`
1×	`pow1/3_binary64_3570` `associate-*l/_binary64_3431` `cbrt-div_binary64_3520` `cbrt-prod_binary64_3519` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 55

Calls

4 calls:

9.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
5.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2250 to 691 computations (69.3% saved)

series1.1s (7.1%)

Error

29.8b

Counts

4 → 47

Calls

4 calls:

595.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
170.0ms	(-.f64 (.f64 g g) (.f64 h h))
132.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
132.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4133 to 2856 computations (30.9% saved)

simplify53.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5134	1629

prune212.0ms (1.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	97	5	102
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	102	19	121

Error

29.7b

Counts

121 → 19

Compiler

Compiled 4330 to 1723 computations (60.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.2b	(-.f64 (.f64 g g) (.f64 h h))
3.2b	(-.f64 (.f64 g g) (.f64 h h))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite122.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

29.7b

Rules

8×	`add-log-exp_binary64_3527` `add-sqr-sqrt_binary64_3510` `sqrt-prod_binary64_3504`
6×	`pow1_binary64_3549` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
4×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `flip3--_binary64_3492` `sqrt-div_binary64_3505` `flip--_binary64_3463` `difference-of-squares_binary64_3457`
2×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `rem-sqrt-square_binary64_3501` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454`

Counts

4 → 58

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2410 to 746 computations (69% saved)

series675.0ms (4.3%)

Error

29.7b

Counts

4 → 50

Calls

4 calls:

173.0ms	(-.f64 (.f64 g g) (.f64 h h))
160.0ms	(-.f64 (.f64 g g) (.f64 h h))
135.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
123.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4114 to 2767 computations (32.7% saved)

simplify64.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5177	1476

prune237.0ms (1.5%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	18	18
Picked	1	0	1
Done	0	0	0
Total	106	21	127

Error

29.7b

Counts

127 → 21

Compiler

Compiled 4723 to 1880 computations (60.2% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.9b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite173.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

29.7b

Rules

16×	`sqrt-prod_binary64_3504`
12×	`add-sqr-sqrt_binary64_3510`
8×	`pow1_binary64_3549` `add-cube-cbrt_binary64_3523` `sqrt-div_binary64_3505` `*-un-lft-identity_binary64_3488`
4×	`pow1/2_binary64_3568` `add-log-exp_binary64_3527` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `sqrt-pow1_binary64_3506` `flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-squares_binary64_3457` `rem-sqrt-square_binary64_3501`

Counts

4 → 64

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4228 to 784 computations (81.5% saved)

series678.0ms (4.3%)

Error

29.7b

Counts

4 → 52

Calls

4 calls:

148.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
140.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
138.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
134.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 7292 to 3212 computations (56% saved)

simplify65.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5023	1860

prune247.0ms (1.6%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	1	19	20
Picked	0	1	1
Done	0	0	0
Total	116	21	137

Error

29.7b

Counts

137 → 21

Compiler

Compiled 7148 to 1692 computations (76.3% saved)

regimes1.9s (12.2%)

Accuracy

Total 1.7b remaining (5.2%)

Threshold costs 0b (0%)

Compiler

Compiled 22439 to 13550 computations (39.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	52
1	51	52

end0.0ms (0%)

sample4.7s (29.9%)

Algorithm

1×

intervals

Results

1.4s	7553×	body	256	valid
705.0ms	7951×	body	128	nan
49.0ms	447×	body	128	valid

Compiler

Compiled 3262 to 1969 computations (39.6% saved)

Details

analyze1.1s (7.1%)

sample1.7s (10.5%)

simplify230.0ms (1.5%)

prune7.0ms (0%)

localize18.0ms (0.1%)

rewrite152.0ms (1%)

series1.8s (11.5%)

simplify47.0ms (0.3%)

prune247.0ms (1.6%)

localize23.0ms (0.1%)

rewrite129.0ms (0.8%)

series1.1s (7.1%)

simplify53.0ms (0.3%)

prune212.0ms (1.3%)

localize25.0ms (0.2%)

rewrite122.0ms (0.8%)

series675.0ms (4.3%)

simplify64.0ms (0.4%)

prune237.0ms (1.5%)

localize26.0ms (0.2%)

rewrite173.0ms (1.1%)

series678.0ms (4.3%)

simplify65.0ms (0.4%)

prune247.0ms (1.6%)

regimes1.9s (12.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample4.7s (29.9%)

Profiling