Details

analyze625.0ms (5.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	93.6%	6.4%	7
3.1%	84.2%	12.7%	8
12.5%	67.1%	20.5%	9
16%	63.5%	20.5%	10
17.9%	57.7%	24.4%	11
22.6%	48.7%	28.7%	12
28.7%	37.8%	33.6%	13
30.4%	35.9%	33.7%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample51.0ms (0.5%)

Algorithm

1×

intervals

Symmetry

(sort V l)

Results

13.0ms	256×	body	128	valid
4.0ms	95×	body	128	nan
1.0ms	23×	body	128	invalid

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	15	12
3	15	12

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

16.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	16.3b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.7b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	6.8b	(/.f64 A (*.f64 V l))
✓	11.2b	(sqrt.f64 (/.f64 A (*.f64 V l)))

series122.0ms (1.1%)

Counts

3 → 12

Calls

3 calls:

67.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
38.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
16.0ms	(/.f64 A (*.f64 V l))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
15×	`sqrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-r_binary64`

Counts

3 → 72

Calls

3 calls:

6.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
3.0ms	(/.f64 A (*.f64 V l))
2.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify104.0ms (1%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-neg_binary64`
679×	`associate-/r/_binary64`
449×	`div-sub_binary64`
262×	`times-frac_binary64`
261×	`sub-neg_binary64`

Counts

84 → 86

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	103	1084
1	194	1009
2	561	1009
3	1631	1009
4	2187	1009
5	2446	1009
6	3196	1009
7	4340	1009
8	4698	1009

prune89.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	72	14	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	14	87

Error

6.9b

Counts

87 → 14

Alt Table

Status	Error	Program
	42.3b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	18.6b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	39.7b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
▶	13.8b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	16.5b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	27.5b	(.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 3)))
	52.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	40.6b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
	41.6b	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l)))))
	17.0b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
	39.0b	(exp.f64 (log.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)))
	53.0b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))
	18.9b	(.f64 c0 (exp.f64 (log.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))
	16.6b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 1692 to 597 computations (64.7% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (/.f64 V (/.f64 A l)))
✓	0.7b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
✓	4.9b	(/.f64 V (/.f64 A l))
✓	11.2b	(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))

series162.0ms (1.5%)

Counts

4 → 84

Calls

4 calls:

79.0ms	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
48.0ms	(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
17.0ms	(/.f64 V (/.f64 A l))
17.0ms	(/.f64 1 (/.f64 V (/.f64 A l)))

rewrite152.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

1155×	`times-frac_binary64`
574×	`add-sqr-sqrt_binary64`
539×	`*-un-lft-identity_binary64`
533×	`add-cube-cbrt_binary64`
281×	`sqrt-prod_binary64`

Counts

4 → 601

Calls

4 calls:

32.0ms	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
13.0ms	(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
11.0ms	(/.f64 1 (/.f64 V (/.f64 A l)))
6.0ms	(/.f64 V (/.f64 A l))

simplify645.0ms (6%)

Algorithm

1×	egg-herbie

Rules

741×	`fma-neg_binary64`
709×	`fma-def_binary64`
332×	`sqr-pow_binary64`
286×	`associate-/r/_binary64`
204×	`*-commutative_binary64`

Counts

685 → 911

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	412	13768
1	727	12311
2	2187	11996
3	2263	11786
4	2711	11786
5	3014	11786
6	3734	11786
7	4546	11786
8	4899	11786
9	5060	11786

prune791.0ms (7.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	900	11	911
Fresh	10	3	13
Picked	1	0	1
Done	0	0	0
Total	911	14	925

Error

0.0b

Counts

925 → 14

Alt Table

Status	Error	Program
	1.6b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))
	12.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 l)) V))))
	42.3b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	13.8b	(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
	25.0b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
	8.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) l))))))
	10.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
▶	1.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
	10.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A l)))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l))))))
	13.9b	(.f64 c0 (sqrt.f64 (/.f64 1 (.f64 V (/.f64 1 (/.f64 A l))))))
	23.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
	52.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	9.9b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 (/.f64 A l)))))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l)))))))
	16.6b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 20754 to 8272 computations (60.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))
✓	0.5b	(cbrt.f64 V)
✓	0.6b	(cbrt.f64 A)
✓	0.6b	(cbrt.f64 l)

series894.0ms (8.3%)

Counts

4 → 72

Calls

4 calls:

796.0ms	(/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))
36.0ms	(cbrt.f64 l)
31.0ms	(cbrt.f64 V)
31.0ms	(cbrt.f64 A)

rewrite58.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

492×	`times-frac_binary64`
384×	`cbrt-prod_binary64`
264×	`*-un-lft-identity_binary64`
264×	`add-sqr-sqrt_binary64`
264×	`add-cube-cbrt_binary64`

Counts

4 → 342

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 A)
1.0ms	(cbrt.f64 V)

simplify281.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

788×	`associate-/l*_binary64`
457×	`associate-/l/_binary64`
308×	`associate-/r/_binary64`
288×	`log-div_binary64`
275×	`associate-*l/_binary64`

Counts

414 → 505

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	401	10708
1	843	10107
2	2177	9782
3	4301	9782
4	5027	9782

prune405.0ms (3.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	557	2	559
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	558	15	573

Error

0.0b

Counts

573 → 15

Alt Table

Status	Error	Program
▶	1.6b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))
	12.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 l)) V))))
	42.3b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	25.0b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
	52.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	37.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (*.f64 (sqrt.f64 (cbrt.f64 A)) (sqrt.f64 (cbrt.f64 A))) (cbrt.f64 l))))))
	8.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) l))))))
	10.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
	16.6b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	14.2b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (*.f64 (cbrt.f64 (sqrt.f64 l)) (cbrt.f64 (sqrt.f64 l))))))))
✓	1.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
	10.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A l)))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l))))))
	13.9b	(.f64 c0 (sqrt.f64 (/.f64 1 (.f64 V (/.f64 1 (/.f64 A l))))))
	23.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
	9.9b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 (/.f64 A l)))))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l)))))))

Compiler

Compiled 20204 to 6431 computations (68.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 V)
	0.6b	(cbrt.f64 A)
	0.6b	(cbrt.f64 l)
✓	0.7b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))

series1.1s (10.3%)

Counts

1 → 48

Calls

1 calls:

1.1s	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))

rewrite53.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
4×	`associate-*r/_binary64`
3×	`associate-l_binary64`

Counts

1 → 23

Calls

1 calls:

51.0ms

(*.f64 c0 (*.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))

simplify114.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

596×	`associate-l_binary64`
461×	`associate-r_binary64`
374×	`associate-*r/_binary64`
352×	`associate-*l/_binary64`
344×	`times-frac_binary64`

Counts

71 → 47

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	142	2541
1	347	2019
2	789	1707
3	3094	1655
4	4520	1519
5	4918	1519
6	4969	1519

prune120.0ms (1.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	152	3	155
Fresh	3	10	13
Picked	0	1	1
Done	1	0	1
Total	156	14	170

Error

0.0b

Counts

170 → 14

Alt Table

Status	Error	Program
	42.3b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	25.0b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
	8.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) l))))))
	2.0b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (pow.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) 3) (cbrt.f64 c0)))
	10.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) 1)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
	2.0b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))))) (fabs.f64 (cbrt.f64 V)))
	16.6b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
✓	1.6b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))
	1.9b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))) (cbrt.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))))))) (cbrt.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V)))))))
	10.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A l)))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l))))))
	13.9b	(.f64 c0 (sqrt.f64 (/.f64 1 (.f64 V (/.f64 1 (/.f64 A l))))))
	23.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
	52.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	9.9b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 (/.f64 A l)))))) (sqrt.f64 (/.f64 1 (/.f64 V (cbrt.f64 (/.f64 A l)))))))

Compiler

Compiled 4308 to 1216 computations (71.8% saved)

regimes3.8s (34.8%)

Accuracy

Total 0.9b remaining (79.8%)

Threshold costs 0.9b (79.8%)

Counts

371 → 1

Compiler

Compiled 69476 to 46188 computations (33.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`fabs-mul_binary64`
1×	`fabs-div_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	38
1	26	38
2	30	38
3	29	38

end9.0ms (0.1%)

Remove: (sort V l)
Compiler: Compiled 81 to 51 computations (37% saved)

sample1.2s (11%)

Algorithm

1×

intervals

Results

388.0ms	8000×	body	128	valid
146.0ms	2992×	body	128	nan
42.0ms	827×	body	128	invalid

Compiler

Compiled 402 to 229 computations (43% saved)

Details

analyze625.0ms (5.8%)

sample51.0ms (0.5%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series122.0ms (1.1%)

rewrite14.0ms (0.1%)

simplify104.0ms (1%)

prune89.0ms (0.8%)

localize7.0ms (0.1%)

series162.0ms (1.5%)

rewrite152.0ms (1.4%)

simplify645.0ms (6%)

prune791.0ms (7.3%)

localize14.0ms (0.1%)

series894.0ms (8.3%)

rewrite58.0ms (0.5%)

simplify281.0ms (2.6%)

prune405.0ms (3.7%)

localize14.0ms (0.1%)

series1.1s (10.3%)

rewrite53.0ms (0.5%)

simplify114.0ms (1.1%)

prune120.0ms (1.1%)

regimes3.8s (34.8%)

simplify3.0ms (0%)

end9.0ms (0.1%)

sample1.2s (11%)

Profiling