Details

analyze146.0ms (3.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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
18.7%	81.1%	0.1%	6
40.6%	59.3%	0.1%	7
45.2%	54.6%	0.1%	8
65.5%	34.3%	0.1%	9
78%	21.8%	0.1%	10
80%	19.5%	0.5%	11
81.7%	17.7%	0.5%	12
87.9%	11.3%	0.8%	13
88.3%	10.1%	1.6%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify171.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	1003	10
1	1003	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 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
25×	`times-frac_binary64_17816`
13×	`add-cube-cbrt_binary64_17845`
12×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
5×	`associate-/r_binary64_17754` `associate-/l_binary64_17755`
3×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
2×	`associate-/r/_binary64_17756` `flip3--_binary64_17814` `flip--_binary64_17785` `associate-/l/_binary64_17757`
1×	`clear-num_binary64_17809` `div-inv_binary64_17807` `div-exp_binary64_17861` `add-log-exp_binary64_17849` `cbrt-undiv_binary64_17844` `div-sub_binary64_17815` `pow1_binary64_17871` `frac-2neg_binary64_17821`

Counts

1 → 52

Calls

2 calls:

12.0ms	(/.f64 (-.f64 x y) (-.f64 z y))
0.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

series185.0ms (4.8%)

Counts

1 → 24

Calls

1 calls:

185.0ms

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

Compiler

Compiled 709 to 536 computations (24.4% saved)

simplify77.0ms (2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	6070	1411

prune62.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	3	77

Error

Counts

77 → 3

Compiler

Compiled 1110 to 254 computations (77.1% saved)

localize8.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

rewrite53.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`*-un-lft-identity_binary64_17810`
72×	`add-sqr-sqrt_binary64_17832`
63×	`times-frac_binary64_17816`
34×	`add-cube-cbrt_binary64_17845`
23×	`distribute-lft-out--_binary64_17762`
21×	`cancel-sign-sub-inv_binary64_17776`
17×	`difference-of-squares_binary64_17779`
10×	`associate-/r/_binary64_17756` `associate-/r*_binary64_17754`
7×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
6×	`flip3--_binary64_17814` `associate-/l*_binary64_17755` `flip--_binary64_17785`
5×	`div-inv_binary64_17807` `add-log-exp_binary64_17849`
3×	`pow1_binary64_17871` `distribute-rgt-out--_binary64_17764`
2×	`clear-num_binary64_17809` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `frac-2neg_binary64_17821`
1×	`diff-log_binary64_17902` `sub-div_binary64_17817` `frac-sub_binary64_17819` `sub-neg_binary64_17803`

Counts

3 → 123

Calls

6 calls:

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

series397.0ms (10.3%)

Counts

3 → 57

Calls

3 calls:

221.0ms	(-.f64 (/.f64 x (-.f64 z y)) (/.f64 y (-.f64 z y)))
92.0ms	(/.f64 x (-.f64 z y))
83.0ms	(/.f64 y (-.f64 z y))

Compiler

Compiled 1558 to 1176 computations (24.5% saved)

simplify79.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5625	2735

prune107.0ms (2.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	180	3	183

Error

Counts

183 → 3

Compiler

Compiled 2913 to 571 computations (80.4% saved)

localize13.0ms (0.3%)

Local error

Found 6 expressions with local error:

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

rewrite43.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_17832`
39×	`*-un-lft-identity_binary64_17810`
26×	`times-frac_binary64_17816`
22×	`add-cube-cbrt_binary64_17845`
13×	`associate-l_binary64_17751`
11×	`add-log-exp_binary64_17849`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
6×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
5×	`associate-/r*_binary64_17754` `pow1_binary64_17871`
4×	`cancel-sign-sub-inv_binary64_17776` `associate-r_binary64_17750`
3×	`associate-/l*_binary64_17755` `flip-+_binary64_17784` `flip3-+_binary64_17813` `distribute-lft-out_binary64_17761` `diff-log_binary64_17902`
2×	`cbrt-unprod_binary64_17843` `unswap-sqr_binary64_17778` `associate-/r/_binary64_17756` `prod-exp_binary64_17859` `sum-log_binary64_17901` `flip3--_binary64_17814` `div-inv_binary64_17807` `flip--_binary64_17785` `div-exp_binary64_17861` `associate-*r/_binary64_17752` `cbrt-undiv_binary64_17844` `frac-times_binary64_17820` `frac-sub_binary64_17819` `associate--r-_binary64_17749`
1×	`pow-prod-down_binary64_17881` `neg-log_binary64_17903` `clear-num_binary64_17809` `distribute-rgt-in_binary64_17760` `unsub-neg_binary64_17804` `-commutative_binary64_17741` `associate-l/_binary64_17753` `neg-sub0_binary64_17805` `distribute-lft-in_binary64_17759` `associate--r+_binary64_17746` `frac-2neg_binary64_17821` `associate-+r-_binary64_17744` `sub-neg_binary64_17803`

Counts

3 → 102

Calls

6 calls:

16.0ms	(-.f64 (/.f64 x (-.f64 z y)) (+.f64 -1 (neg.f64 (*.f64 (/.f64 z y) (+.f64 1 (/.f64 z y))))))
12.0ms	(*.f64 (/.f64 z y) (+.f64 1 (/.f64 z y)))
5.0ms	(/.f64 x (-.f64 z y))
0.0ms	(/.f64 x (-.f64 z y))
0.0ms	(-.f64 (/.f64 x (-.f64 z y)) (+.f64 -1 (neg.f64 (*.f64 (/.f64 z y) (+.f64 1 (/.f64 z y))))))

series483.0ms (12.6%)

Counts

3 → 57

Calls

3 calls:

227.0ms	(-.f64 (/.f64 x (-.f64 z y)) (+.f64 -1 (neg.f64 (*.f64 (/.f64 z y) (+.f64 1 (/.f64 z y))))))
141.0ms	(*.f64 (/.f64 z y) (+.f64 1 (/.f64 z y)))
115.0ms	(/.f64 x (-.f64 z y))

Compiler

Compiled 1558 to 1211 computations (22.3% saved)

simplify83.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5046	2883

prune137.0ms (3.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	159	3	162

Error

Counts

162 → 3

Compiler

Compiled 3510 to 1412 computations (59.8% saved)

simplify16.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	389	271
1	389	271

regimes125.0ms (3.3%)

Compiler: Compiled 747 to 637 computations (14.7% saved)

bsearch0.0ms (0%)

regimes71.0ms (1.8%)

Compiler: Compiled 228 to 270 computations (-18.4% saved)

bsearch0.0ms (0%)

regimes133.0ms (3.5%)

Compiler: Compiled 87 to 132 computations (-51.7% saved)

bsearch45.0ms (1.2%)

Steps

Iters	Range		Point
6	1.741752234073233e-10	1.492049511592043e-09	9.292040657424431e-10
10	-5.660634259362785e-56	-2.9237242746137065e-70	-1.9402093974087821e-60
9	-2.6563763612443984e-12	-2.8262281937511642e-18	-4.819508152852456e-16
3	-5.557323610427147e+35	-4.038188218042204e+35	-4.133134180066263e+35

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes160.0ms (4.2%)

Compiler: Compiled 54 to 96 computations (-77.8% saved)

bsearch52.0ms (1.3%)

Steps

Iters	Range		Point
9	1.7569765979217524e+40	7.466086386202508e+45	1.3935216354259882e+45
6	-1.3380460674923423e-87	-9.08818334665192e-89	-8.208324847786021e-88
10	-3.4144550046109565e-19	-1.8381365601283172e-37	-9.996952577100625e-34
9	-2.112814460126371e+148	-2.886925925708384e+143	-3.4107792422265796e+143

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes143.0ms (3.7%)

Compiler: Compiled 39 to 81 computations (-107.7% saved)

bsearch25.0ms (0.6%)

Steps

Iters	Range		Point
9	1.7569765979217524e+40	7.466086386202508e+45	2.6224067416569235e+44
5	-8.49369135385472e+79	-2.1954615254924737e+79	-3.1439123524935136e+79

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes97.0ms (2.5%)

Compiler: Compiled 24 to 66 computations (-175% saved)

bsearch14.0ms (0.4%)

Steps

Iters	Range		Point
2	2.870460231631549e-31	3.3362315769362595e-31	3.0451244861208155e-31
7	-3.4897018183458593e+47	-1.3238877387130003e+46	-2.2350121376181807e+46

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes45.0ms (1.2%)

Accuracy

Total 0.0b remaining (71.5%)

Threshold costs 0.0b (71.5%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch30.0ms (0.8%)

Steps

Iters	Range		Point
9	2.039948444011865e-104	3.220325752152217e-98	4.270219332102459e-104
6	-4.0580041385152324e-135	-5.779793720705047e-136	-9.636344527118387e-136

Compiler

Compiled 133 to 100 computations (24.8% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	122	170
1	122	170

end0.0ms (0%)

sample792.0ms (20.6%)

Algorithm

1×

intervals

Results

208.0ms	8000×	body	128	valid
8.0ms	207×	body	128	invalid

Compiler

Compiled 307 to 254 computations (17.3% saved)

Pareto

0.1342921596163048

Details

analyze146.0ms (3.8%)

sample15.0ms (0.4%)

simplify171.0ms (4.5%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite17.0ms (0.4%)

series185.0ms (4.8%)

simplify77.0ms (2%)

prune62.0ms (1.6%)

localize8.0ms (0.2%)

rewrite53.0ms (1.4%)

series397.0ms (10.3%)

simplify79.0ms (2.1%)

prune107.0ms (2.8%)

localize13.0ms (0.3%)

rewrite43.0ms (1.1%)

series483.0ms (12.6%)

simplify83.0ms (2.2%)

prune137.0ms (3.6%)

simplify16.0ms (0.4%)

regimes125.0ms (3.3%)

bsearch0.0ms (0%)

regimes71.0ms (1.8%)

bsearch0.0ms (0%)

regimes133.0ms (3.5%)

bsearch45.0ms (1.2%)

regimes160.0ms (4.2%)

bsearch52.0ms (1.3%)

regimes143.0ms (3.7%)

bsearch25.0ms (0.6%)

regimes97.0ms (2.5%)

bsearch14.0ms (0.4%)

regimes45.0ms (1.2%)

bsearch30.0ms (0.8%)

simplify6.0ms (0.2%)

end0.0ms (0%)

sample792.0ms (20.6%)

Profiling