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)

sample17.0ms (1.3%)

Algorithm

1×

intervals

Results

11.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify97.0ms (7.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	9	14
1	9	14

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

29.6b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
27.7b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite14.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-log-exp_binary64_458` `add-sqr-sqrt_binary64_441`
3×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `sqrt-prod_binary64_435` `pow1_binary64_480`
2×	`flip3-+_binary64_422` `sqrt-div_binary64_436` `flip-+_binary64_393` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
1×	`pow1/2_binary64_499` `sum-log_binary64_510` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432` `+-commutative_binary64_349`

Counts

2 → 26

Calls

2 calls:

8.0ms	(+.f64 (.f64 re re) (.f64 im im))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series195.0ms (14.6%)

Counts

2 → 30

Calls

2 calls:

105.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
90.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 516 to 474 computations (8.1% saved)

simplify57.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5051	748

prune40.0ms (3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Error

0.1b

Counts

57 → 5

Compiler

Compiled 684 to 236 computations (65.5% saved)

localize3.0ms (0.2%)

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.1b

Counts

5 → 5

Compiler

Compiled 7 to 10 computations (-42.9% saved)

localize3.0ms (0.2%)

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.1b

Counts

5 → 5

Compiler

Compiled 4 to 6 computations (-50% 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

prune1.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.1b

Counts

5 → 5

Compiler

Compiled 0 to 0 computations (0% saved)

regimes205.0ms (15.3%)

Accuracy

Total 17.6b remaining (98.8%)

Threshold costs 0b (0%)

Compiler

Compiled 517 to 453 computations (12.4% saved)

bsearch31.0ms (2.3%)

Steps

Iters	Range		Point
5	1.0886754781360009e+82	3.1952331887055215e+82	2.616515491898096e+82
3	1.1117539707658964e-270	1.46077936569523e-270	1.3080807554136465e-270
8	-1.2703277985400453e-203	-5.3179611439670166e-207	-1.748570756471217e-205
1	-1.0933437247402738e+40	-1.0286663872008908e+40	-1.0442807027615777e+40

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	65
1	39	65

end0.0ms (0%)

sample636.0ms (47.5%)

Algorithm

1×

intervals

Results

356.0ms

8000×

body

128

valid

Compiler

Compiled 111 to 85 computations (23.4% saved)

Details

analyze4.0ms (0.3%)

sample17.0ms (1.3%)

simplify97.0ms (7.2%)

prune3.0ms (0.2%)

localize7.0ms (0.5%)

rewrite14.0ms (1.1%)

series195.0ms (14.6%)

simplify57.0ms (4.2%)

prune40.0ms (3%)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune2.0ms (0.2%)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune2.0ms (0.1%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune1.0ms (0%)

regimes205.0ms (15.3%)

bsearch31.0ms (2.3%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample636.0ms (47.5%)

Profiling