Details

analyze806.0ms (13.9%)

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)

sample54.0ms (0.9%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
9.0ms	82×	body	128	nan
1.0ms	31×	body	128	invalid

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify9.0ms (0.2%)

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

19.4b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	1.1b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	6.2b	(/.f64 A (*.f64 V l))
✓	16.6b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite15.0ms (0.3%)

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))
3.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

series189.0ms (3.3%)

Counts

3 → 12

Calls

3 calls:

92.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
60.0ms	(/.f64 A (*.f64 V l))
37.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify115.0ms (2%)

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

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

prune84.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	103	12	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	12	116

Error

8.5b

Counts

116 → 12

Alt Table

Status	Error	Program
	39.8b	(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))))))
	16.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	35.7b	(.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))))
	19.6b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
▶	16.1b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	36.6b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	51.0b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	17.3b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 1 V) (/.f64 A l))))
	41.3b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
	19.8b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	18.4b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	37.3b	(.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (/.f64 1 (*.f64 V l))))

Compiler

Compiled 1622 to 553 computations (65.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	1.1b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓	3.2b	(/.f64 (/.f64 A V) l)
✓	16.6b	(sqrt.f64 (/.f64 (/.f64 A V) l))

rewrite56.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

213×	`times-frac_binary64`
134×	`add-sqr-sqrt_binary64`
117×	`*-un-lft-identity_binary64`
117×	`add-cube-cbrt_binary64`
89×	`sqrt-prod_binary64`

Counts

3 → 197

Calls

3 calls:

22.0ms	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
10.0ms	(sqrt.f64 (/.f64 (/.f64 A V) l))
8.0ms	(/.f64 (/.f64 A V) l)

series197.0ms (3.4%)

Counts

3 → 48

Calls

3 calls:

107.0ms	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
58.0ms	(/.f64 (/.f64 A V) l)
32.0ms	(sqrt.f64 (/.f64 (/.f64 A V) l))

simplify260.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-neg_binary64`
558×	`fma-def_binary64`
379×	`associate-/l/_binary64`
291×	`div-sub_binary64`
290×	`associate-l_binary64`

Counts

245 → 356

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	300	4078
1	537	3931
2	1297	3881
3	2584	3881
4	2695	3881
5	2914	3881
6	3424	3881
7	4997	3881
8	4949	3881

prune278.0ms (4.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	340	16	356
Fresh	10	1	11
Picked	1	0	1
Done	0	0	0
Total	351	17	368

Error

0.1b

Counts

368 → 17

Alt Table

Status	Error	Program
	39.8b	(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.2b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	25.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (sqrt.f64 l))))
	7.8b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (cbrt.f64 l))))
	11.6b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))))
	2.0b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))))
	28.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
	16.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))
	36.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (/.f64 1 V) (cbrt.f64 l))))
	34.7b	(.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
	13.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) l)))
	5.5b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) l)))
▶	1.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	3.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) l))))
	36.6b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A 1)) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
	13.3b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A V)))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))
	16.7b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))

Compiler

Compiled 5583 to 1656 computations (70.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 26

Calls

2 calls:

1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 V)

series440.0ms (7.6%)

Counts

2 → 24

Calls

2 calls:

223.0ms	(cbrt.f64 l)
217.0ms	(cbrt.f64 V)

simplify41.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

422×	`distribute-rgt-in_binary64`
414×	`distribute-lft-in_binary64`
409×	`associate-l_binary64`
378×	`unswap-sqr_binary64`
274×	`associate-r_binary64`

Counts

50 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	286
1	64	274
2	148	274
3	384	274
4	1209	266
5	4945	266

prune75.0ms (1.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	164	4	168
Fresh	3	13	16
Picked	0	1	1
Done	0	0	0
Total	167	18	185

Error

0.0b

Counts

185 → 18

Alt Table

Status	Error	Program
	39.8b	(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.2b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	25.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (sqrt.f64 l))))
	7.8b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (cbrt.f64 l))))
	1.4b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (.f64 (.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (cbrt.f64 V))) (cbrt.f64 (cbrt.f64 V)))) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
✓	1.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	19.6b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (*.f64 (cbrt.f64 (sqrt.f64 l)) (cbrt.f64 (sqrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	16.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))
	36.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (/.f64 1 V) (cbrt.f64 l))))
	1.4b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	16.7b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
	34.7b	(.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
	13.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) l)))
	3.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) l))))
	36.6b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A 1)) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
	13.3b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A V)))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))
	28.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
▶	1.2b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))

Compiler

Compiled 2566 to 877 computations (65.8% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))
	0.6b	(cbrt.f64 l)
	0.6b	(cbrt.f64 l)
	0.6b	(cbrt.f64 l)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`rem-cbrt-cube_binary64`
1×	`pow3_binary64`
1×	`cbrt-prod_binary64`

Counts

1 → 12

Calls

1 calls:

7.0ms

(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))

series240.0ms (4.2%)

Counts

1 → 12

Calls

1 calls:

240.0ms

(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))

simplify73.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

764×	`unswap-sqr_binary64`
594×	`log-prod_binary64`
297×	`cancel-sign-sub-inv_binary64`
276×	`*-commutative_binary64`
217×	`distribute-rgt-in_binary64`

Counts

24 → 44

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	127
1	34	123
2	83	121
3	202	121
4	612	121
5	1886	121
6	3157	121
7	4996	121
8	4792	121

prune98.0ms (1.7%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	631	1	632
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	631	19	650

Error

0.0b

Counts

650 → 19

Alt Table

Status	Error	Program
	39.8b	(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.2b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	25.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (sqrt.f64 l))))
	7.8b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (cbrt.f64 l))))
	1.4b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (.f64 (.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (cbrt.f64 V))) (cbrt.f64 (cbrt.f64 V)))) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
✓	1.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	19.6b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (*.f64 (cbrt.f64 (sqrt.f64 l)) (cbrt.f64 (sqrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	16.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))
	36.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (/.f64 1 V) (cbrt.f64 l))))
	1.4b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
	16.7b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
	34.7b	(.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))) (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))))
	13.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) l)))
	3.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) l))))
	36.6b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 A 1)) (sqrt.f64 (/.f64 (/.f64 1 V) l))))
	13.3b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A V)))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))
	28.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
	1.2b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))
✓	1.2b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))))

Compiler

Compiled 2801 to 848 computations (69.7% saved)

regimes1.4s (24.4%)

Accuracy

Total 1.0b remaining (90.1%)

Threshold costs 0b (0%)

Compiler

Compiled 30755 to 18211 computations (40.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`fabs-div_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	19	35
2	22	35
3	22	35

end7.0ms (0.1%)

Remove: (sort V l)
Compiler: Compiled 75 to 39 computations (48% saved)

sample1.3s (21.9%)

Algorithm

1×

intervals

Results

423.0ms	8000×	body	128	valid
147.0ms	3075×	body	128	nan
39.0ms	864×	body	128	invalid

Compiler

Compiled 522 to 283 computations (45.8% saved)

Details

analyze806.0ms (13.9%)

sample54.0ms (0.9%)

simplify9.0ms (0.2%)

prune2.0ms (0%)

localize9.0ms (0.2%)

rewrite15.0ms (0.3%)

series189.0ms (3.3%)

simplify115.0ms (2%)

prune84.0ms (1.5%)

localize8.0ms (0.1%)

rewrite56.0ms (1%)

series197.0ms (3.4%)

simplify260.0ms (4.5%)

prune278.0ms (4.8%)

localize14.0ms (0.2%)

rewrite2.0ms (0%)

series440.0ms (7.6%)

simplify41.0ms (0.7%)

prune75.0ms (1.3%)

localize18.0ms (0.3%)

rewrite8.0ms (0.1%)

series240.0ms (4.2%)

simplify73.0ms (1.3%)

prune98.0ms (1.7%)

regimes1.4s (24.4%)

simplify3.0ms (0.1%)

end7.0ms (0.1%)

sample1.3s (21.9%)

Profiling