Details

analyze3.5s (17.4%)

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
5.1%	94.6%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample132.0ms (0.7%)

Algorithm

1×

intervals

Results

43.0ms	256×	body	128	valid
24.0ms	94×	body	128	nan
9.0ms	56×	body	128	invalid

Compiler

Compiled 55 to 43 computations (21.8% saved)

simplify51.0ms (0.3%)

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

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

12.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	12.6b	(.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
✓	2.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
✓	3.8b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
✓	5.6b	(/.f64 (.f64 M D) (.f64 2 d))
✓	9.2b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite36.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:

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

series800.0ms (4%)

Counts

4 → 204

Calls

4 calls:

308.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
299.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
138.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
53.0ms	(/.f64 (.f64 M D) (.f64 2 d))

simplify197.0ms (1%)

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 → 593

Iterations

Useful iterations: 1 (0.0ms)

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

prune361.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	583	10	593
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	584	10	594

Error

4.3b

Counts

594 → 10

Alt Table

Status	Error	Program
	50.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (sqrt.f64 h) (sqrt.f64 l))) (.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (sqrt.f64 h) (sqrt.f64 l)))))))
	24.8b	(.f64 w0 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (*.f64 M M) h) l)) 1/8)))
▶	10.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l))))))
	61.5b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	57.5b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	62.1b	(.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
	12.6b	(.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))))))
	57.1b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 (.f64 M w0)))
	13.7b	w0
	61.2b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))

Compiler

Compiled 12166 to 7313 computations (39.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.8b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))))
✓	5.1b	(/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
✓	5.6b	(/.f64 (.f64 D M) (.f64 2 d))
✓	5.9b	(.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))

rewrite53.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

210×	`add-exp-log_binary64`
85×	`div-exp_binary64`
79×	`prod-exp_binary64`
64×	`times-frac_binary64`
60×	`add-sqr-sqrt_binary64`

Counts

4 → 190

Calls

4 calls:

20.0ms	(.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))
7.0ms	(/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
4.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))))
4.0ms	(/.f64 (.f64 D M) (.f64 2 d))

series2.3s (11.3%)

Counts

4 → 192

Calls

4 calls:

1.6s	(/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
452.0ms	(.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))
153.0ms	(sqrt.f64 (-.f64 1 (.f64 (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 h (cbrt.f64 l)))))
55.0ms	(/.f64 (.f64 D M) (.f64 2 d))

simplify208.0ms (1%)

Algorithm

1×	egg-herbie

Rules

529×	`times-frac_binary64`
409×	`associate-/l*_binary64`
344×	`associate-/r*_binary64`
332×	`associate-*r/_binary64`
323×	`associate-l_binary64`

Counts

382 → 680

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	505	12018
1	1271	10614
2	5022	10614

prune448.0ms (2.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	675	5	680
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	678	12	690

Error

2.2b

Counts

690 → 12

Alt Table

Status	Error	Program
	9.5b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 (cbrt.f64 l)) (.f64 h (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))))))))
	61.6b	(.f64 w0 (.f64 (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l)))) (neg.f64 D)))
	62.1b	(.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
	58.4b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l))))))
	57.5b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	24.8b	(.f64 w0 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (*.f64 M M) h) l)) 1/8)))
	12.6b	(.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))))))
▶	8.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (.f64 D M) (*.f64 2 d)))) (/.f64 h (cbrt.f64 l))))))
	57.1b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 (.f64 M w0)))
	13.7b	w0
	61.2b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	62.0b	(.f64 w0 (fma.f64 1/2 (/.f64 d (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) l)))) (/.f64 (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) l))) d)))

Compiler

Compiled 12953 to 6940 computations (46.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.8b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (.f64 D M) (.f64 2 d)))) (/.f64 h (cbrt.f64 l)))))
	5.6b	(/.f64 (.f64 D M) (.f64 2 d))
	5.6b	(/.f64 (.f64 D M) (.f64 2 d))
✓	5.9b	(.f64 (/.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (.f64 D M) (.f64 2 d)))) (/.f64 h (cbrt.f64 l)))

rewrite107.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

878×	`add-exp-log_binary64`
722×	`add-cbrt-cube_binary64`
434×	`cbrt-undiv_binary64`
434×	`div-exp_binary64`
330×	`cbrt-unprod_binary64`

Counts

2 → 341

Calls

2 calls:

39.0ms

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

7.0ms

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

series537.0ms (2.7%)

Counts

2 → 108

Calls

2 calls:

382.0ms

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

154.0ms

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

simplify538.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

898×	`times-frac_binary64`
594×	`associate-/r/_binary64`
340×	`associate-/l/_binary64`
262×	`*-commutative_binary64`
226×	`fma-def_binary64`

Counts

449 → 872

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	833	18977
1	2300	15752
2	4227	15619
3	4472	15619
4	4965	15619
5	4944	15619

prune754.0ms (3.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	1093	1	1094
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	1093	13	1106

Error

2.0b

Counts

1106 → 13

Alt Table

Status	Error	Program
▶	9.5b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 (cbrt.f64 l)) (.f64 h (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))))))))
	61.6b	(.f64 w0 (.f64 (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l)))) (neg.f64 D)))
	17.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 D 2) (/.f64 (cbrt.f64 l) (.f64 D M))) (.f64 (/.f64 h (cbrt.f64 l)) (/.f64 (/.f64 M d) (.f64 (cbrt.f64 l) (.f64 2 d))))))))
	58.4b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l))))))
	62.1b	(.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
	57.5b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	24.8b	(.f64 w0 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (*.f64 M M) h) l)) 1/8)))
	12.6b	(.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))))))
✓	8.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (.f64 D M) (*.f64 2 d)))) (/.f64 h (cbrt.f64 l))))))
	57.1b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 (.f64 M w0)))
	13.7b	w0
	61.2b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	62.0b	(.f64 w0 (fma.f64 1/2 (/.f64 d (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) l)))) (/.f64 (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) l))) d)))

Compiler

Compiled 28855 to 12620 computations (56.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.8b	(sqrt.f64 (-.f64 1 (.f64 (/.f64 1 (cbrt.f64 l)) (.f64 h (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))))
	5.1b	(/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
	5.6b	(/.f64 (.f64 D M) (.f64 2 d))
✓	5.7b	(.f64 h (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-exp-log_binary64`
30×	`prod-exp_binary64`
22×	`div-exp_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`times-frac_binary64`

Counts

2 → 69

Calls

2 calls:

11.0ms

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

5.0ms

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

series3.0s (14.9%)

Counts

2 → 108

Calls

2 calls:

2.7s

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

305.0ms

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

simplify315.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-def_binary64`
372×	`unswap-sqr_binary64`
272×	`associate-r_binary64`
271×	`times-frac_binary64`
246×	`associate-l_binary64`

Counts

177 → 327

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	369	7331
1	915	6638
2	3712	6499
3	5272	6499

prune787.0ms (3.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	805	0	805
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	805	13	818

Error

2.0b

Counts

818 → 13

Alt Table

Status	Error	Program
✓	9.5b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 1 (cbrt.f64 l)) (.f64 h (/.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (cbrt.f64 l) (cbrt.f64 l))))))))
	61.6b	(.f64 w0 (.f64 (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l)))) (neg.f64 D)))
	17.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 D 2) (/.f64 (cbrt.f64 l) (.f64 D M))) (.f64 (/.f64 h (cbrt.f64 l)) (/.f64 (/.f64 M d) (.f64 (cbrt.f64 l) (.f64 2 d))))))))
	58.4b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 -1/4 (.f64 (pow.f64 (/.f64 M d) 2) (/.f64 h l))))))
	62.1b	(.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4))))
	57.5b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	24.8b	(.f64 w0 (-.f64 1 (.f64 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (*.f64 M M) h) l)) 1/8)))
	12.6b	(.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))))))
✓	8.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (/.f64 (.f64 D M) (*.f64 2 d)))) (/.f64 h (cbrt.f64 l))))))
	57.1b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 (.f64 M w0)))
	13.7b	w0
	61.2b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))
	62.0b	(.f64 w0 (fma.f64 1/2 (/.f64 d (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) l)))) (/.f64 (sqrt.f64 (.f64 -1/4 (/.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) l))) d)))

Compiler

Compiled 10634 to 6128 computations (42.4% saved)

regimes3.4s (17.2%)

Accuracy

Total 3.8b remaining (48.6%)

Threshold costs 0b (0%)

Compiler

Compiled 71401 to 50031 computations (29.9% saved)

bsearch8.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64`
14×	`+-commutative_binary64`
14×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	141
1	74	141
2	93	141
3	110	141
4	124	141
5	138	141
6	146	141
7	151	141
8	153	141
9	150	141

end11.0ms (0.1%)

Compiler: Compiled 300 to 189 computations (37% saved)

sample2.4s (12%)

Algorithm

1×

intervals

Results

766.0ms	8000×	body	128	valid
299.0ms	3094×	body	128	nan
140.0ms	1391×	body	128	invalid

Compiler

Compiled 488 to 337 computations (30.9% saved)

Iter	Nodes	Cost
0	48	141
1	74	141
2	93	141
3	110	141
4	124	141
5	138	141
6	146	141
7	151	141
8	153	141
9	150	141

Iter	Nodes	Cost
0	48	141
1	74	141
2	93	141
3	110	141
4	124	141
5	138	141
6	146	141
7	151	141
8	153	141
9	150	141

Details

analyze3.5s (17.4%)

sample132.0ms (0.7%)

simplify51.0ms (0.3%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite36.0ms (0.2%)

series800.0ms (4%)

simplify197.0ms (1%)

prune361.0ms (1.8%)

localize18.0ms (0.1%)

rewrite53.0ms (0.3%)

series2.3s (11.3%)

simplify208.0ms (1%)

prune448.0ms (2.2%)

localize18.0ms (0.1%)

rewrite107.0ms (0.5%)

series537.0ms (2.7%)

simplify538.0ms (2.7%)

prune754.0ms (3.8%)

localize17.0ms (0.1%)

rewrite21.0ms (0.1%)

series3.0s (14.9%)

simplify315.0ms (1.6%)

prune787.0ms (3.9%)

regimes3.4s (17.2%)

bsearch8.0ms (0%)

simplify10.0ms (0%)

end11.0ms (0.1%)

sample2.4s (12%)

Profiling

Iter	Nodes	Cost
0	48	141
1	74	141
2	93	141
3	110	141
4	124	141
5	138	141
6	146	141
7	151	141
8	153	141
9	150	141