Details

analyze366.0ms (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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
46%	49.5%	4.4%	10
50.3%	44.9%	4.8%	11
55.6%	39.2%	5.2%	12
62.9%	25.7%	11.4%	13
65.2%	23.2%	11.7%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample20.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	32×	body	128	invalid

Compiler

Compiled 23 to 24 computations (-4.3% saved)

simplify261.0ms (5.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (162.0ms)

Iter	Nodes	Cost
0	4625	13
1	4625	13

prune4.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 → 2

Compiler

Compiled 29 to 28 computations (3.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)
0.0b	(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)

rewrite14.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
3×	`add-sqr-sqrt_binary64_18514` `times-frac_binary64_18498` `add-cube-cbrt_binary64_18527` `-un-lft-identity_binary64_18492` `associate-/r_binary64_18436`
2×	`associate-/l/_binary64_18439` `div-exp_binary64_18543` `associate-*r/_binary64_18434` `cbrt-undiv_binary64_18526`
1×	`pow1_binary64_18553` `flip--_binary64_18467` `frac-2neg_binary64_18503` `associate-/l*_binary64_18437` `flip3--_binary64_18496` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `add-log-exp_binary64_18531` `clear-num_binary64_18491` `div-inv_binary64_18489`

Counts

1 → 23

Calls

2 calls:

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

series218.0ms (4.7%)

Counts

1 → 18

Calls

1 calls:

218.0ms

(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)

Compiler

Compiled 281 to 273 computations (2.8% saved)

simplify63.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5086	564

prune39.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	41	2	43

Error

Counts

43 → 2

Compiler

Compiled 498 to 275 computations (44.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite12.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_18514` `*-un-lft-identity_binary64_18492`
15×	`times-frac_binary64_18498`
11×	`add-cube-cbrt_binary64_18527`
5×	`associate-/l*_binary64_18437`
4×	`distribute-lft-out--_binary64_18444` `difference-of-squares_binary64_18461`
3×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528` `associate-/r*_binary64_18436`
2×	`associate-/l/_binary64_18439`
1×	`div-exp_binary64_18543` `pow1_binary64_18553` `flip--_binary64_18467` `frac-2neg_binary64_18503` `flip3--_binary64_18496` `add-log-exp_binary64_18531` `clear-num_binary64_18491` `cbrt-undiv_binary64_18526` `div-inv_binary64_18489` `div-sub_binary64_18497`

Counts

1 → 38

Calls

2 calls:

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

series113.0ms (2.5%)

Counts

1 → 15

Calls

1 calls:

113.0ms

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

Compiler

Compiled 238 to 232 computations (2.5% saved)

simplify93.0ms (2%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5044	620

prune35.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	53	2	55

Error

Counts

55 → 2

Compiler

Compiled 729 to 338 computations (53.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 4 (/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2))))
0.0b	(/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2)))
0.0b	(/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2)))
0.2b	(/.f64 4 (/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2))))

rewrite35.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`times-frac_binary64_18498`
54×	`add-sqr-sqrt_binary64_18514` `add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
18×	`associate-/r*_binary64_18436`
11×	`associate-/r/_binary64_18438`
9×	`add-exp-log_binary64_18530` `add-cbrt-cube_binary64_18528`
6×	`associate-/l*_binary64_18437` `div-inv_binary64_18489`
5×	`flip--_binary64_18467` `flip3--_binary64_18496`
4×	`div-exp_binary64_18543` `cbrt-undiv_binary64_18526`
2×	`pow1_binary64_18553` `frac-2neg_binary64_18503` `add-log-exp_binary64_18531` `clear-num_binary64_18491`

Counts

2 → 107

Calls

4 calls:

12.0ms	(/.f64 4 (/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2))))
9.0ms	(/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2)))
0.0ms	(/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2)))
0.0ms	(/.f64 4 (/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2))))

series459.0ms (10%)

Counts

2 → 51

Calls

2 calls:

240.0ms	(/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2)))
218.0ms	(/.f64 4 (/.f64 z (-.f64 (-.f64 x y) (*.f64 z 1/2))))

Compiler

Compiled 1558 to 1298 computations (16.7% saved)

simplify80.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5311	4780

prune172.0ms (3.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	158	2	160

Error

Counts

160 → 2

Compiler

Compiled 3697 to 2031 computations (45.1% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	87	173
1	87	173

regimes143.0ms (3.1%)

Compiler: Compiled 681 to 752 computations (-10.4% saved)

bsearch0.0ms (0%)

regimes197.0ms (4.3%)

Compiler: Compiled 204 to 296 computations (-45.1% saved)

bsearch27.0ms (0.6%)

Steps

Iters	Range		Point
5	2.2098565590768563e-13	8.738804090705715e-13	5.225395937530882e-13
8	-1.2081174785856992e-10	-4.0883202566061504e-13	-9.140876239196955e-13

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes225.0ms (4.9%)

Compiler: Compiled 176 to 264 computations (-50% saved)

bsearch60.0ms (1.3%)

Steps

Iters	Range		Point
7	2.0685195312866935e+40	1.6838397494686794e+42	5.425539066150178e+41
8	-191588426175908.66	-623470624011.0178	-3714210517111.7705
8	-2.1916849363649765e+90	-2.814638649362454e+87	-2.153247720109581e+90
5	-1.1339928336613026e+108	-4.631165572561126e+107	-4.817469173696096e+107

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes202.0ms (4.4%)

Compiler: Compiled 124 to 194 computations (-56.5% saved)

bsearch21.0ms (0.5%)

Steps

Iters	Range		Point
6	6.192565799815286e+118	8.033442463970338e+119	8.29131568575834e+118
6	-1.2421238812048893e+131	-8.037561052873578e+129	-6.402395957328198e+130

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes190.0ms (4.1%)

Compiler: Compiled 96 to 166 computations (-72.9% saved)

bsearch22.0ms (0.5%)

Steps

Iters	Range		Point
6	6.192565799815286e+118	8.033442463970338e+119	5.092970192101209e+119
6	-1.2421238812048893e+131	-8.037561052873578e+129	-6.128557572857904e+130

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes149.0ms (3.2%)

Compiler: Compiled 48 to 102 computations (-112.5% saved)

bsearch86.0ms (1.9%)

Steps

Iters	Range		Point
7	2.0685195312866935e+40	1.6838397494686794e+42	1.1666383717936055e+41
7	2.5006289649208075e-235	2.9349850456549866e-233	7.378536101424116e-235
8	-1.2771507496254666e-214	-2.078970577624782e-217	-6.194459076610972e-216
8	-191588426175908.66	-623470624011.0178	-32908857192073.652
8	-2.1916849363649765e+90	-2.814638649362454e+87	-1.7876441181788666e+90
5	-1.1339928336613026e+108	-4.631165572561126e+107	-7.489653913156995e+107

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes111.0ms (2.4%)

Compiler: Compiled 33 to 84 computations (-154.5% saved)

bsearch55.0ms (1.2%)

Steps

Iters	Range		Point
7	2.0685195312866935e+40	1.6838397494686794e+42	5.46615876729591e+40
8	-191588426175908.66	-623470624011.0178	-11964302598769.615
8	-2.1916849363649765e+90	-2.814638649362454e+87	-2.153247720109581e+90
5	-1.1339928336613026e+108	-4.631165572561126e+107	-4.6932667729394494e+107

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.6%)

Compiler: Compiled 18 to 66 computations (-266.7% saved)

bsearch0.0ms (0%)

regimes26.0ms (0.6%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes23.0ms (0.5%)

Accuracy

Total 0.0b remaining (78.8%)

Threshold costs 0.0b (78.8%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch9.0ms (0.2%)

Compiler: Compiled 200 to 161 computations (19.5% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	132	258
1	132	258

end0.0ms (0%)

sample1.0s (21.8%)

Algorithm

1×

intervals

Results

277.0ms	8000×	body	128	valid
31.0ms	949×	body	128	invalid

Compiler

Compiled 326 to 312 computations (4.3% saved)

Pareto

0.3270670339536093

Details

analyze366.0ms (8%)

sample20.0ms (0.4%)

simplify261.0ms (5.7%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite14.0ms (0.3%)

series218.0ms (4.7%)

simplify63.0ms (1.4%)

prune39.0ms (0.8%)

localize7.0ms (0.1%)

rewrite12.0ms (0.3%)

series113.0ms (2.5%)

simplify93.0ms (2%)

prune35.0ms (0.8%)

localize8.0ms (0.2%)

rewrite35.0ms (0.8%)

series459.0ms (10%)

simplify80.0ms (1.7%)

prune172.0ms (3.7%)

simplify5.0ms (0.1%)

regimes143.0ms (3.1%)

bsearch0.0ms (0%)

regimes197.0ms (4.3%)

bsearch27.0ms (0.6%)

regimes225.0ms (4.9%)

bsearch60.0ms (1.3%)

regimes202.0ms (4.4%)

bsearch21.0ms (0.5%)

regimes190.0ms (4.1%)

bsearch22.0ms (0.5%)

regimes149.0ms (3.2%)

bsearch86.0ms (1.9%)

regimes111.0ms (2.4%)

bsearch55.0ms (1.2%)

regimes29.0ms (0.6%)

bsearch0.0ms (0%)

regimes26.0ms (0.6%)

bsearch0.0ms (0%)

regimes23.0ms (0.5%)

bsearch9.0ms (0.2%)

simplify7.0ms (0.2%)

end0.0ms (0%)

sample1.0s (21.8%)

Profiling