Details

analyze3.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 53 to 38 computations (28.3% saved)

sample1.1s (3.2%)

Symmetry

(sort a b c d e)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 120 to 85 computations (29.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

125×	`associate-+l+_binary64`
97×	`associate-+r+_binary64`
51×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	59	13
3	188	13
4	339	13
5	339	13

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 79 to 49 computations (38% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 a (+.f64 d b))
✓	0.2b	(+.f64 c (+.f64 a (+.f64 d b)))
✓	0.2b	(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

series18.0ms (0.1%)

Counts

3 → 81

Calls

3 calls:

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

rewrite57.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

426×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
128×	`add-sqr-sqrt_binary64`
127×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	242	30
2	3899	30

Stop Event

1×	node limit

Counts

3 → 111

Calls

3 calls:

55.0ms	(+.f64 a (+.f64 d b))
55.0ms	(+.f64 c (+.f64 a (+.f64 d b)))
55.0ms	(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

125×	`associate-+l+_binary64`
56×	`associate-+r+_binary64`
36×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	699
1	57	699
2	139	699
3	251	699
4	262	699

Stop Event

1×

saturated

Counts

192 → 135

prune128.0ms (0.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	132	3	135
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	133	4	137

Error

Counts

137 → 4

Alt Table

Status	Error	Program
	0.4b	(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.6b	(/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (.f64 (+.f64 e c) (+.f64 a (+.f64 d b))))))
▶	0.3b	(+.f64 e (+.f64 c (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))))

Compiler

Compiled 2422 to 745 computations (69.2% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))
✓	0.3b	(/.f64 1 (-.f64 a (+.f64 d b)))
✓	0.4b	(.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))
✓	0.5b	(pow.f64 (+.f64 d b) 2)

series68.0ms (0.2%)

Counts

4 → 132

Calls

4 calls:

31.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))
18.0ms	(/.f64 1 (-.f64 a (+.f64 d b)))
14.0ms	(-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))
5.0ms	(pow.f64 (+.f64 d b) 2)

rewrite61.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

291×	`fma-neg_binary64`
247×	`expm1-udef_binary64`
247×	`log1p-udef_binary64`
152×	`egg-rr`
143×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	296	37
2	4174	37

Stop Event

1×	node limit

Counts

4 → 152

Calls

4 calls:

58.0ms	(-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))
58.0ms	(/.f64 1 (-.f64 a (+.f64 d b)))
58.0ms	(.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))
58.0ms	(pow.f64 (+.f64 d b) 2)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

390×	`associate-+r+_binary64`
300×	`sub-neg_binary64`
299×	`+-commutative_binary64`
268×	`times-frac_binary64`
257×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	4135
1	939	3908
2	4177	3901

Stop Event

1×	node limit

Counts

284 → 255

prune226.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	255	0	255
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	255	4	259

Error

Counts

259 → 4

Alt Table

Status	Error	Program
	0.4b	(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
▶	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.6b	(/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (.f64 (+.f64 e c) (+.f64 a (+.f64 d b))))))
✓	0.3b	(+.f64 e (+.f64 c (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))))

Compiler

Compiled 8827 to 4051 computations (54.1% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 (+.f64 e d) c)
✓	0.2b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
✓	0.3b	(+.f64 (+.f64 (+.f64 e d) c) b)

series17.0ms (0%)

Counts

3 → 144

Calls

3 calls:

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

rewrite68.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

436×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
128×	`add-sqr-sqrt_binary64`
127×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	242	30
2	3875	30

Stop Event

1×	node limit

Counts

3 → 120

Calls

3 calls:

66.0ms	(+.f64 (+.f64 e d) c)
66.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
66.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)

simplify32.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

116×	`associate-+l+_binary64`
52×	`associate-+r+_binary64`
41×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	1248
1	59	1248
2	144	1248
3	240	1248
4	251	1248

Stop Event

1×

saturated

Counts

264 → 144

prune128.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	144	4	148

Error

Counts

148 → 4

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.6b	(/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (.f64 (+.f64 e c) (+.f64 a (+.f64 d b))))))
✓	0.3b	(+.f64 e (+.f64 c (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))))

Compiler

Compiled 2526 to 796 computations (68.5% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
✓	0.3b	(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
✓	0.7b	(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
✓	1.4b	(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

series22.5s (64.2%)

Counts

4 → 228

Calls

4 calls:

22.4s	(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
66.0ms	(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
45.0ms	(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
8.0ms	(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

rewrite58.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

209×	`add-sqr-sqrt_binary64`
204×	`log1p-expm1-u_binary64`
204×	`expm1-log1p-u_binary64`
203×	`add-cbrt-cube_binary64`
194×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	101
1	407	101

Stop Event

1×	node limit

Counts

4 → 103

Calls

4 calls:

55.0ms	(*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))
55.0ms	(/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)))
55.0ms	(pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3)
55.0ms	(-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e)

simplify2.8s (8.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6793	401304

Stop Event

1×	node limit

Counts

331 → 208

prune4.6s (13.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	208	4	212

Error

Counts

212 → 4

Alt Table

Status	Error	Program
✓	0.4b	(/.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 d b)) a) (-.f64 (+.f64 (+.f64 c (+.f64 d b)) a) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 d b)) a) 3))))
✓	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
	0.6b	(/.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (+.f64 (.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a (+.f64 d b)) 2) (.f64 (+.f64 e c) (+.f64 a (+.f64 d b))))))
✓	0.3b	(+.f64 e (+.f64 c (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 a (+.f64 d b))))))

Compiler

Compiled 268414 to 187828 computations (30% saved)

regimes2.9s (8.4%)

Accuracy

Total 0.2b remaining (86.1%)

Threshold costs 0.2b (86.1%)

Counts

305 → 1

Compiler

Compiled 68539 to 40934 computations (40.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	16	17

Stop Event

1×

saturated

end81.0ms (0.2%)

Remove: (sort a b c d e)
Compiler: Compiled 189 to 108 computations (42.9% saved)

Details

analyze3.0ms (0%)

sample1.1s (3.2%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize6.0ms (0%)

series18.0ms (0.1%)

rewrite57.0ms (0.2%)

simplify21.0ms (0.1%)

prune128.0ms (0.4%)

localize12.0ms (0%)

series68.0ms (0.2%)

rewrite61.0ms (0.2%)

simplify72.0ms (0.2%)

prune226.0ms (0.6%)

localize6.0ms (0%)

series17.0ms (0%)

rewrite68.0ms (0.2%)

simplify32.0ms (0.1%)

prune128.0ms (0.4%)

localize15.0ms (0%)

series22.5s (64.2%)

rewrite58.0ms (0.2%)

simplify2.8s (8.1%)

prune4.6s (13.1%)

regimes2.9s (8.4%)

simplify2.0ms (0%)

end81.0ms (0.2%)

Profiling