Details

Time bar (total: 8.9s)

analyze643.0ms (7.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
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)

sample1.7s (19%)

Symmetry

(sort V l)

Results
1.1s8256×body128valid
517.0ms3994×body128invalid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify8.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
2×associate-/r*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11312
21512
31512

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
18.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶18.6b
(*.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:

NewErrorProgram
✓0.4b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
✓6.6b
(/.f64 A (*.f64 V l))
✓16.1b
(sqrt.f64 (/.f64 A (*.f64 V l)))

series122.0ms (1.4%)

Counts
3 → 12
Calls

3 calls:

66.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
39.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
17.0ms
(/.f64 A (*.f64 V l))

rewrite15.0ms (0.2%)

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)))

simplify98.0ms (1.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)

IterNodesCost
01031084
11941009
25611009
316311009
421871009
524461009
631961009
743401009
846981009

prune94.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New731386
Fresh000
Picked101
Done000
Total741387
Error
7.9b
Counts
87 → 13
Alt Table
StatusErrorProgram
51.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
37.5b
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))
18.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
40.9b
(exp.f64 (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
38.6b
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 V l)))
51.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 V)) (sqrt.f64 (/.f64 A l))))
18.6b
(*.f64 (*.f64 c0 1) (sqrt.f64 (/.f64 A (*.f64 V l))))
34.6b
(*.f64 (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))))
50.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
19.0b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
39.7b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))
▶16.7b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
16.7b
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
Compiler

Compiled 1612 to 571 computations (64.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 A) (cbrt.f64 A))
✓0.6b
(cbrt.f64 A)
✓3.5b
(*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
✓16.1b
(sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

series142.0ms (1.6%)

Counts
4 → 60
Calls

4 calls:

41.0ms
(sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))
38.0ms
(*.f64 (cbrt.f64 A) (cbrt.f64 A))
35.0ms
(cbrt.f64 A)
29.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))

rewrite33.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
52×add-sqr-sqrt_binary64
30×cbrt-prod_binary64
28×associate-*r*_binary64
28×times-frac_binary64
28×*-un-lft-identity_binary64
Counts
4 → 132
Calls

4 calls:

10.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
7.0ms
(sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))
6.0ms
(*.f64 (cbrt.f64 A) (cbrt.f64 A))
1.0ms
(cbrt.f64 A)

simplify111.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
562×unswap-sqr_binary64
516×associate-/l/_binary64
455×*-commutative_binary64
397×associate-/r*_binary64
368×associate-/r/_binary64
Counts
192 → 204
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01792275
14171917
216111862
335591808
448691808
549841808

prune166.0ms (1.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New2364240
Fresh3912
Picked101
Done000
Total24013253
Error
4.4b
Counts
253 → 13
Alt Table
StatusErrorProgram
51.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
37.5b
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))
50.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
17.9b
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
18.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
23.5b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
23.9b
(*.f64 c0 (/.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (cbrt.f64 A))) (sqrt.f64 l)))
39.7b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))
19.0b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
38.6b
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 V l)))
54.2b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (log.f64 (exp.f64 (cbrt.f64 A))) l))))
34.6b
(*.f64 (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))))
▶16.7b
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
Compiler

Compiled 5293 to 1717 computations (67.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
✓3.9b
(/.f64 (/.f64 A V) l)
✓16.1b
(sqrt.f64 (/.f64 (/.f64 A V) l))

series118.0ms (1.3%)

Counts
3 → 48
Calls

3 calls:

63.0ms
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
38.0ms
(sqrt.f64 (/.f64 (/.f64 A V) l))
17.0ms
(/.f64 (/.f64 A V) l)

rewrite42.0ms (0.5%)

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:

14.0ms
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
5.0ms
(sqrt.f64 (/.f64 (/.f64 A V) l))
4.0ms
(/.f64 (/.f64 A V) l)

simplify255.0ms (2.9%)

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 → 280
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03004078
15373931
212973881
325843881
426953881
529143881
634243881
749973881
849493881

prune239.0ms (2.7%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New26416280
Fresh7512
Picked101
Done000
Total27221293
Error
0.0b
Counts
293 → 21
Alt Table
StatusErrorProgram
25.1b
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
48.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))))
18.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
23.5b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
33.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 A) (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (cbrt.f64 V)) l))))
8.3b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) 1) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (cbrt.f64 l))))
9.9b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 (/.f64 A V)) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) (cbrt.f64 l))))
5.3b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) l)))
11.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A V) (cbrt.f64 l)))))
12.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
25.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
11.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) l)))
21.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) (sqrt.f64 l))))
19.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (sqrt.f64 l))))
37.5b
(*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))
39.0b
(*.f64 c0 (*.f64 (sqrt.f64 (sqrt.f64 A)) (sqrt.f64 (/.f64 (sqrt.f64 A) (*.f64 V l)))))
19.0b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
16.7b
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
38.6b
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.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))))
25.3b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A V)))) (sqrt.f64 (/.f64 (sqrt.f64 (/.f64 A V)) l)))
Compiler

Compiled 5711 to 1748 computations (69.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.4b
(*.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))))
✓0.6b
(cbrt.f64 l)
✓0.6b
(cbrt.f64 V)
0.6b
(cbrt.f64 A)

series1.3s (14.6%)

Counts
3 → 72
Calls

3 calls:

1.2s
(*.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))))
30.0ms
(cbrt.f64 l)
29.0ms
(cbrt.f64 V)

rewrite153.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
456×times-frac_binary64
342×cbrt-prod_binary64
247×associate-*r*_binary64
244×sqrt-prod_binary64
237×*-un-lft-identity_binary64
Counts
3 → 293
Calls

3 calls:

73.0ms
(*.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))))
1.0ms
(cbrt.f64 V)
1.0ms
(cbrt.f64 l)

simplify263.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
892×associate-*l*_binary64
592×times-frac_binary64
586×*-commutative_binary64
338×associate-/l/_binary64
164×associate-*l/_binary64
Counts
365 → 471
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
063312879
1150611428
2383611176
3505811176

prune463.0ms (5.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New5385543
Fresh61420
Picked101
Done000
Total54519564
Error
0.0b
Counts
564 → 19
Alt Table
StatusErrorProgram
25.1b
(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
48.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 V)) (sqrt.f64 l)))))
1.4b
(*.f64 (*.f64 (*.f64 c0 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))))
23.5b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
8.3b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) 1) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) V) (cbrt.f64 l))))
1.2b
(*.f64 c0 (pow.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))) 3))
1.1b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (cbrt.f64 A))) (cbrt.f64 V)) (cbrt.f64 l))))
11.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A V) (cbrt.f64 l)))))
25.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 (/.f64 1 l)))
1.1b
(*.f64 (*.f64 (*.f64 c0 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 l))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 (cbrt.f64 l)))))
11.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) l)))
21.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 A (cbrt.f64 V)) (sqrt.f64 l))))
19.9b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (sqrt.f64 l)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (sqrt.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))))
39.0b
(*.f64 c0 (*.f64 (sqrt.f64 (sqrt.f64 A)) (sqrt.f64 (/.f64 (sqrt.f64 A) (*.f64 V l)))))
19.0b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
16.7b
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
38.6b
(/.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 V l)))
25.3b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A V)))) (sqrt.f64 (/.f64 (sqrt.f64 (/.f64 A V)) l)))
Compiler

Compiled 18783 to 3722 computations (80.2% saved)

regimes2.7s (30.1%)

Accuracy

Total 1.0b remaining (90.1%)

Threshold costs 0b (0%)

Counts
290 → 1
Compiler

Compiled 61360 to 36468 computations (40.6% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×fabs-mul_binary64
2×fabs-div_binary64
1×*-lft-identity_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01935
12535
22835
33135
42835

end238.0ms (2.7%)

Remove

(sort V l)

Compiler

Compiled 544 to 304 computations (44.1% saved)

Profiling

Loading profile data...