Details

analyze3.4s (14.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	98.1%	1.9%	13
0%	98.1%	1.9%	14

Compiler

Compiled 59 to 22 computations (62.7% saved)

sample9.8s (41.2%)

Results

3.4s	16529×	body	128	invalid
2.2s	2195×	body	4096	valid
1.5s	1181×	body	8192	valid
1.3s	1357×	body	2048	valid
497.0ms	2457×	body	128	valid
431.0ms	610×	body	1024	valid
171.0ms	318×	body	512	valid
48.0ms	63×	body	2048	invalid
47.0ms	138×	body	256	valid
33.0ms	55×	body	1024	invalid
15.0ms	14×	body	4096	invalid
13.0ms	26×	body	512	invalid
9.0ms	8×	body	8192	exit
8.0ms	23×	body	256	invalid

Compiler

Compiled 176 to 65 computations (63.1% saved)

simplify64.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

599×	`times-frac_binary64`
518×	`distribute-neg-frac_binary64`
416×	`fma-def_binary64`
304×	`associate-/l*_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	78
1	64	74
2	296	74
3	3103	67
4	4218	67
5	5365	67

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

58.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
▶	58.8b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Status

Error

Program

61.1b

(*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M)))))

▶

58.8b

(*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

Compiler

Compiled 321 to 130 computations (59.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	13.0b	(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))
✓	13.1b	(.f64 (.f64 w h) (*.f64 D D))
✓	15.0b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	30.5b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

series774.0ms (3.2%)

Counts

4 → 240

Calls

4 calls:

287.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))
281.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))
187.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
19.0ms	(.f64 (.f64 w h) (*.f64 D D))

rewrite334.0ms (1.4%)

Algorithm

4×	egg-rewrite

Rules

98×	`egg`
41×	`egg`
31×	`egg`
27×	`egg`

Counts

4 → 197

Calls

4 calls:

90.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))
84.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))
81.0ms	(.f64 (.f64 w h) (*.f64 D D))
73.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	51
1	405	49
2	4795	49
3	6251	49
0	12	19
1	253	19
2	3578	19
3	5050	19
0	7	10
1	141	10
2	1643	10
3	4974	10
4	5009	10
0	17	30
1	375	30
2	4682	30
3	6018	30

simplify341.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

649×	`fma-def_binary64`
505×	`unswap-sqr_binary64`
293×	`associate-r_binary64`
261×	`fma-neg_binary64`
256×	`times-frac_binary64`

Counts

437 → 278

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	11169
1	648	11085
2	3136	11033
3	4940	11033
4	4979	11033
5	4998	11033
6	4980	11033

prune673.0ms (2.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	556	6	562
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	558	6	564

Error

36.2b

Counts

564 → 6

Alt Table

Status	Error	Program
	59.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (.f64 (/.f64 c0 (.f64 (.f64 w h) D)) (/.f64 (.f64 d d) D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	58.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	44.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) (.f64 w h))) (.f64 (.f64 d d) c0))))
▶	42.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
	61.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (pow.f64 (/.f64 (.f64 d (sqrt.f64 c0)) (.f64 D (sqrt.f64 (.f64 w h)))) 2) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	53.5b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))

Compiler

Compiled 32313 to 7963 computations (75.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.7b	(*.f64 (pow.f64 d 2) c0)
✓	12.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
✓	14.1b	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))
✓	15.9b	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))

series570.0ms (2.4%)

Counts

4 → 144

Calls

4 calls:

265.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))
235.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
59.0ms	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))
8.0ms	(*.f64 (pow.f64 d 2) c0)

rewrite300.0ms (1.3%)

Algorithm

4×	egg-rewrite

Rules

86×	`egg`
48×	`egg`
41×	`egg`
37×	`egg`

Counts

4 → 212

Calls

4 calls:

82.0ms	(*.f64 (pow.f64 d 2) c0)
81.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))
75.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
57.0ms	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	224	15
2	2427	15
3	5271	15
0	16	25
1	336	23
2	4245	23
3	5250	23
0	21	37
1	451	35
2	4846	35
3	4966	35
0	6	7
1	121	7
2	1230	7
3	4870	7
4	6293	7

simplify126.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

769×	`associate-*l/_binary64`
612×	`associate-/l/_binary64`
577×	`associate-/r/_binary64`
546×	`associate-*r/_binary64`
283×	`unswap-sqr_binary64`

Counts

356 → 215

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	3096
1	56	3096
2	224	3096
3	1427	3096
4	4578	3096
5	4783	3096
6	5125	3096

prune390.0ms (1.6%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	197	18	215
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	199	22	221

Error

26.0b

Counts

221 → 22

Alt Table

Status	Error	Program
	60.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (*.f64 d (sqrt.f64 c0))) 2)))))
	52.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (.f64 (/.f64 (.f64 D D) (.f64 d (sqrt.f64 c0))) (/.f64 (.f64 w (.f64 h (.f64 M M))) (.f64 d (sqrt.f64 c0))))))
	59.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (.f64 (/.f64 c0 (.f64 (.f64 w h) D)) (/.f64 (.f64 d d) D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	58.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	48.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (/.f64 1 (.f64 (*.f64 d d) c0))))))
	61.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (pow.f64 (/.f64 (.f64 d (sqrt.f64 c0)) (.f64 D (sqrt.f64 (.f64 w h)))) 2) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	53.7b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (.f64 (cbrt.f64 d) d) (*.f64 (pow.f64 d 2/3) c0)))))
	53.5b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	41.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 d (.f64 d c0)))))
	48.2b	(log.f64 (pow.f64 (exp.f64 (/.f64 c0 (.f64 2 w))) (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2))))
	41.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 D (/.f64 (/.f64 (.f64 d d) (/.f64 (.f64 w (.f64 h (*.f64 M M))) c0)) D))))
	61.6b	(pow.f64 (.f64 (sqrt.f64 (.f64 (/.f64 c0 (.f64 2 w)) 1/2)) (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (*.f64 d (sqrt.f64 c0)))) 2)
	43.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (.f64 (/.f64 (.f64 (.f64 D D) w) (pow.f64 (cbrt.f64 (.f64 (.f64 d d) c0)) 2)) (/.f64 (.f64 h (.f64 M M)) (cbrt.f64 (.f64 (.f64 d d) c0))))))
	60.2b	(.f64 (/.f64 c0 (pow.f64 (cbrt.f64 (.f64 2 w)) 2)) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) (cbrt.f64 (.f64 2 w))))
	48.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (pow.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) 2) (*.f64 (pow.f64 d 2) c0))))
	60.0b	(.f64 (/.f64 c0 2) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) w))
	52.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 (.f64 (.f64 D D) w) (.f64 M (sqrt.f64 h))) (.f64 M (sqrt.f64 h))) (.f64 (pow.f64 d 2) c0))))
▶	38.5b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	42.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 (.f64 (.f64 D D) w) h) (.f64 M M)) (*.f64 (pow.f64 d 2) c0))))
	47.7b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (/.f64 (/.f64 (pow.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) 2) (*.f64 d d)) (pow.f64 (cbrt.f64 c0) 2)) (cbrt.f64 c0))))
	47.7b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (/.f64 (pow.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) 2) (*.f64 d d)) c0)))
	47.4b	(/.f64 (.f64 c0 (.f64 1/2 (pow.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) 2))) (.f64 (.f64 2 w) (.f64 c0 (*.f64 d d))))

Compiler

Compiled 7637 to 3767 computations (50.7% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
✓	7.1b	(*.f64 (pow.f64 M 2) h)
✓	15.4b	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
✓	16.5b	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))

series408.0ms (1.7%)

Counts

4 → 72

Calls

4 calls:

249.0ms	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
119.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
32.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
8.0ms	(*.f64 (pow.f64 M 2) h)

rewrite347.0ms (1.5%)

Algorithm

4×	egg-rewrite

Rules

68×	`egg`
43×	`egg`
41×	`egg`
38×	`egg`

Counts

4 → 190

Calls

4 calls:

112.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
83.0ms	(*.f64 (pow.f64 M 2) h)
81.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
68.0ms	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	251	15
2	2898	15
3	5101	15
0	9	13
1	183	10
2	1904	10
3	4991	10
0	6	7
1	121	7
2	1230	7
3	4870	7
4	6293	7
0	14	22
1	295	18
2	3380	18
3	5861	18

simplify120.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

865×	`times-frac_binary64`
578×	`associate-/l*_binary64`
565×	`unswap-sqr_binary64`
407×	`associate-r_binary64`
397×	`associate-l_binary64`

Counts

262 → 193

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	1248
1	34	1248
2	101	1248
3	511	1248
4	4017	1248
5	4375	1248
6	4953	1248
7	4942	1248
8	5016	1248

prune350.0ms (1.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	179	14	193
Fresh	13	8	21
Picked	1	0	1
Done	0	0	0
Total	193	22	215

Error

14.0b

Counts

215 → 22

Alt Table

Status	Error	Program
	60.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (*.f64 d (sqrt.f64 c0))) 2)))))
	41.4b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) 2)))
	41.4b	(pow.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))) 3)
	29.6b	(.f64 1/4 (.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) 2) (.f64 (cbrt.f64 (.f64 h (pow.f64 (*.f64 D M) 2))) (pow.f64 d -2))))
	37.5b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 M (.f64 M h))) (pow.f64 d 2)))
	59.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (.f64 (/.f64 c0 (.f64 (.f64 w h) D)) (/.f64 (.f64 d d) D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	58.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	48.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (/.f64 1 (.f64 (*.f64 d d) c0))))))
	25.8b	(.f64 (/.f64 1/4 d) (/.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) d))
	42.4b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 M M) h))) 1)) (pow.f64 d 2)))
	29.6b	(.f64 1/4 (/.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (*.f64 D M) 2))) 3) (pow.f64 d 2)))
	41.4b	(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))) (pow.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))) 2))
	34.5b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 M M) h) d)))
	48.2b	(log.f64 (pow.f64 (exp.f64 (/.f64 c0 (.f64 2 w))) (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2))))
	41.3b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	60.2b	(.f64 (/.f64 c0 (pow.f64 (cbrt.f64 (.f64 2 w)) 2)) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) (cbrt.f64 (.f64 2 w))))
▶	24.4b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))
	60.0b	(.f64 (/.f64 c0 2) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) w))
	41.6b	(.f64 1/4 (expm1.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	29.6b	(.f64 1/4 (/.f64 (.f64 (.f64 (pow.f64 (.f64 D M) 2) (pow.f64 (cbrt.f64 h) 2)) (cbrt.f64 h)) (pow.f64 d 2)))
	47.5b	(.f64 1/4 (pow.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3) 1/3))
	61.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (pow.f64 (/.f64 (.f64 d (sqrt.f64 c0)) (.f64 D (sqrt.f64 (.f64 w h)))) 2) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Compiler

Compiled 4758 to 2628 computations (44.8% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))
✓	0.2b	(pow.f64 (*.f64 D M) 2)
✓	5.5b	(/.f64 (pow.f64 (*.f64 D M) 2) d)
✓	9.4b	(.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 h d))

series503.0ms (2.1%)

Counts

4 → 156

Calls

4 calls:

263.0ms	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))
200.0ms	(.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 h d))
32.0ms	(/.f64 (pow.f64 (*.f64 D M) 2) d)
7.0ms	(pow.f64 (*.f64 D M) 2)

rewrite282.0ms (1.2%)

Algorithm

4×	egg-rewrite

Rules

75×	`egg`
54×	`egg`
48×	`egg`
42×	`egg`

Counts

4 → 219

Calls

4 calls:

86.0ms	(pow.f64 (*.f64 D M) 2)
70.0ms	(.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 h d))
68.0ms	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))
54.0ms	(/.f64 (pow.f64 (*.f64 D M) 2) d)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	238	16
2	2979	16
3	5271	16
0	8	10
1	169	10
2	1940	10
3	5058	10
0	6	7
1	124	7
2	1250	7
3	4902	7
4	6409	7
0	13	19
1	282	19
2	3462	19
3	6031	19

simplify164.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

748×	`associate-/l*_binary64`
601×	`associate-l_binary64`
590×	`associate-r_binary64`
413×	`associate-/r*_binary64`
307×	`unswap-sqr_binary64`

Counts

375 → 228

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	2676
1	40	2676
2	127	2676
3	649	2676
4	4204	2676
5	4750	2676
6	4724	2676
7	4860	2676
8	4955	2676

prune660.0ms (2.8%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	220	8	228
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	224	26	250

Error

13.5b

Counts

250 → 26

Alt Table

Status	Error	Program
	47.5b	(.f64 1/4 (pow.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3) 1/3))
	29.8b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) 3)) (/.f64 h d)))
	41.4b	(pow.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))) 3)
	29.6b	(.f64 1/4 (.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) 2) (.f64 (cbrt.f64 (.f64 h (pow.f64 (*.f64 D M) 2))) (pow.f64 d -2))))
	37.5b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 M (.f64 M h))) (pow.f64 d 2)))
	59.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (.f64 (/.f64 c0 (.f64 (.f64 w h) D)) (/.f64 (.f64 d d) D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	58.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	48.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (/.f64 1 (.f64 (*.f64 d d) c0))))))
	25.8b	(.f64 (/.f64 1/4 d) (/.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) d))
	42.4b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 M M) h))) 1)) (pow.f64 d 2)))
	29.6b	(.f64 1/4 (/.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (*.f64 D M) 2))) 3) (pow.f64 d 2)))
	22.5b	(.f64 1/4 (.f64 (.f64 (/.f64 (.f64 D M) (pow.f64 (cbrt.f64 d) 2)) (/.f64 (*.f64 D M) (cbrt.f64 d))) (/.f64 h d)))
	34.5b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 M M) h) d)))
	22.3b	(.f64 1/4 (.f64 (.f64 (/.f64 (.f64 D M) 1) (/.f64 (*.f64 D M) d)) (/.f64 h d)))
	41.3b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	60.2b	(.f64 (/.f64 c0 (pow.f64 (cbrt.f64 (.f64 2 w)) 2)) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) (cbrt.f64 (.f64 2 w))))
	24.5b	(.f64 1/4 (.f64 (pow.f64 (cbrt.f64 (/.f64 h d)) 2) (.f64 (cbrt.f64 (/.f64 h d)) (/.f64 (pow.f64 (.f64 D M) 2) d))))
	60.0b	(.f64 (/.f64 c0 2) (/.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D (.f64 (sqrt.f64 (.f64 w h)) M)) (.f64 d (sqrt.f64 c0))) 2)) w))
	26.2b	(.f64 1/4 (.f64 (pow.f64 (.f64 D M) 2) (.f64 (/.f64 1 d) (/.f64 h d))))
	41.6b	(.f64 1/4 (expm1.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	29.6b	(.f64 1/4 (/.f64 (.f64 (.f64 (pow.f64 (.f64 D M) 2) (pow.f64 (cbrt.f64 h) 2)) (cbrt.f64 h)) (pow.f64 d 2)))
	41.4b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) 2)))
	26.5b	(.f64 1/4 (/.f64 h (.f64 (/.f64 d (pow.f64 (*.f64 D M) 2)) d)))
	61.7b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (pow.f64 (/.f64 (.f64 d (sqrt.f64 c0)) (.f64 D (sqrt.f64 (.f64 w h)))) 2) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	25.1b	(.f64 1/4 (.f64 (/.f64 (.f64 D (.f64 M (*.f64 D M))) d) (/.f64 h d)))
	41.0b	(.f64 1/4 (.f64 (/.f64 (.f64 D M) (sqrt.f64 d)) (.f64 (/.f64 (*.f64 D M) (sqrt.f64 d)) (/.f64 h d))))

Compiler

Compiled 4761 to 2530 computations (46.9% saved)

regimes3.7s (15.6%)

Accuracy

Total 4.9b remaining (26%)

Threshold costs 0b (0%)

Counts

223 → 2

Compiler

Compiled 79057 to 47360 computations (40.1% saved)

bsearch69.0ms (0.3%)

Steps

Iters	Range		Point
3	-4.971898133123741e-305	4.0017834711227615e-302	1.304517558081358e-308

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	46
1	29	46
2	29	46

end342.0ms (1.4%)

Compiler: Compiled 785 to 527 computations (32.9% saved)

Details

analyze3.4s (14.3%)

sample9.8s (41.2%)

simplify64.0ms (0.3%)

prune5.0ms (0%)

localize20.0ms (0.1%)

series774.0ms (3.2%)

rewrite334.0ms (1.4%)

simplify341.0ms (1.4%)

prune673.0ms (2.8%)

localize16.0ms (0.1%)

series570.0ms (2.4%)

rewrite300.0ms (1.3%)

simplify126.0ms (0.5%)

prune390.0ms (1.6%)

localize10.0ms (0%)

series408.0ms (1.7%)

rewrite347.0ms (1.5%)

simplify120.0ms (0.5%)

prune350.0ms (1.5%)

localize9.0ms (0%)

series503.0ms (2.1%)

rewrite282.0ms (1.2%)

simplify164.0ms (0.7%)

prune660.0ms (2.8%)

regimes3.7s (15.6%)

bsearch69.0ms (0.3%)

simplify3.0ms (0%)

end342.0ms (1.4%)

Profiling