Details

analyze4.0ms (0.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
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample19.0ms (1.4%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify96.0ms (7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	9	14
1	9	14

prune2.0ms (0.2%)

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

31.5b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

29.5b

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite6.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-sqr-sqrt_binary64_1123` `sqrt-prod_binary64_1117`
2×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `sqrt-div_binary64_1118`
1×	`rem-sqrt-square_binary64_1114` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `sqrt-pow1_binary64_1119` `flip3-+_binary64_1104` `add-cbrt-cube_binary64_1137` `flip-+_binary64_1075` `pow1/2_binary64_1181`

Counts

1 → 15

Calls

1 calls:

5.0ms

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series108.0ms (7.9%)

Counts

1 → 18

Calls

1 calls:

108.0ms

(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

Compiler

Compiled 378 to 330 computations (12.7% saved)

simplify53.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5050	501

prune27.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	29	4	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	5	34

Error

0.0b

Counts

34 → 5

Compiler

Compiled 435 to 179 computations (58.9% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	3	3
Picked	1	1
Done	1	1
Total	5	5

Error

0.0b

Counts

5 → 5

Compiler

Compiled 8 to 11 computations (-37.5% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	1	1
Done	2	2
Total	5	5

Error

0.0b

Counts

5 → 5

Compiler

Compiled 6 to 8 computations (-33.3% saved)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	3	3
Total	5	5

Error

0.0b

Counts

5 → 5

Compiler

Compiled 0 to 0 computations (0% saved)

regimes217.0ms (16%)

Accuracy

Total 17.3b remaining (98.9%)

Threshold costs 0b (0%)

Compiler

Compiled 517 to 453 computations (12.4% saved)

bsearch114.0ms (8.4%)

Steps

Iters	Range		Point
9	8.576025160740978e+99	5.936231169582252e+104	5.347498414219373e+101
7	4.6843294964262305e-151	1.907102052707103e-149	4.7489781145347514e-151
9	1.885709419303969e-242	2.4502870931347238e-237	1.4514146277768898e-239
7	-3.584184564190768e-282	-1.0989570978940949e-283	-1.9217655476203442e-283
10	-1.4613005312041836e-220	-7.035245255489036e-231	-1.4464803866898927e-220
8	-5.534359941001021e-174	-8.732158925087446e-179	-8.924391194312242e-179
9	-6.742266608769167e+114	-1.8749053345779323e+108	-1.2818911259175852e+112

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	105
1	49	105

end0.0ms (0%)

sample673.0ms (49.5%)

Algorithm

1×

intervals

Results

374.0ms

8000×

body

128

valid

Compiler

Compiled 137 to 95 computations (30.7% saved)

Details

analyze4.0ms (0.3%)

sample19.0ms (1.4%)

simplify96.0ms (7%)

prune2.0ms (0.2%)

localize7.0ms (0.5%)

rewrite6.0ms (0.4%)

series108.0ms (7.9%)

simplify53.0ms (3.9%)

prune27.0ms (2%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune2.0ms (0.2%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.5%)

prune0.0ms (0%)

regimes217.0ms (16%)

bsearch114.0ms (8.4%)

simplify4.0ms (0.3%)

end0.0ms (0%)

sample673.0ms (49.5%)

Profiling