Details

analyze334.0ms (7.3%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
9.4%	90.5%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
37.8%	60.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
56.8%	36.2%	7%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify231.0ms (5.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (140.0ms)

Iter	Nodes	Cost
0	4864	10
1	4864	10

prune2.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

10.6b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

10.0b	(/.f64 (*.f64 x (-.f64 y z)) y)
0.0b	(*.f64 x (-.f64 y z))
0.0b	(*.f64 x (-.f64 y z))
10.0b	(/.f64 (*.f64 x (-.f64 y z)) y)

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_21924`
10×	`*-un-lft-identity_binary64_21902`
9×	`add-cbrt-cube_binary64_21938` `add-exp-log_binary64_21940`
8×	`add-cube-cbrt_binary64_21937`
6×	`cancel-sign-sub-inv_binary64_21868`
5×	`associate-r_binary64_21842`
4×	`distribute-lft-in_binary64_21851` `associate-*r/_binary64_21844` `pow1_binary64_21963` `distribute-rgt-in_binary64_21852`
3×	`times-frac_binary64_21908` `associate-l_binary64_21843` `associate-/r*_binary64_21846`
2×	`sub-neg_binary64_21895` `cbrt-unprod_binary64_21935` `prod-exp_binary64_21951` `flip--_binary64_21877` `div-exp_binary64_21953` `add-log-exp_binary64_21941` `flip3--_binary64_21906` `cbrt-undiv_binary64_21936` `associate-/l/_binary64_21849`
1×	`clear-num_binary64_21901` `pow-prod-down_binary64_21973` `div-inv_binary64_21899` `difference-of-squares_binary64_21871` `distribute-lft-out--_binary64_21854` `frac-2neg_binary64_21913` `associate-/l_binary64_21847` `unswap-sqr_binary64_21870` `-commutative_binary64_21833`

Counts

2 → 53

Calls

4 calls:

8.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
7.0ms	(*.f64 x (-.f64 y z))
0.0ms	(*.f64 x (-.f64 y z))
0.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)

series240.0ms (5.3%)

Counts

2 → 30

Calls

2 calls:

145.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
95.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 336 to 294 computations (12.5% saved)

simplify52.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5062	790

prune58.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	78	6	84

Error

0.0b

Counts

84 → 6

Compiler

Compiled 836 to 191 computations (77.2% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.6b	(/.f64 x (/.f64 y (-.f64 y z)))
0.0b	(/.f64 y (-.f64 y z))
0.0b	(/.f64 y (-.f64 y z))
3.6b	(/.f64 x (/.f64 y (-.f64 y z)))

rewrite28.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64_21908`
102×	`add-sqr-sqrt_binary64_21924` `*-un-lft-identity_binary64_21902`
70×	`add-cube-cbrt_binary64_21937`
26×	`associate-/r*_binary64_21846`
16×	`difference-of-squares_binary64_21871` `distribute-lft-out--_binary64_21854`
11×	`associate-/r/_binary64_21848`
9×	`add-cbrt-cube_binary64_21938` `add-exp-log_binary64_21940`
6×	`div-inv_binary64_21899` `associate-/l*_binary64_21847`
5×	`flip--_binary64_21877` `flip3--_binary64_21906`
4×	`div-exp_binary64_21953` `cbrt-undiv_binary64_21936`
2×	`clear-num_binary64_21901` `frac-2neg_binary64_21913` `pow1_binary64_21963` `add-log-exp_binary64_21941`

Counts

2 → 139

Calls

4 calls:

9.0ms	(/.f64 x (/.f64 y (-.f64 y z)))
5.0ms	(/.f64 y (-.f64 y z))
0.0ms	(/.f64 y (-.f64 y z))
0.0ms	(/.f64 x (/.f64 y (-.f64 y z)))

series201.0ms (4.4%)

Counts

2 → 27

Calls

2 calls:

148.0ms	(/.f64 x (/.f64 y (-.f64 y z)))
52.0ms	(/.f64 y (-.f64 y z))

Compiler

Compiled 357 to 327 computations (8.4% saved)

simplify77.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4976	3012
1	4976	3012

prune108.0ms (2.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	167	5	172

Error

Counts

172 → 5

Compiler

Compiled 2435 to 454 computations (81.4% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.7b	(*.f64 x (/.f64 (-.f64 y z) y))
0.0b	(/.f64 (-.f64 y z) y)
0.0b	(/.f64 (-.f64 y z) y)
3.7b	(*.f64 x (/.f64 (-.f64 y z) y))

rewrite22.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_21924`
36×	`*-un-lft-identity_binary64_21902`
31×	`times-frac_binary64_21908`
22×	`add-cube-cbrt_binary64_21937`
19×	`associate-r_binary64_21842`
9×	`add-cbrt-cube_binary64_21938` `add-exp-log_binary64_21940`
7×	`difference-of-squares_binary64_21871` `distribute-lft-out--_binary64_21854`
5×	`associate-/l*_binary64_21847`
4×	`pow1_binary64_21963`
3×	`associate-l_binary64_21843` `associate-/r*_binary64_21846`
2×	`cbrt-unprod_binary64_21935` `div-inv_binary64_21899` `prod-exp_binary64_21951` `div-exp_binary64_21953` `add-log-exp_binary64_21941` `cbrt-undiv_binary64_21936` `unswap-sqr_binary64_21870` `associate-/l/_binary64_21849`
1×	`clear-num_binary64_21901` `pow-prod-down_binary64_21973` `div-sub_binary64_21907` `associate-r/_binary64_21844` `frac-2neg_binary64_21913` `flip--_binary64_21877` `flip3--_binary64_21906` `-commutative_binary64_21833`

Counts

2 → 76

Calls

4 calls:

11.0ms	(*.f64 x (/.f64 (-.f64 y z) y))
6.0ms	(/.f64 (-.f64 y z) y)
0.0ms	(/.f64 (-.f64 y z) y)
0.0ms	(*.f64 x (/.f64 (-.f64 y z) y))

series216.0ms (4.7%)

Counts

2 → 27

Calls

2 calls:

142.0ms	(*.f64 x (/.f64 (-.f64 y z) y))
74.0ms	(/.f64 (-.f64 y z) y)

Compiler

Compiled 264 to 258 computations (2.3% saved)

simplify68.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5076	1200

prune58.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	103	5	108

Error

Counts

108 → 5

Compiler

Compiled 1194 to 248 computations (79.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

6.0b	(*.f64 (/.f64 x y) z)
6.0b	(*.f64 (/.f64 x y) z)

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_21924`
13×	`associate-l_binary64_21843`
10×	`times-frac_binary64_21908`
9×	`*-un-lft-identity_binary64_21902` `add-cube-cbrt_binary64_21937`
6×	`add-cbrt-cube_binary64_21938` `add-exp-log_binary64_21940`
3×	`associate-r_binary64_21842` `pow1_binary64_21963`
2×	`cbrt-unprod_binary64_21935` `prod-exp_binary64_21951` `unswap-sqr_binary64_21870`
1×	`pow-prod-down_binary64_21973` `div-inv_binary64_21899` `associate-l/_binary64_21845` `div-exp_binary64_21953` `add-log-exp_binary64_21941` `cbrt-undiv_binary64_21936` `-commutative_binary64_21833`

Counts

1 → 32

Calls

2 calls:

7.0ms	(*.f64 (/.f64 x y) z)
0.0ms	(*.f64 (/.f64 x y) z)

series96.0ms (2.1%)

Counts

1 → 9

Calls

1 calls:

96.0ms

(*.f64 (/.f64 x y) z)

Compiler

Compiled 126 to 108 computations (14.3% saved)

simplify101.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4902	378
1	4902	378

prune21.0ms (0.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	41	5	46

Error

Counts

46 → 5

Compiler

Compiled 463 to 129 computations (72.1% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	189	428
1	189	428

regimes173.0ms (3.8%)

Compiler: Compiled 1237 to 902 computations (27.1% saved)

bsearch0.0ms (0%)

regimes259.0ms (5.7%)

Compiler: Compiled 1109 to 842 computations (24.1% saved)

bsearch35.0ms (0.8%)

Steps

Iters	Range	Point
5	1.295208898076657e-161	3.129184133401219e-161	1.4581210858229359e-161
5	1.1874946155706175e-259	2.436629655340277e-259	2.3301905882187746e-259
5	-3.76310075171655e-145	-1.6463650760694757e-145	-2.7656966270300372e-145

Iters

Range

Point

1.295208898076657e-161

3.129184133401219e-161

1.4581210858229359e-161

1.1874946155706175e-259

2.436629655340277e-259

2.3301905882187746e-259

-3.76310075171655e-145

-1.6463650760694757e-145

-2.7656966270300372e-145

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes219.0ms (4.8%)

Compiler: Compiled 843 to 717 computations (14.9% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

regimes102.0ms (2.2%)

Compiler: Compiled 216 to 264 computations (-22.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

regimes212.0ms (4.7%)

Compiler: Compiled 188 to 240 computations (-27.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

regimes139.0ms (3%)

Compiler: Compiled 160 to 216 computations (-35% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

regimes130.0ms (2.9%)

Compiler: Compiled 72 to 117 computations (-62.5% saved)

bsearch24.0ms (0.5%)

Steps

Iters	Range		Point
5	1.492049511592043e-09	5.938411862112066e-09	1.9910782191876272e-09
10	-3.426640374319454e+17	-19817106.2146639	-5160633132.16511

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes122.0ms (2.7%)

Compiler: Compiled 54 to 99 computations (-83.3% saved)

bsearch58.0ms (1.3%)

Steps

Iters	Range		Point
7	7.523277517274e+153	5.454303129828297e+155	4.0227925167734046e+154
8	1.5879796305872387e+66	9.077597581941336e+68	8.923127825106159e+68
5	1.492049511592043e-09	5.938411862112066e-09	2.3389279572814266e-09
3	-3.4522169980962954e+106	-2.800460058150223e+106	-2.8411948668968528e+106

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.6%)

Compiler: Compiled 18 to 63 computations (-250% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.6%)

Accuracy

Total 0.5b remaining (99.6%)

Threshold costs 0.5b (99.6%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch12.0ms (0.3%)

Compiler: Compiled 391 to 153 computations (60.9% saved)

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	210	513
1	210	513

end0.0ms (0%)

sample1.0s (22.4%)

Algorithm

1×

intervals

Results

210.0ms	8000×	body	128	valid
21.0ms	706×	body	128	invalid

Compiler

Compiled 665 to 390 computations (41.4% saved)

Pareto

0.9064684666920264

Details

analyze334.0ms (7.3%)

sample15.0ms (0.3%)

simplify231.0ms (5.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite20.0ms (0.4%)

series240.0ms (5.3%)

simplify52.0ms (1.1%)

prune58.0ms (1.3%)

localize5.0ms (0.1%)

rewrite28.0ms (0.6%)

series201.0ms (4.4%)

simplify77.0ms (1.7%)

prune108.0ms (2.4%)

localize5.0ms (0.1%)

rewrite22.0ms (0.5%)

series216.0ms (4.7%)

simplify68.0ms (1.5%)

prune58.0ms (1.3%)

localize5.0ms (0.1%)

rewrite9.0ms (0.2%)

series96.0ms (2.1%)

simplify101.0ms (2.2%)

prune21.0ms (0.5%)

simplify8.0ms (0.2%)

regimes173.0ms (3.8%)

bsearch0.0ms (0%)

regimes259.0ms (5.7%)

bsearch35.0ms (0.8%)

regimes219.0ms (4.8%)

bsearch3.0ms (0.1%)

regimes102.0ms (2.2%)

bsearch1.0ms (0%)

regimes212.0ms (4.7%)

bsearch1.0ms (0%)

regimes139.0ms (3%)

bsearch1.0ms (0%)

regimes130.0ms (2.9%)

bsearch24.0ms (0.5%)

regimes122.0ms (2.7%)

bsearch58.0ms (1.3%)

regimes29.0ms (0.6%)

bsearch0.0ms (0%)

regimes27.0ms (0.6%)

bsearch12.0ms (0.3%)

simplify13.0ms (0.3%)

end0.0ms (0%)

sample1.0s (22.4%)

Profiling