Details

analyze4.0s (7.5%)

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.1%	98.1%	1.9%	14

Compiler

Compiled 59 to 22 computations (62.7% saved)

sample9.3s (17.5%)

Results

2.4s	7715×	body	128	invalid
2.2s	1447×	body	4096	valid
1.4s	801×	body	8192	valid
1.3s	4254×	body	128	valid
1.1s	939×	body	2048	valid
529.0ms	481×	body	1024	valid
171.0ms	228×	body	512	valid
48.0ms	106×	body	256	valid
7.0ms	5×	body	8192	exit

Compiler

Compiled 176 to 65 computations (63.1% saved)

simplify77.0ms (0.1%)

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

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

48.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	49.5b	(.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)))))
	51.2b	(.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)))))

Status

Error

Program

▶

49.5b

(*.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)))))

51.2b

(*.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)))))

Compiler

Compiled 321 to 130 computations (59.5% saved)

localize69.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	11.8b	(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)))
✓	11.8b	(.f64 (.f64 w h) (*.f64 D D))
✓	16.0b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	20.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))))

series1.4s (2.6%)

Counts

4 → 240

Calls

4 calls:

556.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))))
484.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)))
313.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
40.0ms	(.f64 (.f64 w h) (*.f64 D D))

rewrite142.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-cbrt-cube_binary64`
85×	`add-exp-log_binary64`
47×	`cbrt-unprod_binary64`
47×	`prod-exp_binary64`
17×	`pow1_binary64`

Counts

4 → 108

Calls

4 calls:

48.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)))
42.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))))
13.0ms	(.f64 (.f64 w h) (*.f64 D D))
11.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))

simplify542.0ms (1%)

Algorithm

1×	egg-herbie

Rules

845×	`times-frac_binary64`
433×	`fma-neg_binary64`
365×	`associate-/l*_binary64`
362×	`associate-/r*_binary64`
140×	`associate-*l/_binary64`

Counts

348 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	379	15401
1	1066	14410
2	4782	14410
3	5131	14410

prune1.4s (2.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	407	10	417
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	408	11	419

Error

29.1b

Counts

419 → 11

Alt Table

Status	Error	Program
	51.2b	(.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)))))
	49.5b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 w (.f64 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)))))
	49.3b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 c0 (.f64 d d)) (/.f64 1 (.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)))))
	47.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (.f64 (sqrt.f64 (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) M)) (sqrt.f64 (-.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) M)))))
▶	44.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	49.5b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 1 (/.f64 (.f64 (.f64 w h) (.f64 D D)) (.f64 c0 (.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)))))
	49.5b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 (.f64 w h) 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)))))
	54.8b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (pow.f64 d 4) (pow.f64 D 4)) (.f64 (/.f64 c0 (.f64 w h)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))) 3)))
	54.3b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	60.1b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	48.0b	(.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))))

Compiler

Compiled 27857 to 6519 computations (76.6% saved)

localize50.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
✓	6.9b	(*.f64 (pow.f64 d 2) c0)
✓	11.8b	(.f64 (pow.f64 D 2) (.f64 w h))
✓	16.0b	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (*.f64 w h)))

series837.0ms (1.6%)

Counts

4 → 60

Calls

4 calls:

492.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
289.0ms	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (*.f64 w h)))
38.0ms	(.f64 (pow.f64 D 2) (.f64 w h))
17.0ms	(*.f64 (pow.f64 d 2) c0)

rewrite193.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

687×	`add-exp-log_binary64`
447×	`prod-exp_binary64`
172×	`div-exp_binary64`
170×	`add-cbrt-cube_binary64`
93×	`cbrt-unprod_binary64`

Counts

4 → 242

Calls

4 calls:

30.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
13.0ms	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (*.f64 w h)))
11.0ms	(.f64 (pow.f64 D 2) (.f64 w h))
7.0ms	(*.f64 (pow.f64 d 2) c0)

simplify448.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

728×	`associate-/l/_binary64`
413×	`times-frac_binary64`
370×	`associate-r_binary64`
342×	`associate-l_binary64`
293×	`log-div_binary64`

Counts

302 → 250

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	296	9475
1	647	7169
2	2884	6782
3	4747	6604
4	5158	6604

prune804.0ms (1.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	234	16	250
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	241	20	261

Error

21.8b

Counts

261 → 20

Alt Table

Status	Error	Program
	45.9b	(/.f64 (.f64 c0 (.f64 2 (.f64 (pow.f64 d 2) c0))) (.f64 (.f64 2 w) (.f64 (pow.f64 D 2) (*.f64 w h))))
	57.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (log.f64 (.f64 (pow.f64 D 2) (.f64 w h)))))))
	52.4b	(.f64 (/.f64 (sqrt.f64 c0) 2) (.f64 (/.f64 (sqrt.f64 c0) w) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h))))))
	60.4b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 2) (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	49.3b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 c0 (.f64 d d)) (/.f64 1 (.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)))))
	60.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (exp.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (log.f64 w) (log.f64 h)))))))
	42.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 d (.f64 d c0)) (.f64 (pow.f64 D 2) (*.f64 w h)))))
	43.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (.f64 (pow.f64 D 2) w) h))))
	52.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (.f64 d (sqrt.f64 c0)) (.f64 d (sqrt.f64 c0))) (.f64 (pow.f64 D 2) (.f64 w h)))))
	60.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w h)))))))
	44.5b	(.f64 c0 (.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (*.f64 w h))) (/.f64 1 w)))
	50.7b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (fma.f64 2 (log.f64 (/.f64 d D)) (log.f64 (/.f64 c0 (.f64 w h)))))))
	44.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 (.f64 D D) (/.f64 c0 (*.f64 w h))))))
	44.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 (pow.f64 d 2) (pow.f64 D 2)) (/.f64 c0 (*.f64 w h)))))
	57.9b	(.f64 (/.f64 c0 (.f64 2 w)) (*.f64 2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 d 2)) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	54.8b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (.f64 (/.f64 (pow.f64 d 4) (pow.f64 D 4)) (.f64 (/.f64 c0 (.f64 w h)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))) 3)))
	54.3b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
▶	42.3b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (*.f64 w h))))))
	58.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (log.f64 (.f64 (pow.f64 d 2) c0)) (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w h)))))))
	48.0b	(.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))))

Compiler

Compiled 9072 to 5265 computations (42% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (*.f64 w h))))))
✓	4.9b	(.f64 D (.f64 w h))
	6.9b	(*.f64 (pow.f64 d 2) c0)
✓	16.0b	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (.f64 w h))))

series823.0ms (1.5%)

Counts

3 → 120

Calls

3 calls:

482.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (*.f64 w h))))))
330.0ms	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (.f64 w h))))
11.0ms	(.f64 D (.f64 w h))

rewrite153.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

429×	`add-exp-log_binary64`
270×	`prod-exp_binary64`
229×	`add-cbrt-cube_binary64`
134×	`cbrt-unprod_binary64`
100×	`div-exp_binary64`

Counts

3 → 166

Calls

3 calls:

25.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (*.f64 w h))))))
8.0ms	(/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (.f64 w h))))
5.0ms	(.f64 D (.f64 w h))

simplify238.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

535×	`associate-/r/_binary64`
510×	`times-frac_binary64`
446×	`associate-r_binary64`
377×	`associate-l_binary64`
325×	`associate-*r/_binary64`

Counts

286 → 183

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	9381
1	661	6825
2	2959	6528
3	4708	6528
4	5154	6528

prune676.0ms (1.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	220	8	228
Fresh	6	13	19
Picked	1	0	1
Done	0	0	0
Total	227	21	248

Error

19.7b

Counts

248 → 21

Alt Table

Status	Error	Program
	57.9b	(.f64 (/.f64 c0 (.f64 2 w)) (*.f64 2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 d 2)) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	41.9b	(/.f64 (.f64 c0 (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 D (.f64 w h)))))) (*.f64 2 w))
	52.4b	(.f64 (/.f64 (sqrt.f64 c0) 2) (.f64 (/.f64 (sqrt.f64 c0) w) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h))))))
	60.4b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 2) (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	49.3b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 c0 (.f64 d d)) (/.f64 1 (.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)))))
	40.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 d (.f64 d c0)) (.f64 D (.f64 D (.f64 w h))))))
	60.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (exp.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (log.f64 w) (log.f64 h)))))))
	43.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (.f64 (pow.f64 D 2) w) h))))
	43.8b	(/.f64 (.f64 c0 (.f64 2 (.f64 (pow.f64 d 2) c0))) (.f64 (.f64 2 w) (.f64 D (.f64 D (.f64 w h)))))
	56.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (log.f64 (.f64 D (.f64 D (*.f64 w h))))))))
	52.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (.f64 d (sqrt.f64 c0)) (.f64 d (sqrt.f64 c0))) (.f64 (pow.f64 D 2) (.f64 w h)))))
	50.7b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (fma.f64 2 (log.f64 (/.f64 d D)) (log.f64 (/.f64 c0 (.f64 w h)))))))
	44.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 (.f64 D D) (/.f64 c0 (*.f64 w h))))))
	40.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (/.f64 (.f64 (pow.f64 d 2) c0) D) (.f64 D (.f64 w h)))))
	58.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (log.f64 (.f64 (pow.f64 d 2) c0)) (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w h)))))))
▶	40.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (.f64 D (*.f64 w h)))))))
	48.0b	(.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))))
	41.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 (*.f64 D w) h)))))
	44.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 (pow.f64 d 2) (pow.f64 D 2)) (/.f64 c0 (*.f64 w h)))))
	54.3b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	41.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 (pow.f64 d 2) D) (/.f64 c0 (.f64 D (.f64 w h))))))

Compiler

Compiled 8745 to 4192 computations (52.1% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.7b	(/.f64 c0 (.f64 D (.f64 w h)))
✓	4.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (.f64 D (*.f64 w h)))))))
	4.9b	(.f64 D (.f64 w h))
✓	15.7b	(/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (.f64 D (.f64 w h)))))

series921.0ms (1.7%)

Counts

3 → 120

Calls

3 calls:

479.0ms

(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (*.f64 D (*.f64 w h)))))))

382.0ms

(/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (*.f64 D (*.f64 w h)))))

59.0ms

(/.f64 c0 (*.f64 D (*.f64 w h)))

rewrite187.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

484×	`times-frac_binary64`
388×	`add-exp-log_binary64`
187×	`*-un-lft-identity_binary64`
187×	`add-sqr-sqrt_binary64`
187×	`add-cube-cbrt_binary64`

Counts

3 → 395

Calls

3 calls:

29.0ms

(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (*.f64 D (*.f64 w h)))))))

23.0ms

(/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (*.f64 D (*.f64 w h)))))

7.0ms

(/.f64 c0 (*.f64 D (*.f64 w h)))

simplify548.0ms (1%)

Algorithm

1×	egg-herbie

Rules

588×	`associate-/r/_binary64`
511×	`associate-*r/_binary64`
483×	`associate-*l/_binary64`
420×	`times-frac_binary64`
400×	`associate-/l*_binary64`

Counts

515 → 571

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	676	17497
1	1382	14857
2	5109	14857

prune2.2s (4.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	582	9	591
Fresh	10	10	20
Picked	1	0	1
Done	0	0	0
Total	593	19	612

Error

17.2b

Counts

612 → 19

Alt Table

Status	Error	Program
	57.9b	(.f64 (/.f64 c0 (.f64 2 w)) (*.f64 2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 d 2)) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	54.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 (pow.f64 (sqrt.f64 d) 2) (/.f64 1 (/.f64 (sqrt.f64 c0) D))) (/.f64 (pow.f64 (sqrt.f64 d) 2) (/.f64 D (/.f64 (sqrt.f64 c0) (*.f64 w h)))))))
	60.4b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 2) (-.f64 (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0)) (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (log.f64 h)))))))
	49.3b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 c0 (.f64 d d)) (/.f64 1 (.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)))))
	40.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 d (.f64 d c0)) (.f64 D (.f64 D (.f64 w h))))))
	60.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (exp.f64 (+.f64 (*.f64 (log.f64 D) 2) (+.f64 (log.f64 w) (log.f64 h)))))))
	40.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 (.f64 (/.f64 1 D) c0) (*.f64 w h))))))
	54.3b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	40.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 d 2)) (cbrt.f64 (pow.f64 d 2))) (/.f64 1 (/.f64 1 D))) (/.f64 (cbrt.f64 (pow.f64 d 2)) (/.f64 D (/.f64 c0 (.f64 w h)))))))
	35.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (.f64 d (.f64 (cbrt.f64 (/.f64 c0 (.f64 D (.f64 w h)))) (cbrt.f64 (/.f64 c0 (.f64 D (.f64 w h)))))) (/.f64 d (/.f64 D (cbrt.f64 (/.f64 c0 (.f64 D (.f64 w h)))))))))
	48.0b	(.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))))
	41.4b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 D (.f64 (*.f64 D w) h)))))
	39.9b	(/.f64 (.f64 c0 (.f64 2 (/.f64 (pow.f64 d 2) (/.f64 D (/.f64 c0 (.f64 D (.f64 w h))))))) (*.f64 2 w))
	43.8b	(/.f64 (.f64 c0 (.f64 2 (.f64 (pow.f64 d 2) c0))) (.f64 (.f64 2 w) (.f64 D (.f64 D (.f64 w h)))))
	35.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (.f64 (/.f64 d D) c0) (/.f64 d (.f64 D (*.f64 w h))))))
	35.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 d (/.f64 1 (/.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) D))) (/.f64 d (/.f64 D (/.f64 (cbrt.f64 c0) (.f64 w h)))))))
	37.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (.f64 (/.f64 d (/.f64 (.f64 (cbrt.f64 D) (cbrt.f64 D)) (/.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) D))) (/.f64 d (/.f64 (cbrt.f64 D) (/.f64 (cbrt.f64 c0) (*.f64 w h)))))))
	37.8b	(log.f64 (pow.f64 (exp.f64 (.f64 (/.f64 c0 w) 1)) (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 w h)))))
	58.6b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (exp.f64 (-.f64 (log.f64 (.f64 (pow.f64 d 2) c0)) (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w h)))))))

Compiler

Compiled 20740 to 8306 computations (60% saved)

regimes26.7s (50.2%)

Accuracy

Total 18.0b remaining (51%)

Threshold costs 0b (0%)

Counts

361 → 7

Compiler

Compiled 131390 to 84988 computations (35.3% saved)

bsearch793.0ms (1.5%)

Steps

Iters	Range		Point
6	2.732810982140954e-228	1.392359695026683e-227	4.474319272115561e-228
6	3.4378506678321445e-257	4.8730751234039806e-256	1.4373941293337057e-256
7	3.6718882856450554e-291	8.065560861014811e-289	5.141186143210871e-291
9	-2.1422459000795108e-169	-5.100095448251031e-179	-4.163638784959454e-173
8	-1.4978825658609606e-127	-4.430046164153582e-130	-9.983596553371605e-128
6	-1.106336930628011e-98	-8.45207938991471e-100	-8.582941301532108e-100

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	83	255
1	113	255
2	115	255
3	116	255
4	114	255

end663.0ms (1.2%)

Compiler: Compiled 985 to 623 computations (36.8% saved)

Details

analyze4.0s (7.5%)

sample9.3s (17.5%)

simplify77.0ms (0.1%)

prune9.0ms (0%)

localize69.0ms (0.1%)

series1.4s (2.6%)

rewrite142.0ms (0.3%)

simplify542.0ms (1%)

prune1.4s (2.6%)

localize50.0ms (0.1%)

series837.0ms (1.6%)

rewrite193.0ms (0.4%)

simplify448.0ms (0.8%)

prune804.0ms (1.5%)

localize28.0ms (0.1%)

series823.0ms (1.5%)

rewrite153.0ms (0.3%)

simplify238.0ms (0.4%)

prune676.0ms (1.3%)

localize31.0ms (0.1%)

series921.0ms (1.7%)

rewrite187.0ms (0.4%)

simplify548.0ms (1%)

prune2.2s (4.1%)

regimes26.7s (50.2%)

bsearch793.0ms (1.5%)

simplify16.0ms (0%)

end663.0ms (1.2%)

Profiling