Details

analyze36.0ms (1.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
59.3%	40.6%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample18.0ms (0.9%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify149.0ms (7.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	782	10
1	782	10

prune2.0ms (0.1%)

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

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(/.f64 (-.f64 x y) (+.f64 x y))

rewrite13.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64_17810`
22×	`add-sqr-sqrt_binary64_17832`
20×	`times-frac_binary64_17816`
12×	`add-cube-cbrt_binary64_17845`
6×	`distribute-lft-out_binary64_17761`
5×	`associate-/l*_binary64_17755` `difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
4×	`associate-/r*_binary64_17754`
3×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
2×	`associate-/r/_binary64_17756` `associate-/l/_binary64_17757`
1×	`flip3--_binary64_17814` `clear-num_binary64_17809` `div-inv_binary64_17807` `flip-+_binary64_17784` `flip--_binary64_17785` `div-exp_binary64_17861` `flip3-+_binary64_17813` `add-log-exp_binary64_17849` `cbrt-undiv_binary64_17844` `div-sub_binary64_17815` `pow1_binary64_17871` `frac-2neg_binary64_17821`

Counts

1 → 46

Calls

2 calls:

9.0ms	(/.f64 (-.f64 x y) (+.f64 x y))
0.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

series87.0ms (4.3%)

Counts

1 → 18

Calls

1 calls:

87.0ms

(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 312 to 288 computations (7.7% saved)

simplify40.0ms (2%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5122	987

prune46.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Error

Counts

65 → 3

Compiler

Compiled 807 to 218 computations (73% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
0.0b	(/.f64 x (+.f64 x y))
0.0b	(/.f64 x (+.f64 x y))
0.0b	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))

rewrite43.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`*-un-lft-identity_binary64_17810`
40×	`times-frac_binary64_17816`
33×	`add-sqr-sqrt_binary64_17832`
21×	`add-cube-cbrt_binary64_17845`
18×	`cancel-sign-sub-inv_binary64_17776`
11×	`distribute-lft-out_binary64_17761`
8×	`associate-/r/_binary64_17756`
7×	`distribute-lft-out--_binary64_17762`
4×	`associate-/r*_binary64_17754` `div-inv_binary64_17807` `flip-+_binary64_17784` `add-exp-log_binary64_17848` `difference-of-squares_binary64_17779` `flip3-+_binary64_17813` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846`
3×	`associate-/l*_binary64_17755` `distribute-rgt-out--_binary64_17764`
2×	`pow1_binary64_17871`
1×	`flip3--_binary64_17814` `clear-num_binary64_17809` `flip--_binary64_17785` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `diff-log_binary64_17902` `sub-div_binary64_17817` `frac-sub_binary64_17819` `frac-2neg_binary64_17821` `sub-neg_binary64_17803`

Counts

2 → 78

Calls

4 calls:

28.0ms	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
6.0ms	(/.f64 x (+.f64 x y))
0.0ms	(/.f64 x (+.f64 x y))
0.0ms	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))

series167.0ms (8.3%)

Counts

2 → 33

Calls

2 calls:

96.0ms	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
71.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 657 to 540 computations (17.8% saved)

simplify84.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	6066	1507

prune61.0ms (3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	111	3	114

Error

Counts

114 → 3

Compiler

Compiled 1607 to 338 computations (79% saved)

localize5.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite15.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_17832`
13×	`associate-r_binary64_17750`
10×	`*-un-lft-identity_binary64_17810` `add-cube-cbrt_binary64_17845` `times-frac_binary64_17816`
7×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
4×	`add-log-exp_binary64_17849` `pow1_binary64_17871`
3×	`associate-l_binary64_17751`
2×	`cbrt-unprod_binary64_17843` `unswap-sqr_binary64_17778` `prod-exp_binary64_17859`
1×	`pow-prod-down_binary64_17881` `sum-log_binary64_17901` `div-inv_binary64_17807` `-commutative_binary64_17741` `flip-+_binary64_17784` `+-commutative_binary64_17740` `div-exp_binary64_17861` `flip3-+_binary64_17813` `associate-r/_binary64_17752` `cbrt-undiv_binary64_17844`

Counts

2 → 43

Calls

4 calls:

8.0ms	(*.f64 2 (/.f64 x y))
4.0ms	(+.f64 -1 (*.f64 2 (/.f64 x y)))
0.0ms	(+.f64 -1 (*.f64 2 (/.f64 x y)))
0.0ms	(*.f64 2 (/.f64 x y))

series138.0ms (6.8%)

Counts

2 → 18

Calls

2 calls:

79.0ms	(+.f64 -1 (*.f64 2 (/.f64 x y)))
58.0ms	(*.f64 2 (/.f64 x y))

Compiler

Compiled 186 to 192 computations (-3.2% saved)

simplify60.0ms (3%)

Algorithm

1×	egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4963	622
1	4963	622

prune39.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	61	3	64

Error

Counts

64 → 3

Compiler

Compiled 639 to 376 computations (41.2% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	83	131
1	83	131

regimes50.0ms (2.5%)

Compiler: Compiled 285 to 210 computations (26.3% saved)

bsearch0.0ms (0%)

regimes64.0ms (3.2%)

Compiler: Compiled 38 to 54 computations (-42.1% saved)

bsearch51.0ms (2.5%)

Steps

Iters	Range		Point
9	1.7096298944742002e+39	3.922010455933799e+44	4.9187347626101874e+39
8	2.9450976545344307e-12	1.414783325146832e-09	9.74969812626511e-12
9	6.872364371006839e-101	1.9616687164381293e-95	3.4010946694147876e-96
8	-1.1577984827188117e+93	-7.341385106084303e+89	-7.447499202074567e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes60.0ms (3%)

Compiler: Compiled 24 to 40 computations (-66.7% saved)

bsearch48.0ms (2.4%)

Steps

Iters	Range		Point
9	1.7096298944742002e+39	3.922010455933799e+44	6.191369215281873e+41
8	2.9450976545344307e-12	1.414783325146832e-09	1.0002652120941761e-11
9	6.872364371006839e-101	1.9616687164381293e-95	1.9351779201160667e-95
8	-1.1577984827188117e+93	-7.341385106084303e+89	-7.659727394055092e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes54.0ms (2.7%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch42.0ms (2.1%)

Steps

Iters	Range		Point
9	1.7096298944742002e+39	3.922010455933799e+44	4.412444982343629e+40
8	2.9450976545344307e-12	1.414783325146832e-09	4.5547354228815765e-11
9	6.872364371006839e-101	1.9616687164381293e-95	1.7232515495395666e-95
8	-1.1577984827188117e+93	-7.341385106084303e+89	-1.1501120665853518e+90

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes17.0ms (0.8%)

Accuracy

Total 0.0b remaining (83.7%)

Threshold costs 0.0b (83.7%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch6.0ms (0.3%)

Compiler: Compiled 119 to 92 computations (22.7% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	142	127
1	142	127

end0.0ms (0%)

sample595.0ms (29.6%)

Algorithm

1×

intervals

Results

189.0ms

8000×

body

128

valid

Compiler

Compiled 195 to 153 computations (21.5% saved)

Pareto

0.200867558039334

Details

analyze36.0ms (1.8%)

sample18.0ms (0.9%)

simplify149.0ms (7.4%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite13.0ms (0.7%)

series87.0ms (4.3%)

simplify40.0ms (2%)

prune46.0ms (2.3%)

localize6.0ms (0.3%)

rewrite43.0ms (2.2%)

series167.0ms (8.3%)

simplify84.0ms (4.2%)

prune61.0ms (3%)

localize5.0ms (0.3%)

rewrite15.0ms (0.7%)

series138.0ms (6.8%)

simplify60.0ms (3%)

prune39.0ms (1.9%)

simplify5.0ms (0.2%)

regimes50.0ms (2.5%)

bsearch0.0ms (0%)

regimes64.0ms (3.2%)

bsearch51.0ms (2.5%)

regimes60.0ms (3%)

bsearch48.0ms (2.4%)

regimes54.0ms (2.7%)

bsearch42.0ms (2.1%)

regimes17.0ms (0.8%)

bsearch6.0ms (0.3%)

simplify6.0ms (0.3%)

end0.0ms (0%)

sample595.0ms (29.6%)

Profiling