Details

analyze173.0ms (2.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	186	143
1	186	143
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 21 to 16 computations (23.8% saved)

sample89.0ms (1.1%)

Algorithm

1×

intervals

Results

21.0ms	256×	pre	128	true
12.0ms	256×	body	128	valid

Compiler

Compiled 30 to 30 computations (0% saved)

simplify19.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	186	13
1	186	13

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

0.4b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b	(+.f64 (+.f64 e d) c)
0.3b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
0.3b	(+.f64 (+.f64 (+.f64 e d) c) b)

rewrite60.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845`
19×	`distribute-lft-out_binary64_2757` `sum-log_binary64_2897`
3×	`add-sqr-sqrt_binary64_2828` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `associate-+l+_binary64_2739` `flip-+_binary64_2780` `add-cube-cbrt_binary64_2841` `flip3-+_binary64_2809` `pow1_binary64_2867` `+-commutative_binary64_2736`

Counts

3 → 51

Calls

3 calls:

24.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
18.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
11.0ms	(+.f64 (+.f64 e d) c)

series495.0ms (5.9%)

Counts

3 → 72

Calls

3 calls:

220.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
172.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
102.0ms	(+.f64 (+.f64 e d) c)

Compiler

Compiled 796 to 884 computations (-11.1% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4853	1230
1	4853	1230

prune141.0ms (1.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	113	10	123
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	10	124

Error

0.0b

Counts

124 → 10

Compiler

Compiled 1412 to 319 computations (77.4% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
0.3b	(+.f64 (+.f64 e d) (+.f64 c b))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845`
21×	`distribute-lft-out_binary64_2757` `sum-log_binary64_2897`
6×	`flip-+_binary64_2780` `flip3-+_binary64_2809`
4×	`frac-add_binary64_2814`
2×	`add-sqr-sqrt_binary64_2828` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `associate-+l+_binary64_2739` `add-cube-cbrt_binary64_2841` `pow1_binary64_2867` `+-commutative_binary64_2736`
1×	`associate-+r+_binary64_2738`

Counts

2 → 45

Calls

2 calls:

23.0ms	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
16.0ms	(+.f64 (+.f64 e d) (+.f64 c b))

series377.0ms (4.5%)

Counts

2 → 54

Calls

2 calls:

218.0ms	(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
158.0ms	(+.f64 (+.f64 e d) (+.f64 c b))

Compiler

Compiled 583 to 656 computations (-12.5% saved)

simplify114.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4969	1273
1	4969	1273

prune104.0ms (1.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	100	9	109

Error

0.0b

Counts

109 → 9

Compiler

Compiled 1241 to 283 computations (77.2% saved)

localize17.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b	(+.f64 (+.f64 c b) a)
0.3b	(+.f64 (+.f64 e d) (+.f64 (+.f64 c b) a))

rewrite40.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845`
18×	`distribute-lft-out_binary64_2757` `sum-log_binary64_2897`
6×	`flip-+_binary64_2780` `flip3-+_binary64_2809`
4×	`frac-add_binary64_2814`
2×	`add-sqr-sqrt_binary64_2828` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `associate-+l+_binary64_2739` `add-cube-cbrt_binary64_2841` `pow1_binary64_2867` `+-commutative_binary64_2736`
1×	`associate-+r+_binary64_2738`

Counts

2 → 43

Calls

2 calls:

22.0ms	(+.f64 (+.f64 e d) (+.f64 (+.f64 c b) a))
11.0ms	(+.f64 (+.f64 c b) a)

series350.0ms (4.2%)

Counts

2 → 48

Calls

2 calls:

237.0ms	(+.f64 (+.f64 e d) (+.f64 (+.f64 c b) a))
112.0ms	(+.f64 (+.f64 c b) a)

Compiler

Compiled 528 to 588 computations (-11.4% saved)

simplify66.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5310	1179

prune110.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	5	3	8
Picked	0	1	1
Done	0	0	0
Total	94	6	100

Error

Counts

100 → 6

Compiler

Compiled 1160 to 230 computations (80.2% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b	(+.f64 d (+.f64 c b))
0.2b	(+.f64 e (+.f64 d (+.f64 c b)))
0.3b	(+.f64 (+.f64 e (+.f64 d (+.f64 c b))) a)

rewrite57.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845`
19×	`distribute-lft-out_binary64_2757` `sum-log_binary64_2897`
3×	`add-sqr-sqrt_binary64_2828` `add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `flip-+_binary64_2780` `add-cube-cbrt_binary64_2841` `flip3-+_binary64_2809` `pow1_binary64_2867` `+-commutative_binary64_2736`
2×	`associate-+r+_binary64_2738`
1×	`associate-+l+_binary64_2739`

Counts

3 → 51

Calls

3 calls:

23.0ms	(+.f64 (+.f64 e (+.f64 d (+.f64 c b))) a)
15.0ms	(+.f64 e (+.f64 d (+.f64 c b)))
11.0ms	(+.f64 d (+.f64 c b))

series523.0ms (6.3%)

Counts

3 → 72

Calls

3 calls:

238.0ms	(+.f64 (+.f64 e (+.f64 d (+.f64 c b))) a)
173.0ms	(+.f64 e (+.f64 d (+.f64 c b)))
112.0ms	(+.f64 d (+.f64 c b))

Compiler

Compiled 796 to 884 computations (-11.1% saved)

simplify113.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4798	1236
1	4798	1236

prune112.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	123	6	129

Error

Counts

129 → 6

Compiler

Compiled 1201 to 190 computations (84.2% saved)

regimes1.2s (14%)

Accuracy

Total 0.2b remaining (99.9%)

Threshold costs 0.2b (99.9%)

Compiler

Compiled 6841 to 4342 computations (36.5% saved)

bsearch0.0ms (0%)

simplify40.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	13
1	14	13

Compiler

Compiled 18 to 18 computations (0% saved)

end0.0ms (0%)

sample4.0s (47.7%)

Algorithm

1×

intervals

Results

868.0ms	8000×	body	128	valid
692.0ms	8000×	pre	128	true

Compiler

Compiled 733 to 470 computations (35.9% saved)

Details

analyze173.0ms (2.1%)

sample89.0ms (1.1%)

simplify19.0ms (0.2%)

prune5.0ms (0.1%)

localize16.0ms (0.2%)

rewrite60.0ms (0.7%)

series495.0ms (5.9%)

simplify99.0ms (1.2%)

prune141.0ms (1.7%)

localize14.0ms (0.2%)

rewrite47.0ms (0.6%)

series377.0ms (4.5%)

simplify114.0ms (1.4%)

prune104.0ms (1.2%)

localize17.0ms (0.2%)

rewrite40.0ms (0.5%)

series350.0ms (4.2%)

simplify66.0ms (0.8%)

prune110.0ms (1.3%)

localize14.0ms (0.2%)

rewrite57.0ms (0.7%)

series523.0ms (6.3%)

simplify113.0ms (1.4%)

prune112.0ms (1.3%)

regimes1.2s (14%)

bsearch0.0ms (0%)

simplify40.0ms (0.5%)

end0.0ms (0%)

sample4.0s (47.7%)

Profiling