Details

Time bar (total: 12.6s)

analyze780.0ms (6.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)

sample48.0ms (0.4%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
6.0ms109×body128nan
2.0ms48×body128invalid
Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify12.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11312
21512
31512

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
22.9b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶22.9b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 24 to 16 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.7b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
5.4b
(/.f64 A (*.f64 V l))
18.7b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite66.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
10.8b
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 → 66
Calls

3 calls:

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

Compiled 856 to 236 computations (72.4% saved)

series70.0ms (0.6%)

Error
22.9b
Counts
3 → 30
Calls

3 calls:

32.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
19.0ms
(/.f64 A (*.f64 V l))
18.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 1042 to 726 computations (30.3% saved)

simplify175.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
734×div-sub_binary64
460×sub-neg_binary64
372×times-frac_binary64
318×associate-/l*_binary64
267×associate-*l*_binary64
Counts
96 → 40
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01121180
12401105
27601105
322701105
426181105
530631105
637561105
742831105
846521105
949161105
1046671105

prune24.0ms (0.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New31940
Fresh000
Picked011
Done000
Total311041
Error
17.6b
Counts
41 → 10
Alt Table
StatusErrorProgram
44.9b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0)) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0)))
▶22.1b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
23.5b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
✓22.9b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
23.3b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
23.3b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
42.2b
(*.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) (/.f64 V (/.f64 (sqrt.f64 A) l)))))
30.7b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
23.6b
(*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0)))
22.2b
(*.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
Compiler

Compiled 659 to 283 computations (57.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(/.f64 1 (/.f64 V (/.f64 A l)))
0.7b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
4.4b
(/.f64 V (/.f64 A l))
18.7b
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))

rewrite747.0ms (5.9%)

Algorithm
1×rewrite-expression-head
Error
1.4b
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 → 593
Calls

4 calls:

34.0ms
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
28.0ms
(/.f64 1 (/.f64 V (/.f64 A l)))
15.0ms
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
6.0ms
(/.f64 V (/.f64 A l))
Compiler

Compiled 13946 to 6160 computations (55.8% saved)

series146.0ms (1.2%)

Error
17.6b
Counts
4 → 39
Calls

4 calls:

76.0ms
(/.f64 1 (/.f64 V (/.f64 A l)))
32.0ms
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
20.0ms
(/.f64 V (/.f64 A l))
17.0ms
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
Compiler

Compiled 1304 to 911 computations (30.1% saved)

simplify779.0ms (6.2%)

Algorithm
1×egg-herbie
Rules
332×sqr-pow_binary64
316×div-sub_binary64
303×associate-/r/_binary64
238×fabs-mul_binary64
213×*-commutative_binary64
Counts
632 → 585
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
041813387
177111948
2242911633
3258911423
4313411423
5347211423
6421411423
7470411423
8490811423
9488111423

prune293.0ms (2.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New56718585
Fresh808
Picked101
Done101
Total57718595
Error
0.0b
Counts
595 → 18
Alt Table
StatusErrorProgram
56.8b
(*.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)))
51.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 (sqrt.f64 A) (cbrt.f64 l))))))
50.6b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V)))))
5.8b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
38.7b
(*.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 1 l)))))
15.3b
(*.f64 (*.f64 c0 (/.f64 1 (fabs.f64 (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
17.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (cbrt.f64 l))))))
18.3b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
6.6b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
22.0b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) (cbrt.f64 V)))))
21.9b
(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
22.9b
(*.f64 c0 (sqrt.f64 (/.f64 A (/.f64 V (/.f64 1 l)))))
28.1b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
37.9b
(*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 l V)))))
16.7b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
24.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) V))))
6.7b
(*.f64 (*.f64 c0 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.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))))))
Compiler

Compiled 6832 to 2220 computations (67.5% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 V)
0.6b
(cbrt.f64 V)
0.6b
(cbrt.f64 A)
0.6b
(cbrt.f64 A)

rewrite48.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×cbrt-prod_binary64
8×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64
8×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
Counts
4 → 44
Calls

4 calls:

1.0ms
(cbrt.f64 A)
1.0ms
(cbrt.f64 A)
1.0ms
(cbrt.f64 V)
1.0ms
(cbrt.f64 V)
Compiler

Compiled 1200 to 361 computations (69.9% saved)

series66.0ms (0.5%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

16.0ms
(cbrt.f64 V)
15.0ms
(cbrt.f64 V)
15.0ms
(cbrt.f64 A)
13.0ms
(cbrt.f64 A)
Compiler

Compiled 928 to 584 computations (37.1% saved)

simplify66.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
608×log-prod_binary64
410×distribute-rgt-in_binary64
404×associate-*l*_binary64
402×distribute-lft-in_binary64
378×unswap-sqr_binary64
Counts
56 → 32
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
038336
159316
2137316
3371316
41191300
54742300
65330300

prune33.0ms (0.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New32032
Fresh01717
Picked011
Done000
Total321850
Error
0.0b
Counts
50 → 18
Alt Table
StatusErrorProgram
56.8b
(*.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)))
51.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 (sqrt.f64 A) (cbrt.f64 l))))))
50.6b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V)))))
▶5.8b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
38.7b
(*.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 1 l)))))
15.3b
(*.f64 (*.f64 c0 (/.f64 1 (fabs.f64 (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
17.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (cbrt.f64 l))))))
18.3b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
6.6b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
22.0b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) (cbrt.f64 V)))))
21.9b
(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
22.9b
(*.f64 c0 (sqrt.f64 (/.f64 A (/.f64 V (/.f64 1 l)))))
28.1b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
37.9b
(*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 l V)))))
16.7b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
24.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) V))))
6.7b
(*.f64 (*.f64 c0 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.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))))))
Compiler

Compiled 1218 to 654 computations (46.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 A)
0.7b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
2.1b
(/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V))
4.3b
(sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))

rewrite478.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
508×times-frac_binary64
283×add-sqr-sqrt_binary64
266×*-un-lft-identity_binary64
266×add-cube-cbrt_binary64
260×cbrt-prod_binary64
Counts
4 → 360
Calls

4 calls:

19.0ms
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
15.0ms
(sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))
9.0ms
(/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V))
1.0ms
(cbrt.f64 A)
Compiler

Compiled 11344 to 3813 computations (66.4% saved)

series289.0ms (2.3%)

Error
0.0b
Counts
4 → 33
Calls

4 calls:

121.0ms
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
70.0ms
(/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V))
69.0ms
(sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))
14.0ms
(cbrt.f64 A)
Compiler

Compiled 2459 to 1833 computations (25.5% saved)

simplify427.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
503×associate-*l/_binary64
455×associate-*r/_binary64
334×associate-/r/_binary64
304×associate-/l/_binary64
189×associate-*r*_binary64
Counts
393 → 256
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054611138
1101110714
2248710531
3447610438
4497710438
5496610438

prune158.0ms (1.3%)

Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New2524256
Fresh41216
Picked011
Done011
Total25618274
Error
0.0b
Counts
274 → 18
Alt Table
StatusErrorProgram
6.6b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
6.3b
(*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V))) (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (cbrt.f64 c0)))
5.8b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V)))))
33.1b
(/.f64 (*.f64 c0 (*.f64 (cbrt.f64 A) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) (cbrt.f64 V))))) (fabs.f64 (cbrt.f64 V)))
19.2b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) (cbrt.f64 V))))))
24.3b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) V))))
51.8b
(/.f64 (*.f64 c0 (*.f64 (cbrt.f64 A) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))) (*.f64 (fabs.f64 (cbrt.f64 V)) (sqrt.f64 (cbrt.f64 V))))
17.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (cbrt.f64 l))))))
56.8b
(*.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))) (sqrt.f64 c0)))
22.0b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 l)) (cbrt.f64 V)))))
21.9b
(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
22.9b
(*.f64 c0 (sqrt.f64 (/.f64 A (/.f64 V (/.f64 1 l)))))
28.1b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
37.9b
(*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 l V)))))
16.7b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
15.3b
(*.f64 (*.f64 c0 (/.f64 1 (fabs.f64 (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A l)))))
6.7b
(*.f64 (*.f64 c0 (fabs.f64 (*.f64 (/.f64 1 (cbrt.f64 V)) (cbrt.f64 A)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.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))))))
Compiler

Compiled 5347 to 2152 computations (59.8% saved)

regimes6.2s (49.4%)

Accuracy

Total 1.0b remaining (90.9%)

Threshold costs 0b (0%)

Compiler

Compiled 118409 to 77389 computations (34.6% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
2×fabs-div_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01738
12438
22738
32638

end7.0ms (0.1%)

Compiler

Compiled 81 to 48 computations (40.7% saved)

sample1.6s (12.7%)

Algorithm
1×intervals
Results
395.0ms8000×body128valid
141.0ms2907×body128nan
49.0ms905×body128invalid
Compiler

Compiled 445 to 280 computations (37.1% saved)

Profiling

Loading profile data...