Details

analyze262.0ms (7.7%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	20
1	54	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
37.5%	50%	12.6%	6
37.5%	50%	12.6%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	7
56.2%	25%	18.8%	8
56.2%	25%	18.8%	8
62.4%	18.7%	18.8%	9
62.4%	18.7%	18.8%	9
65.6%	12.5%	22%	10
65.6%	12.5%	22%	10
68.7%	9.4%	22%	11
68.7%	9.4%	22%	11
70.2%	6.2%	23.5%	12
70.2%	6.2%	23.5%	12
71.8%	4.7%	23.5%	13
71.8%	4.7%	23.5%	13
72.6%	3.1%	24.3%	14
72.6%	3.1%	24.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample178.0ms (5.2%)

Algorithm

2×

intervals

Results

11.0ms	512×	body	128	valid
4.0ms	166×	body	128	invalid

Compiler

Compiled 2719 to 3057 computations (-12.4% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	35	10
1	35	10

prune2.0ms (0.1%)

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

10.4b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 (.f64 x 3) x)
10.0b	(.f64 (.f64 (*.f64 x 3) x) y)

rewrite58.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
9×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
6×	`associate-r_binary64_19796`
4×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
2×	`add-log-exp_binary64_19895` `associate-l_binary64_19797` `*-commutative_binary64_19787`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
5.0ms	(.f64 (.f64 x 3) x)

Compiler

Compiled 503 to 304 computations (39.6% saved)

series150.0ms (4.4%)

Error

10.3b

Counts

2 → 9

Calls

2 calls:

111.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
31.0ms	(.f64 (.f64 x 3) x)

Compiler

Compiled 189 to 173 computations (8.5% saved)

simplify61.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5053	472

prune40.0ms (1.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	43	5	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	5	49

Error

0.1b

Counts

49 → 5

Compiler

Compiled 504 to 272 computations (46% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x 3) (*.f64 x y))

rewrite30.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
8×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
1×	`add-log-exp_binary64_19895` `add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `-un-lft-identity_binary64_19856` `associate-l_binary64_19797` `associate-r_binary64_19796` `-commutative_binary64_19787`

Counts

1 → 22

Calls

1 calls:

9.0ms

(*.f64 (*.f64 x 3) (*.f64 x y))

Compiler

Compiled 300 to 155 computations (48.3% saved)

series117.0ms (3.4%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

113.0ms

(*.f64 (*.f64 x 3) (*.f64 x y))

Compiler

Compiled 126 to 116 computations (7.9% saved)

simplify69.0ms (2%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4952	313
1	4952	313

prune21.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	27	6	33

Error

0.0b

Counts

33 → 6

Compiler

Compiled 308 to 156 computations (49.4% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 x (.f64 3 (*.f64 x y)))
0.3b	(.f64 3 (.f64 x y))

rewrite52.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
9×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
6×	`associate-l_binary64_19797`
4×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
2×	`add-log-exp_binary64_19895` `associate-r_binary64_19796` `*-commutative_binary64_19787`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 x (.f64 3 (*.f64 x y)))
5.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 503 to 262 computations (47.9% saved)

series173.0ms (5.1%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

95.0ms	(.f64 x (.f64 3 (*.f64 x y)))
71.0ms	(.f64 3 (.f64 x y))

Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify54.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5208	500

prune41.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	3	1	4
Picked	0	1	1
Done	0	1	1
Total	50	7	57

Error

Counts

57 → 7

Compiler

Compiled 556 to 292 computations (47.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 x (.f64 x y))
0.2b	(.f64 3 (.f64 x (*.f64 x y)))

rewrite41.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
9×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
6×	`associate-l_binary64_19797`
4×	`add-cube-cbrt_binary64_19891` `add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
2×	`add-log-exp_binary64_19895` `associate-r_binary64_19796` `*-commutative_binary64_19787`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 3 (.f64 x (*.f64 x y)))
5.0ms	(.f64 x (.f64 x y))

Compiler

Compiled 503 to 202 computations (59.8% saved)

series193.0ms (5.6%)

Error

Counts

2 → 12

Calls

2 calls:

105.0ms	(.f64 3 (.f64 x (*.f64 x y)))
82.0ms	(.f64 x (.f64 x y))

Compiler

Compiled 252 to 230 computations (8.7% saved)

simplify72.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4902	498
1	4902	498

prune31.0ms (0.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	51	7	58

Error

Counts

58 → 7

Compiler

Compiled 491 to 206 computations (58% saved)

regimes532.0ms (15.6%)

Accuracy

Total 0.2b remaining (97.9%)

Threshold costs 0.2b (97.9%)

Compiler

Compiled 2821 to 2161 computations (23.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	10	10

end0.0ms (0%)

sample1.2s (35.4%)

Algorithm

1×

intervals

Results

180.0ms	8000×	body	128	valid
64.0ms	2655×	body	128	invalid

Compiler

Compiled 649 to 499 computations (23.1% saved)

Details

analyze262.0ms (7.7%)

sample178.0ms (5.2%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite58.0ms (1.7%)

series150.0ms (4.4%)

simplify61.0ms (1.8%)

prune40.0ms (1.2%)

localize4.0ms (0.1%)

rewrite30.0ms (0.9%)

series117.0ms (3.4%)

simplify69.0ms (2%)

prune21.0ms (0.6%)

localize4.0ms (0.1%)

rewrite52.0ms (1.5%)

series173.0ms (5.1%)

simplify54.0ms (1.6%)

prune41.0ms (1.2%)

localize7.0ms (0.2%)

rewrite41.0ms (1.2%)

series193.0ms (5.6%)

simplify72.0ms (2.1%)

prune31.0ms (0.9%)

regimes532.0ms (15.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.2s (35.4%)

Profiling