Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 21 to 16 computations (23.8% saved)

sample27.0ms (0.7%)

Algorithm

1×

intervals

Results

11.0ms	256×	pre	128	true
6.0ms	256×	body	128	valid

Compiler

Compiled 30 to 30 computations (0% saved)

simplify100.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	186	13
1	186	13

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

0.4b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize8.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

rewrite32.0ms (0.9%)

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

6 calls:

13.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
9.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
6.0ms	(+.f64 (+.f64 e d) c)
0.0ms	(+.f64 (+.f64 e d) c)
0.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)

series285.0ms (7.9%)

Counts

3 → 72

Calls

3 calls:

135.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
90.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
59.0ms	(+.f64 (+.f64 e d) c)

Compiler

Compiled 796 to 884 computations (-11.1% saved)

simplify56.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4853	1230
1	4853	1230

prune100.0ms (2.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	111	12	123
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	12	124

Error

0.0b

Counts

124 → 12

Compiler

Compiled 1403 to 341 computations (75.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite21.0ms (0.6%)

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

4 calls:

12.0ms	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
6.0ms	(+.f64 (+.f64 e d) c)
0.0ms	(+.f64 (+.f64 e d) c)
0.0ms	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))

series192.0ms (5.4%)

Counts

2 → 48

Calls

2 calls:

131.0ms	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
61.0ms	(+.f64 (+.f64 e d) c)

Compiler

Compiled 528 to 588 computations (-11.4% saved)

simplify35.0ms (1%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5060	1176

prune63.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	93	10	103

Error

Counts

103 → 10

Compiler

Compiled 1216 to 281 computations (76.9% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite21.0ms (0.6%)

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-+r+_binary64_2738` `add-cube-cbrt_binary64_2841` `pow1_binary64_2867` `+-commutative_binary64_2736`
1×	`associate-+l+_binary64_2739`

Counts

2 → 43

Calls

4 calls:

12.0ms	(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))
5.0ms	(+.f64 c (+.f64 b a))
0.0ms	(+.f64 c (+.f64 b a))
0.0ms	(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))

series190.0ms (5.3%)

Counts

2 → 48

Calls

2 calls:

131.0ms	(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))
58.0ms	(+.f64 c (+.f64 b a))

Compiler

Compiled 528 to 588 computations (-11.4% saved)

simplify37.0ms (1%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5133	1176

prune61.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	95	6	101

Error

Counts

101 → 6

Compiler

Compiled 1141 to 230 computations (79.8% saved)

localize9.0ms (0.3%)

Local error

Found 6 expressions with local error:

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

rewrite28.0ms (0.8%)

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-+r+_binary64_2738` `flip-+_binary64_2780` `add-cube-cbrt_binary64_2841` `flip3-+_binary64_2809` `pow1_binary64_2867` `+-commutative_binary64_2736`

Counts

3 → 51

Calls

6 calls:

11.0ms	(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
8.0ms	(+.f64 d (+.f64 c (+.f64 b a)))
5.0ms	(+.f64 c (+.f64 b a))
0.0ms	(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
0.0ms	(+.f64 c (+.f64 b a))

series276.0ms (7.7%)

Counts

3 → 72

Calls

3 calls:

126.0ms	(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
91.0ms	(+.f64 d (+.f64 c (+.f64 b a)))
58.0ms	(+.f64 c (+.f64 b a))

Compiler

Compiled 796 to 884 computations (-11.1% saved)

simplify61.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4773	1230
1	4773	1230

prune60.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	123	6	129

Error

Counts

129 → 6

Compiler

Compiled 1201 to 190 computations (84.2% saved)

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	284	914
1	284	914

regimes477.0ms (13.3%)

Compiler: Compiled 5320 to 3671 computations (31% saved)

bsearch0.0ms (0%)

regimes58.0ms (1.6%)

Compiler: Compiled 88 to 224 computations (-154.5% saved)

bsearch0.0ms (0%)

regimes42.0ms (1.2%)

Accuracy

Total 0.2b remaining (99.8%)

Threshold costs 0.2b (99.8%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch4.0ms (0.1%)

Compiler: Compiled 19 to 24 computations (-26.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	27
1	24	27

end0.0ms (0%)

sample1.3s (36.6%)

Algorithm

1×

intervals

Results

358.0ms	8000×	pre	128	true
209.0ms	8000×	body	128	valid

Compiler

Compiled 662 to 471 computations (28.9% saved)

Pareto

0.0

Details

analyze3.0ms (0.1%)

sample27.0ms (0.7%)

simplify100.0ms (2.8%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite32.0ms (0.9%)

series285.0ms (7.9%)

simplify56.0ms (1.6%)

prune100.0ms (2.8%)

localize7.0ms (0.2%)

rewrite21.0ms (0.6%)

series192.0ms (5.4%)

simplify35.0ms (1%)

prune63.0ms (1.8%)

localize7.0ms (0.2%)

rewrite21.0ms (0.6%)

series190.0ms (5.3%)

simplify37.0ms (1%)

prune61.0ms (1.7%)

localize9.0ms (0.3%)

rewrite28.0ms (0.8%)

series276.0ms (7.7%)

simplify61.0ms (1.7%)

prune60.0ms (1.7%)

simplify13.0ms (0.4%)

regimes477.0ms (13.3%)

bsearch0.0ms (0%)

regimes58.0ms (1.6%)

bsearch0.0ms (0%)

regimes42.0ms (1.2%)

bsearch4.0ms (0.1%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (36.6%)

Profiling