Details

analyze182.0ms (5.1%)

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
56.2%	43.7%	0.1%	7
56.2%	43.7%	0.1%	8
76.5%	23.4%	0.1%	9
76.5%	23.4%	0.1%	10
87.8%	12.1%	0.1%	11
87.8%	12.1%	0.1%	12
93.8%	6.1%	0.1%	13
93.8%	6.1%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample25.0ms (0.7%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify153.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	37	13
1	37	13

prune8.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.0b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

11.7b	(/.f64 (+.f64 x y) (.f64 (.f64 x 2) y))
11.7b	(/.f64 (+.f64 x y) (.f64 (.f64 x 2) y))

rewrite19.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64_13427` `add-exp-log_binary64_13429`
7×	`*-un-lft-identity_binary64_13391`
4×	`times-frac_binary64_13397` `associate-/l*_binary64_13336`
3×	`cbrt-undiv_binary64_13425` `prod-exp_binary64_13440` `div-exp_binary64_13442` `add-cube-cbrt_binary64_13426` `cbrt-unprod_binary64_13424` `add-sqr-sqrt_binary64_13413`
2×	`distribute-lft-out_binary64_13342` `associate-/l/_binary64_13338`
1×	`clear-num_binary64_13390` `div-inv_binary64_13388` `add-log-exp_binary64_13430` `flip3-+_binary64_13394` `pow1_binary64_13452` `frac-2neg_binary64_13402` `associate-/r*_binary64_13335` `flip-+_binary64_13365`

Counts

1 → 27

Calls

2 calls:

15.0ms	(/.f64 (+.f64 x y) (.f64 (.f64 x 2) y))
0.0ms	(/.f64 (+.f64 x y) (.f64 (.f64 x 2) y))

series206.0ms (5.7%)

Counts

1 → 12

Calls

1 calls:

206.0ms

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

Compiler

Compiled 150 to 156 computations (-4% saved)

simplify77.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5367	505

prune78.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	2	40

Error

Counts

40 → 2

Compiler

Compiled 433 to 218 computations (49.7% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite25.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_13391`
6×	`times-frac_binary64_13397`
5×	`distribute-lft-out_binary64_13342`
3×	`add-log-exp_binary64_13430` `add-cube-cbrt_binary64_13426` `add-sqr-sqrt_binary64_13413`
2×	`div-inv_binary64_13388`
1×	`frac-add_binary64_13399` `add-cbrt-cube_binary64_13427` `sum-log_binary64_13482` `flip3-+_binary64_13394` `pow1_binary64_13452` `+-commutative_binary64_13321` `add-exp-log_binary64_13429` `flip-+_binary64_13365`

Counts

1 → 17

Calls

2 calls:

22.0ms	(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))
0.0ms	(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

series168.0ms (4.7%)

Counts

1 → 12

Calls

1 calls:

167.0ms

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

Compiler

Compiled 150 to 156 computations (-4% saved)

simplify153.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	5160	328

prune33.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	29	2	31

Error

Counts

31 → 2

Compiler

Compiled 280 to 212 computations (24.3% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	57	279
1	57	279

regimes104.0ms (2.9%)

Accuracy

Total 0.0b remaining (94.2%)

Threshold costs 0.0b (94.2%)

Compiler

Compiled 382 to 292 computations (23.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	8	10

end0.0ms (0%)

sample2.3s (64.8%)

Algorithm

1×

intervals

Results

409.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 584 to 443 computations (24.1% saved)

Pareto

0.20861074176126015

Details

analyze182.0ms (5.1%)

sample25.0ms (0.7%)

simplify153.0ms (4.2%)

prune8.0ms (0.2%)

localize12.0ms (0.3%)

rewrite19.0ms (0.5%)

series206.0ms (5.7%)

simplify77.0ms (2.1%)

prune78.0ms (2.2%)

localize12.0ms (0.3%)

rewrite25.0ms (0.7%)

series168.0ms (4.7%)

simplify153.0ms (4.3%)

prune33.0ms (0.9%)

simplify8.0ms (0.2%)

regimes104.0ms (2.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.3s (64.8%)

Profiling