Details

analyze376.0ms (25%)

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%	62.4%	12.6%	6
25%	50%	25.1%	7
31.2%	37.5%	31.3%	8
39%	24.2%	36.8%	9
42.9%	18.3%	38.7%	10
47.2%	11.9%	40.9%	11
49.4%	9.1%	41.6%	12
51.6%	5.9%	42.5%	13
52.7%	4.5%	42.8%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample14.0ms (0.9%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify332.0ms (22.1%)

Algorithm

1×	egg-herbie

Rules

3990×	`distribute-rgt-in_binary64`
2232×	`associate--r-_binary64`
1285×	`sub-neg_binary64`
783×	`unsub-neg_binary64`
740×	`*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	14	10
2	24	10
3	49	10
4	99	10
5	225	10
6	350	10
7	728	10
8	1111	10
9	1915	10
10	2164	10
11	2471	10
12	2701	10
13	2815	10
14	2815	10
15	3774	10
16	3614	10
17	3934	10
18	3934	10
19	3854	10
20	4014	10
21	4094	10
22	4094	10
23	4094	10
24	4859	10
25	4876	10
26	10525	10

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 a a) (.f64 b b))

Compiler

Compiled 18 to 10 computations (44.4% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (.f64 a a) (.f64 b b))

rewrite9.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64`
1×	`cancel-sign-sub-inv_binary64`
1×	`difference-of-squares_binary64`
1×	`flip--_binary64`
1×	`sub-neg_binary64`

Counts

1 → 13

Calls

1 calls:

3.0ms

(-.f64 (*.f64 a a) (*.f64 b b))

Compiler

Compiled 196 to 47 computations (76% saved)

series18.0ms (1.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

16.0ms

(-.f64 (*.f64 a a) (*.f64 b b))

Compiler

Compiled 161 to 127 computations (21.1% saved)

simplify50.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

792×	`distribute-rgt-in_binary64`
734×	`distribute-lft-in_binary64`
713×	`unswap-sqr_binary64`
422×	`unsub-neg_binary64`
253×	`*-commutative_binary64`

Counts

25 → 18

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	318
1	100	273
2	264	273
3	916	273
4	3323	273
5	4871	273

prune6.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

19 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 a a) (.f64 b b))
▶	0.0b	(*.f64 (+.f64 b a) (-.f64 a b))

Compiler

Compiled 115 to 50 computations (56.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (+.f64 b a) (-.f64 a b))

rewrite23.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
6×	`cancel-sign-sub-inv_binary64`
5×	`associate-r_binary64`
5×	`add-cube-cbrt_binary64`

Counts

1 → 37

Calls

1 calls:

7.0ms

(*.f64 (+.f64 b a) (-.f64 a b))

Compiler

Compiled 573 to 150 computations (73.8% saved)

series18.0ms (1.2%)

Error

Counts

1 → 12

Calls

1 calls:

17.0ms

(*.f64 (+.f64 b a) (-.f64 a b))

Compiler

Compiled 161 to 127 computations (21.1% saved)

simplify81.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
435×	`exp-prod_binary64`
387×	`unsub-neg_binary64`
287×	`*-commutative_binary64`
269×	`exp-sum_binary64`

Counts

49 → 46

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	91	748
1	256	706
2	925	706
3	1373	706
4	2618	706
5	4000	706
6	5584	706

prune9.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

48 → 2

Alt Table

Status	Error	Program
	0.0b	(-.f64 (.f64 a a) (.f64 b b))
	0.0b	(*.f64 (+.f64 b a) (-.f64 a b))

Compiler

Compiled 430 to 125 computations (70.9% saved)

regimes73.0ms (4.8%)

Accuracy

Total 0.0b remaining (88.9%)

Threshold costs 0.0b (88.9%)

Compiler

Compiled 855 to 435 computations (49.1% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	15	10
3	17	10
4	18	10
5	18	10

end0.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

sample480.0ms (32%)

Algorithm

1×

intervals

Results

221.0ms	8000×	body	128	valid
4.0ms	149×	body	128	invalid

Compiler

Compiled 39 to 23 computations (41% saved)

Details

analyze376.0ms (25%)

sample14.0ms (0.9%)

simplify332.0ms (22.1%)

prune1.0ms (0.1%)

localize5.0ms (0.3%)

rewrite9.0ms (0.6%)

series18.0ms (1.2%)

simplify50.0ms (3.3%)

prune6.0ms (0.4%)

localize4.0ms (0.3%)

rewrite23.0ms (1.6%)

series18.0ms (1.2%)

simplify81.0ms (5.4%)

prune9.0ms (0.6%)

regimes73.0ms (4.8%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample480.0ms (32%)

Profiling