Details

analyze540.0ms (7.8%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5216	32
0	2	2
1	2	2

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
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14
96%	3.9%	0.1%	14

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample128.0ms (1.8%)

Algorithm

2×

intervals

Results

12.0ms	408×	body	128	valid
5.0ms	41×	body	1024	valid
4.0ms	42×	body	512	valid
1.0ms	21×	body	256	valid

Compiler

Compiled 3107 to 3364 computations (-8.3% saved)

simplify183.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (177.0ms)

Iter	Nodes	Cost
0	4852	16
1	4852	16

prune3.0ms (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

Error

21.3b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
1.9b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
8.7b	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

rewrite137.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

11.7b

Rules

21×	`*-un-lft-identity_binary64_18833`
17×	`add-sqr-sqrt_binary64_18855`
10×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869` `cancel-sign-sub-inv_binary64_18799`
9×	`add-cube-cbrt_binary64_18868`
8×	`times-frac_binary64_18839`
6×	`associate-l_binary64_18774`
5×	`pow1_binary64_18894` `add-log-exp_binary64_18872`
4×	`associate-l/_binary64_18776` `associate-/r/_binary64_18779` `associate-/r_binary64_18777` `difference-of-squares_binary64_18802`
3×	`distribute-lft-out_binary64_18784` `flip3--_binary64_18837` `flip--_binary64_18808` `associate-r_binary64_18773`
2×	`prod-exp_binary64_18882` `div-exp_binary64_18884` `cbrt-undiv_binary64_18867` `cbrt-unprod_binary64_18866` `div-inv_binary64_18830` `associate-/l/_binary64_18780` `flip3-+_binary64_18836` `flip-+_binary64_18807` `distribute-lft-out--_binary64_18785`
1×	`frac-2neg_binary64_18844` `clear-num_binary64_18832` `associate-/l_binary64_18778` `diff-log_binary64_18925` `sub-neg_binary64_18826` `pow-prod-down_binary64_18904` `unswap-sqr_binary64_18801` `-commutative_binary64_18764`

Counts

3 → 74

Calls

3 calls:

9.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
8.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1435 to 1072 computations (25.3% saved)

series486.0ms (7%)

Error

0.0b

Counts

3 → 41

Calls

3 calls:

195.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
165.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
86.0ms	(*.f64 (-.f64 1 x) y)

Compiler

Compiled 1342 to 998 computations (25.6% saved)

simplify70.0ms (1%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5560	1710

prune112.0ms (1.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	3	116

Error

0.0b

Counts

116 → 3

Compiler

Compiled 1732 to 1041 computations (39.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (+.f64 y 1))
0.0b	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
1.9b	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

rewrite154.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`*-un-lft-identity_binary64_18833`
33×	`add-sqr-sqrt_binary64_18855`
25×	`add-cube-cbrt_binary64_18868` `times-frac_binary64_18839`
18×	`associate-l_binary64_18774`
13×	`cancel-sign-sub-inv_binary64_18799`
10×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
8×	`distribute-rgt-in_binary64_18783` `associate--r+_binary64_18769` `distribute-lft-in_binary64_18782`
7×	`distribute-lft-out_binary64_18784`
6×	`associate-r_binary64_18773`
5×	`add-log-exp_binary64_18872` `pow1_binary64_18894` `sub-neg_binary64_18826`
4×	`associate-/r/_binary64_18779` `associate-/r*_binary64_18777`
3×	`flip3--_binary64_18837` `flip--_binary64_18808` `associate-/l*_binary64_18778`
2×	`div-exp_binary64_18884` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `cbrt-undiv_binary64_18867` `frac-times_binary64_18843` `unswap-sqr_binary64_18801` `associate-*r/_binary64_18775` `div-inv_binary64_18830` `flip3-+_binary64_18836` `flip-+_binary64_18807` `difference-of-squares_binary64_18802`
1×	`diff-log_binary64_18925` `pow-prod-down_binary64_18904` `associate-l/_binary64_18776` `distribute-lft-out--_binary64_18785` `-commutative_binary64_18764` `frac-2neg_binary64_18844` `clear-num_binary64_18832`

Counts

3 → 105

Calls

3 calls:

14.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
5.0ms	(/.f64 y (+.f64 y 1))
5.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))

Compiler

Compiled 2095 to 1479 computations (29.4% saved)

series451.0ms (6.5%)

Error

0.0b

Counts

3 → 42

Calls

3 calls:

204.0ms	(-.f64 1 (*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x)))
173.0ms	(*.f64 (/.f64 y (+.f64 y 1)) (-.f64 1 x))
42.0ms	(/.f64 y (+.f64 y 1))

Compiler

Compiled 1376 to 1052 computations (23.5% saved)

simplify74.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4973	2238
1	4973	2238

prune149.0ms (2.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	148	2	150

Error

0.0b

Counts

150 → 2

Compiler

Compiled 2408 to 1635 computations (32.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 x -1) (+.f64 1 y))
0.1b	(*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)))
3.8b	(+.f64 1 (*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y))))

rewrite153.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

65×	`*-un-lft-identity_binary64_18833`
41×	`times-frac_binary64_18839`
39×	`add-sqr-sqrt_binary64_18855`
26×	`associate-r_binary64_18773`
25×	`add-cube-cbrt_binary64_18868`
20×	`distribute-lft-out_binary64_18784`
10×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
9×	`difference-of-sqr--1_binary64_18804`
5×	`add-log-exp_binary64_18872` `pow1_binary64_18894` `associate-/l*_binary64_18778`
4×	`flip3-+_binary64_18836` `flip-+_binary64_18807` `associate-/r/_binary64_18779` `associate-/r*_binary64_18777`
3×	`associate-l_binary64_18774`
2×	`div-exp_binary64_18884` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `cbrt-undiv_binary64_18867` `unswap-sqr_binary64_18801` `div-inv_binary64_18830` `associate-/l/_binary64_18780`
1×	`sum-log_binary64_18924` `+-commutative_binary64_18763` `pow-prod-down_binary64_18904` `associate-r/_binary64_18775` `-commutative_binary64_18764` `frac-2neg_binary64_18844` `clear-num_binary64_18832`

Counts

3 → 101

Calls

3 calls:

13.0ms	(*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)))
7.0ms	(/.f64 (+.f64 x -1) (+.f64 1 y))
4.0ms	(+.f64 1 (*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y))))

Compiler

Compiled 2069 to 1566 computations (24.3% saved)

series566.0ms (8.2%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

195.0ms	(+.f64 1 (*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y))))
184.0ms	(*.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)))
142.0ms	(/.f64 (+.f64 x -1) (+.f64 1 y))

Compiler

Compiled 1785 to 1320 computations (26.1% saved)

simplify84.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4978	2495
1	4978	2495

prune155.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

151 → 2

Compiler

Compiled 2524 to 1756 computations (30.4% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(/.f64 1 (*.f64 y y))
2.1b	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
5.6b	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
7.6b	(/.f64 x (*.f64 y y))

rewrite209.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

57×	`*-un-lft-identity_binary64_18833`
27×	`add-log-exp_binary64_18872` `distribute-lft-out_binary64_18784`
20×	`add-exp-log_binary64_18871`
14×	`add-cbrt-cube_binary64_18869`
13×	`div-inv_binary64_18830`
12×	`pow1_binary64_18894` `distribute-lft-out--_binary64_18785`
11×	`add-sqr-sqrt_binary64_18855`
10×	`sum-log_binary64_18924`
9×	`add-cube-cbrt_binary64_18868`
8×	`times-frac_binary64_18839`
6×	`div-exp_binary64_18884` `associate-/l*_binary64_18778` `diff-log_binary64_18925` `flip3-+_binary64_18836` `frac-sub_binary64_18842` `flip-+_binary64_18807` `cancel-sign-sub-inv_binary64_18799` `pow-flip_binary64_18907`
4×	`prod-exp_binary64_18882` `cbrt-undiv_binary64_18867`
3×	`frac-add_binary64_18841`
2×	`cbrt-unprod_binary64_18866` `frac-2neg_binary64_18844` `clear-num_binary64_18832` `associate-/r*_binary64_18777` `distribute-rgt-out_binary64_18786` `1-exp_binary64_18877` `rec-exp_binary64_18883`
1×	`flip3--_binary64_18837` `sub-neg_binary64_18826` `flip--_binary64_18808` `difference-of-squares_binary64_18802` `associate--l+_binary64_18770` `associate--r+_binary64_18769` `+-commutative_binary64_18763` `inv-pow_binary64_18918` `pow2_binary64_18914` `pow-prod-down_binary64_18904` `pow-prod-up_binary64_18903` `pow-plus_binary64_18896` `pow-sqr_binary64_18806`

Counts

4 → 111

Calls

4 calls:

27.0ms	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
10.0ms	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
5.0ms	(/.f64 1 (*.f64 y y))
4.0ms	(/.f64 x (*.f64 y y))

Compiler

Compiled 3603 to 1529 computations (57.6% saved)

series650.0ms (9.4%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

332.0ms	(-.f64 (+.f64 x (+.f64 (/.f64 1 y) (/.f64 x (.f64 y y)))) (+.f64 (/.f64 x y) (/.f64 1 (.f64 y y))))
149.0ms	(+.f64 (/.f64 x y) (/.f64 1 (*.f64 y y)))
103.0ms	(/.f64 x (*.f64 y y))
33.0ms	(/.f64 1 (*.f64 y y))

Compiler

Compiled 1677 to 1114 computations (33.6% saved)

simplify77.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5108	2791

prune167.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	145	4	149

Error

Counts

149 → 4

Compiler

Compiled 3549 to 1644 computations (53.7% saved)

regimes823.0ms (11.9%)

Accuracy

Total 0.0b remaining (26.3%)

Threshold costs 0.0b (26.3%)

Compiler

Compiled 4713 to 3768 computations (20.1% saved)

bsearch40.0ms (0.6%)

Steps

Iters	Range		Point
9	0.02779069672138447	58074275.630978145	394937.3185555284
7	-818071737.2332847	-3362378.424292791	-3427262.9176493334

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	55
1	49	55

end0.0ms (0%)

sample1.5s (21.1%)

Algorithm

1×

intervals

Results

206.0ms	6302×	body	128	valid
75.0ms	633×	body	1024	valid
58.0ms	651×	body	512	valid
23.0ms	412×	body	256	valid
0.0ms	2×	body	2048	valid

Compiler

Compiled 974 to 768 computations (21.1% saved)

Details

analyze540.0ms (7.8%)

sample128.0ms (1.8%)

simplify183.0ms (2.6%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite137.0ms (2%)

series486.0ms (7%)

simplify70.0ms (1%)

prune112.0ms (1.6%)

localize9.0ms (0.1%)

rewrite154.0ms (2.2%)

series451.0ms (6.5%)

simplify74.0ms (1.1%)

prune149.0ms (2.2%)

localize7.0ms (0.1%)

rewrite153.0ms (2.2%)

series566.0ms (8.2%)

simplify84.0ms (1.2%)

prune155.0ms (2.2%)

localize15.0ms (0.2%)

rewrite209.0ms (3%)

series650.0ms (9.4%)

simplify77.0ms (1.1%)

prune167.0ms (2.4%)

regimes823.0ms (11.9%)

bsearch40.0ms (0.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.5s (21.1%)

Profiling