Details

analyze70.0ms (5.4%)

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
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	50%	6.3%	6
43.7%	43.7%	12.6%	7
59.3%	26.5%	14.1%	8
59.3%	22.6%	18%	9
67.1%	13.7%	19.2%	10
67.1%	11.5%	21.4%	11
71%	6.9%	22%	12
71%	5.8%	23.2%	13
73%	3.5%	23.5%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample13.0ms (1%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	5×	body	128	nan

Compiler

Compiled 13 to 13 computations (0% saved)

simplify167.0ms (12.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

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

Merged error: 21.6b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

20.1b

(sqrt.f64 (+.f64 (*.f64 x x) y))

rewrite6.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`sqrt-prod_binary64_17616` `add-sqr-sqrt_binary64_17622`
2×	`pow1_binary64_17659` `sqrt-div_binary64_17617` `add-cube-cbrt_binary64_17633` `*-un-lft-identity_binary64_17601`
1×	`rem-sqrt-square_binary64_17614` `add-log-exp_binary64_17637` `flip-+_binary64_17575` `flip3-+_binary64_17604` `add-cbrt-cube_binary64_17634` `add-exp-log_binary64_17636` `sqrt-pow1_binary64_17618` `pow1/2_binary64_17678`

Counts

1 → 15

Calls

1 calls:

5.0ms

(sqrt.f64 (+.f64 (*.f64 x x) y))

series56.0ms (4.3%)

Counts

1 → 3

Calls

1 calls:

56.0ms

(sqrt.f64 (+.f64 (*.f64 x x) y))

simplify90.0ms (6.9%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4804	244
1	4804	244

prune14.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	3	19

Merged error: 0b

Counts

19 → 3

Compiler

Compiled 219 to 82 computations (62.6% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 1/2 (/.f64 y x))

rewrite11.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_17622`
13×	`associate-r_binary64_17543`
10×	`times-frac_binary64_17607`
9×	`add-cube-cbrt_binary64_17633` `*-un-lft-identity_binary64_17601`
6×	`add-cbrt-cube_binary64_17634` `add-exp-log_binary64_17636`
3×	`pow1_binary64_17659` `associate-l_binary64_17544`
2×	`prod-exp_binary64_17647` `unswap-sqr_binary64_17569` `cbrt-unprod_binary64_17631`
1×	`associate-r/_binary64_17545` `cbrt-undiv_binary64_17632` `add-log-exp_binary64_17637` `-commutative_binary64_17534` `div-inv_binary64_17598` `pow-prod-down_binary64_17669` `div-exp_binary64_17649`

Counts

1 → 32

Calls

1 calls:

9.0ms

(*.f64 1/2 (/.f64 y x))

series31.0ms (2.4%)

Counts

1 → 3

Calls

1 calls:

31.0ms

(*.f64 1/2 (/.f64 y x))

simplify97.0ms (7.4%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5010	347

prune23.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	35	3	38

Merged error: 0b

Counts

38 → 3

Compiler

Compiled 417 to 208 computations (50.1% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite10.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_17622`
13×	`associate-r_binary64_17543`
10×	`times-frac_binary64_17607`
9×	`add-cube-cbrt_binary64_17633` `*-un-lft-identity_binary64_17601`
6×	`add-cbrt-cube_binary64_17634` `add-exp-log_binary64_17636`
3×	`pow1_binary64_17659` `associate-l_binary64_17544`
2×	`prod-exp_binary64_17647` `unswap-sqr_binary64_17569` `cbrt-unprod_binary64_17631`
1×	`associate-r/_binary64_17545` `cbrt-undiv_binary64_17632` `add-log-exp_binary64_17637` `-commutative_binary64_17534` `div-inv_binary64_17598` `pow-prod-down_binary64_17669` `div-exp_binary64_17649`

Counts

1 → 32

Calls

1 calls:

8.0ms

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

series26.0ms (2%)

Counts

1 → 3

Calls

1 calls:

26.0ms

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

simplify76.0ms (5.8%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5184	348

prune24.0ms (1.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	35	3	38

Merged error: 0b

Counts

38 → 3

Compiler

Compiled 411 to 257 computations (37.5% saved)

regimes90.0ms (6.9%)

Compiler: Compiled 132 to 117 computations (11.4% saved)

bsearch29.0ms (2.2%)

Steps

Iters	Range		Point
9	6.29510749639853e+106	2.2651951555860608e+113	2.232494047407003e+113
9	-2.7417875023153088e+156	-1.117540400476371e+147	-1.355617119503758e+154

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	35	41
1	35	41

end0.0ms (0%)

sample458.0ms (35%)

Algorithm

1×

intervals

Results

207.0ms	8000×	body	128	valid
4.0ms	154×	body	128	nan

Compiler

Compiled 84 to 63 computations (25% saved)

Details

analyze70.0ms (5.4%)

sample13.0ms (1%)

simplify167.0ms (12.7%)

prune2.0ms (0.2%)

localize4.0ms (0.3%)

rewrite6.0ms (0.5%)

series56.0ms (4.3%)

simplify90.0ms (6.9%)

prune14.0ms (1.1%)

localize5.0ms (0.4%)

rewrite11.0ms (0.8%)

series31.0ms (2.4%)

simplify97.0ms (7.4%)

prune23.0ms (1.7%)

localize5.0ms (0.4%)

rewrite10.0ms (0.8%)

series26.0ms (2%)

simplify76.0ms (5.8%)

prune24.0ms (1.8%)

regimes90.0ms (6.9%)

bsearch29.0ms (2.2%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample458.0ms (35%)

Profiling