Details

analyze26.0ms (0.7%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 16 computations (38.5% saved)

sample45.0ms (1.2%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 45 to 30 computations (33.3% saved)

simplify17.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

128×	`associate-+l+_binary64`
99×	`associate-+r+_binary64`
56×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	56	13
3	143	13
4	188	13
5	186	13
6	186	13

prune2.0ms (0%)

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.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Compiler

Compiled 28 to 18 computations (35.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite71.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
19×	`sum-log_binary64` `distribute-lft-out_binary64`
3×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-+l+_binary64` `+-commutative_binary64`

Counts

3 → 51

Calls

3 calls:

12.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)

Compiler

Compiled 714 to 171 computations (76.1% saved)

series104.0ms (2.8%)

Error

0.0b

Counts

3 → 72

Calls

3 calls:

40.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
29.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
20.0ms	(+.f64 (+.f64 e d) c)

Compiler

Compiled 1511 to 939 computations (37.9% saved)

simplify88.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

672×	`associate--r+_binary64`
506×	`associate-+r+_binary64`
458×	`associate--l+_binary64`
323×	`sub-neg_binary64`
232×	`cancel-sign-sub-inv_binary64`

Counts

123 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1275
1	283	1248
2	1017	1230
3	2349	1230
4	4587	1230
5	4853	1230

prune43.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	78	6	84

Error

Counts

84 → 6

Alt Table

Status	Error	Program
✓	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.5b	(*.f64 (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))) (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))
	0.3b	(+.f64 (+.f64 (+.f64 d (+.f64 c e)) b) a)
	0.3b	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
▶	0.3b	(+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))
	0.7b	(exp.f64 (log.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))

Compiler

Compiled 718 to 241 computations (66.4% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite80.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
19×	`sum-log_binary64` `distribute-lft-out_binary64`
3×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64`
2×	`associate-+r+_binary64`
1×	`associate-+l+_binary64`

Counts

3 → 51

Calls

3 calls:

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

Compiler

Compiled 714 to 171 computations (76.1% saved)

series97.0ms (2.6%)

Error

Counts

3 → 72

Calls

3 calls:

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

Compiler

Compiled 1451 to 923 computations (36.4% saved)

simplify88.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

663×	`associate-+l+_binary64`
617×	`associate-+r+_binary64`
412×	`sub-neg_binary64`
382×	`distribute-neg-in_binary64`
293×	`neg-mul-1_binary64`

Counts

123 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	101	1263
1	281	1236
2	1163	1233
3	3788	1233
4	4854	1233
5	4711	1233

prune42.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	75	6	81

Error

Counts

81 → 6

Alt Table

Status	Error	Program
✓	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.5b	(*.f64 (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))) (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))
	0.3b	(+.f64 (+.f64 (+.f64 d (+.f64 c e)) b) a)
▶	0.3b	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
✓	0.3b	(+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))
	0.7b	(exp.f64 (log.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))

Compiler

Compiled 690 to 229 computations (66.8% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite65.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
18×	`sum-log_binary64` `distribute-lft-out_binary64`
6×	`flip3-+_binary64` `flip-+_binary64`
4×	`frac-add_binary64`
2×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-+l+_binary64` `+-commutative_binary64`

Counts

2 → 43

Calls

2 calls:

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

Compiler

Compiled 746 to 161 computations (78.4% saved)

series69.0ms (1.8%)

Error

Counts

2 → 48

Calls

2 calls:

38.0ms	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
21.0ms	(+.f64 (+.f64 e d) c)

Compiler

Compiled 1014 to 624 computations (38.5% saved)

simplify56.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

747×	`associate-+l+_binary64`
570×	`associate-+r+_binary64`
341×	`associate-l_binary64`
333×	`associate-r_binary64`
188×	`distribute-rgt-in_binary64`

Counts

91 → 65

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	1251
1	347	1224
2	1430	1176
3	5061	1176

prune35.0ms (0.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	65	6	71

Error

Counts

71 → 6

Alt Table

Status	Error	Program
✓	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
▶	0.2b	(+.f64 (+.f64 d (+.f64 c e)) (+.f64 a b))
	0.5b	(*.f64 (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))) (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))
✓	0.3b	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
✓	0.3b	(+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))
	0.7b	(exp.f64 (log.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))

Compiler

Compiled 716 to 218 computations (69.6% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite60.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
18×	`sum-log_binary64` `distribute-lft-out_binary64`
6×	`flip3-+_binary64` `flip-+_binary64`
4×	`frac-add_binary64`
2×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-+r+_binary64` `+-commutative_binary64`

Counts

2 → 43

Calls

2 calls:

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

Compiler

Compiled 746 to 161 computations (78.4% saved)

series67.0ms (1.8%)

Error

Counts

2 → 48

Calls

2 calls:

38.0ms	(+.f64 (+.f64 d (+.f64 c e)) (+.f64 a b))
20.0ms	(+.f64 d (+.f64 c e))

Compiler

Compiled 1014 to 624 computations (38.5% saved)

simplify91.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

635×	`associate-+l+_binary64`
530×	`associate-+r+_binary64`
322×	`associate-l_binary64`
314×	`associate-r_binary64`
306×	`sub-neg_binary64`

Counts

91 → 56

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	1239
1	356	1212
2	1375	1179
3	4046	1179
4	4968	1179
5	4842	1179

prune34.0ms (0.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	56	6	62

Error

Counts

62 → 6

Alt Table

Status	Error	Program
	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.2b	(+.f64 (+.f64 d (+.f64 c e)) (+.f64 a b))
	0.5b	(*.f64 (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))) (sqrt.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))
	0.3b	(+.f64 (+.f64 (+.f64 e d) c) (+.f64 a b))
	0.3b	(+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))
	0.7b	(exp.f64 (log.f64 (+.f64 d (+.f64 a (+.f64 (+.f64 b c) e)))))

Compiler

Compiled 653 to 190 computations (70.9% saved)

regimes1.5s (40%)

Accuracy

Total -0.0b remaining (-57.9%)

Threshold costs -0.0b (-57.9%)

Compiler

Compiled 18446 to 12182 computations (34% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	20	25
2	20	25

end15.0ms (0.4%)

Remove: (sort a b c d e)
Compiler: Compiled 60 to 45 computations (25% saved)

sample1.0s (27.4%)

Algorithm

1×

intervals

Results

367.0ms	8000×	pre	128	true
198.0ms	8000×	body	128	valid

Compiler

Compiled 149 to 94 computations (36.9% saved)

Details

analyze26.0ms (0.7%)

sample45.0ms (1.2%)

simplify17.0ms (0.5%)

prune2.0ms (0%)

localize7.0ms (0.2%)

rewrite71.0ms (1.9%)

series104.0ms (2.8%)

simplify88.0ms (2.3%)

prune43.0ms (1.1%)

localize7.0ms (0.2%)

rewrite80.0ms (2.1%)

series97.0ms (2.6%)

simplify88.0ms (2.3%)

prune42.0ms (1.1%)

localize9.0ms (0.2%)

rewrite65.0ms (1.7%)

series69.0ms (1.8%)

simplify56.0ms (1.5%)

prune35.0ms (0.9%)

localize7.0ms (0.2%)

rewrite60.0ms (1.6%)

series67.0ms (1.8%)

simplify91.0ms (2.4%)

prune34.0ms (0.9%)

regimes1.5s (40%)

simplify3.0ms (0.1%)

end15.0ms (0.4%)

sample1.0s (27.4%)

Profiling