Details

analyze160.0ms (11%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	11	18
0	2	2
1	2	2

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)

sample16.0ms (1.1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	3×	body	128	nan

Compiler

Compiled 13 to 13 computations (0% saved)

simplify7.0ms (0.5%)

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

21.8b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x x) y)
20.4b	(sqrt.f64 (+.f64 (*.f64 x x) y))

rewrite29.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

21.8b

Rules

4×	`add-log-exp_binary64_13075` `add-sqr-sqrt_binary64_13058`
3×	`pow1_binary64_13097` `add-cube-cbrt_binary64_13071` `sqrt-prod_binary64_13052` `*-un-lft-identity_binary64_13036`
2×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072` `flip3-+_binary64_13039` `sqrt-div_binary64_13053` `flip-+_binary64_13010`
1×	`pow1/2_binary64_13116` `sqrt-pow1_binary64_13054` `rem-sqrt-square_binary64_13049` `sum-log_binary64_13127` `+-commutative_binary64_12966`

Counts

2 → 26

Calls

2 calls:

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

Compiler

Compiled 355 to 89 computations (74.9% saved)

series143.0ms (9.8%)

Error

Counts

2 → 25

Calls

2 calls:

65.0ms	(+.f64 (*.f64 x x) y)
63.0ms	(sqrt.f64 (+.f64 (*.f64 x x) y))

Compiler

Compiled 471 to 391 computations (17% saved)

simplify53.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4920	509
1	4920	509

prune31.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	49	2	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	3	52

Error

Counts

52 → 3

Compiler

Compiled 448 to 141 computations (68.5% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

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

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite33.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-sqr-sqrt_binary64_13058`
13×	`associate-r_binary64_12976`
10×	`times-frac_binary64_13042`
9×	`add-cube-cbrt_binary64_13071` `*-un-lft-identity_binary64_13036`
6×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
3×	`pow1_binary64_13097` `associate-l_binary64_12977`
2×	`prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `unswap-sqr_binary64_13004`
1×	`pow-prod-down_binary64_13107` `div-exp_binary64_13087` `add-log-exp_binary64_13075` `cbrt-undiv_binary64_13070` `associate-r/_binary64_12978` `div-inv_binary64_13033` `-commutative_binary64_12967`

Counts

1 → 32

Calls

1 calls:

7.0ms

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

Compiler

Compiled 437 to 226 computations (48.3% saved)

series62.0ms (4.3%)

Error

Counts

1 → 6

Calls

1 calls:

59.0ms

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

Compiler

Compiled 126 to 93 computations (26.2% saved)

simplify101.0ms (7%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	5013	368

prune24.0ms (1.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

41 → 3

Compiler

Compiled 431 to 211 computations (51% saved)

regimes131.0ms (9%)

Accuracy

Total 0.7b remaining (99.1%)

Threshold costs 0.7b (99.1%)

Compiler

Compiled 300 to 251 computations (16.3% saved)

bsearch28.0ms (1.9%)

Steps

Iters	Range		Point
9	4.644186769798577e+20	1.794205868092482e+27	1.7677596047938106e+27
7	-2.791319156727931e+155	-1.1723774300650065e+154	-1.3035121163067228e+154

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	34
1	28	34

end0.0ms (0%)

sample617.0ms (42.3%)

Algorithm

1×

intervals

Results

222.0ms	8000×	body	128	valid
5.0ms	190×	body	128	nan

Compiler

Compiled 106 to 82 computations (22.6% saved)

Details

analyze160.0ms (11%)

sample16.0ms (1.1%)

simplify7.0ms (0.5%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

rewrite29.0ms (2%)

series143.0ms (9.8%)

simplify53.0ms (3.7%)

prune31.0ms (2.2%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.5%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

rewrite33.0ms (2.3%)

series62.0ms (4.3%)

simplify101.0ms (7%)

prune24.0ms (1.6%)

regimes131.0ms (9%)

bsearch28.0ms (1.9%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample617.0ms (42.3%)

Profiling