Details

analyze2.8s (16.1%)

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
4.3%	95.4%	0.3%	13
6.6%	93.1%	0.3%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample2.6s (14.7%)

Symmetry

(sort M D)

Results

1.6s	8256×	body	128	valid
876.0ms	4631×	body	128	invalid

Compiler

Compiled 74 to 56 computations (24.3% saved)

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

645×	`distribute-neg-frac_binary64`
581×	`distribute-rgt-neg-in_binary64`
418×	`associate-/l*_binary64`
372×	`cancel-sign-sub-inv_binary64`
263×	`associate-/l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	27
1	42	27
2	111	27
3	723	27
4	2855	27
5	4994	27

prune2.0ms (0%)

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

13.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))

Compiler

Compiled 72 to 54 computations (25% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
✓	3.5b	(/.f64 (.f64 M D) (.f64 2 d))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
✓	10.5b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

series824.0ms (4.7%)

Counts

4 → 204

Calls

4 calls:

389.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
242.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
178.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
14.0ms	(/.f64 (.f64 M D) (.f64 2 d))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-exp-log_binary64`
38×	`add-sqr-sqrt_binary64`
27×	`prod-exp_binary64`
23×	`add-cbrt-cube_binary64`
19×	`associate-r_binary64`

Counts

4 → 124

Calls

4 calls:

8.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
6.0ms	(/.f64 (.f64 M D) (.f64 2 d))
6.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
4.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))

simplify163.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

517×	`times-frac_binary64`
399×	`associate-l_binary64`
365×	`associate-/l*_binary64`
342×	`associate-/r*_binary64`
258×	`associate-*r/_binary64`

Counts

328 → 314

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	516	11209
1	1262	10441
2	4988	10441

prune389.0ms (2.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	302	12	314
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	303	12	315

Error

5.0b

Counts

315 → 12

Alt Table

Status	Error	Program
▶	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	29.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (sqrt.f64 (/.f64 (.f64 M D) (.f64 2 d))) 2) (.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 h l))))))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	26.6b	(-.f64 w0 (.f64 1/8 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (.f64 (*.f64 M M) h) w0) l))))
	15.0b	w0
	23.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M 2) 2) (*.f64 (pow.f64 (/.f64 D d) 2) (/.f64 h l))))))
	13.4b	(.f64 (.f64 w0 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))))
	60.1b	(.f64 w0 (.f64 -1 (.f64 (sqrt.f64 (neg.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) h) (.f64 l (pow.f64 d 2)))))) M)))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	59.4b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))))))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (sqrt.f64 l))) (/.f64 (cbrt.f64 h) (sqrt.f64 l))))))

Compiler

Compiled 12356 to 7449 computations (39.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))))
✓	5.0b	(/.f64 M (/.f64 (*.f64 2 d) D))
✓	10.5b	(.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))

series815.0ms (4.6%)

Counts

4 → 204

Calls

4 calls:

340.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
278.0ms	(.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))
183.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))))
14.0ms	(/.f64 M (/.f64 (*.f64 2 d) D))

rewrite50.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

79×	`times-frac_binary64`
74×	`add-sqr-sqrt_binary64`
55×	`add-exp-log_binary64`
46×	`*-un-lft-identity_binary64`
46×	`add-cube-cbrt_binary64`

Counts

4 → 172

Calls

4 calls:

19.0ms	(.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))
6.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
5.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) (/.f64 h l))))
4.0ms	(/.f64 M (/.f64 (*.f64 2 d) D))

simplify282.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

438×	`times-frac_binary64`
378×	`associate-/l*_binary64`
372×	`fma-def_binary64`
313×	`associate-/r*_binary64`
299×	`associate-*r/_binary64`

Counts

376 → 357

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	612	12205
1	1517	11567
2	4801	11563
3	5042	11563

prune458.0ms (2.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	353	4	357
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	356	13	369

Error

4.8b

Counts

369 → 13

Alt Table

Status	Error	Program
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.6b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (.f64 D M) 2)) -1/4)) d))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	59.4b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))))))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 (.f64 (cbrt.f64 h) (cbrt.f64 h)) (sqrt.f64 l))) (/.f64 (cbrt.f64 h) (sqrt.f64 l))))))
▶	11.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) h) (/.f64 1 l)))))
	26.6b	(-.f64 w0 (.f64 1/8 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (.f64 (*.f64 M M) h) w0) l))))
	15.0b	w0
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	13.4b	(.f64 (.f64 w0 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))))
	12.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))

Compiler

Compiled 13715 to 8308 computations (39.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))))
	5.0b	(/.f64 M (/.f64 (*.f64 2 d) D))
✓	5.5b	(.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) h)
✓	6.8b	(.f64 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))

series562.0ms (3.2%)

Counts

3 → 156

Calls

3 calls:

243.0ms

(*.f64 (*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))

170.0ms

(sqrt.f64 (-.f64 1 (*.f64 (*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))))

149.0ms

(*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h)

rewrite42.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

127×	`add-exp-log_binary64`
63×	`prod-exp_binary64`
40×	`times-frac_binary64`
39×	`div-exp_binary64`
37×	`add-sqr-sqrt_binary64`

Counts

3 → 132

Calls

3 calls:

13.0ms

(*.f64 (*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))

10.0ms

(*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h)

6.0ms

(sqrt.f64 (-.f64 1 (*.f64 (*.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) h) (/.f64 1 l))))

simplify175.0ms (1%)

Algorithm

1×	egg-herbie

Rules

443×	`fma-def_binary64`
415×	`unswap-sqr_binary64`
286×	`associate-l_binary64`
276×	`associate-r_binary64`
196×	`*-commutative_binary64`

Counts

288 → 258

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	417	8212
1	960	7619
2	3441	7534
3	4987	7534

prune493.0ms (2.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	327	2	329
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	329	13	342

Error

4.2b

Counts

342 → 13

Alt Table

Status	Error	Program
	24.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 M (.f64 2 d)) 2) (*.f64 (pow.f64 D 2) h)) (/.f64 1 l)))))
	15.0b	w0
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	59.4b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))))))
	60.3b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) l) -1/4)) d))
	26.6b	(-.f64 w0 (.f64 1/8 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (.f64 (*.f64 M M) h) w0) l))))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	13.4b	(.f64 (.f64 w0 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
▶	12.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))
✓	11.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 M (/.f64 (.f64 2 d) D)) 2) h) (/.f64 1 l)))))

Compiler

Compiled 11482 to 7558 computations (34.2% saved)

localize55.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (/.f64 h l)))))
	5.0b	(/.f64 M (/.f64 (*.f64 2 d) D))
✓	9.3b	(.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (/.f64 h l))

series617.0ms (3.5%)

Counts

3 → 168

Calls

3 calls:

390.0ms

(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))

176.0ms

(sqrt.f64 (-.f64 1 (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l)))))

51.0ms

(*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))

rewrite37.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64`
43×	`times-frac_binary64`
37×	`add-cbrt-cube_binary64`
37×	`add-exp-log_binary64`
29×	`associate-l_binary64`

Counts

3 → 116

Calls

3 calls:

14.0ms

(*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))

8.0ms

(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))

4.0ms

(sqrt.f64 (-.f64 1 (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (*.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l)))))

simplify199.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

455×	`times-frac_binary64`
424×	`associate-/l*_binary64`
370×	`fma-def_binary64`
327×	`associate-/r*_binary64`
319×	`associate-*r/_binary64`

Counts

284 → 308

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	544	10714
1	1425	10114
2	4755	10110
3	5009	10110

prune618.0ms (3.5%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	449	1	450
Fresh	0	10	10
Picked	0	1	1
Done	1	1	2
Total	450	13	463

Error

3.9b

Counts

463 → 13

Alt Table

Status	Error	Program
	24.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 M (.f64 2 d)) 2) (*.f64 (pow.f64 D 2) h)) (/.f64 1 l)))))
	15.0b	w0
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2) (/.f64 h l)))))
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	59.4b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (*.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))))))
	60.3b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) l) -1/4)) d))
	15.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 1/2 (/.f64 (.f64 D (.f64 M h)) (*.f64 l d)))))))
	26.6b	(-.f64 w0 (.f64 1/8 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (.f64 (*.f64 M M) h) w0) l))))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	13.4b	(.f64 (.f64 w0 (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))) (sqrt.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
✓	12.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 M (/.f64 (.f64 2 d) D)) (.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) (/.f64 h l))))))

Compiler

Compiled 17954 to 10193 computations (43.2% saved)

regimes5.9s (33.5%)

Accuracy

Total 5.2b remaining (56%)

Threshold costs 0b (0%)

Counts

237 → 3

Compiler

Compiled 128276 to 91571 computations (28.6% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	91
1	57	91
2	82	91
3	111	91
4	134	91
5	148	91
6	154	91
7	155	91
8	153	91

end356.0ms (2%)

Compiler: Compiled 637 to 437 computations (31.4% saved)

Details

analyze2.8s (16.1%)

sample2.6s (14.7%)

simplify29.0ms (0.2%)

prune2.0ms (0%)

localize13.0ms (0.1%)

series824.0ms (4.7%)

rewrite34.0ms (0.2%)

simplify163.0ms (0.9%)

prune389.0ms (2.2%)

localize14.0ms (0.1%)

series815.0ms (4.6%)

rewrite50.0ms (0.3%)

simplify282.0ms (1.6%)

prune458.0ms (2.6%)

localize15.0ms (0.1%)

series562.0ms (3.2%)

rewrite42.0ms (0.2%)

simplify175.0ms (1%)

prune493.0ms (2.8%)

localize55.0ms (0.3%)

series617.0ms (3.5%)

rewrite37.0ms (0.2%)

simplify199.0ms (1.1%)

prune618.0ms (3.5%)

regimes5.9s (33.5%)

bsearch11.0ms (0.1%)

simplify7.0ms (0%)

end356.0ms (2%)

Profiling