Details

Time bar (total: 12.2s)

analyze772.0ms (6.4%)

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)

sample44.0ms (0.4%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
4.0ms96×body128nan
1.0ms30×body128invalid
Compiler

Compiled 29 to 21 computations (27.6% saved)

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

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 24 to 16 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

1.0b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
5.3b
(/.f64 A (*.f64 V l))
17.8b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite108.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
8.4b
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:

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

Compiled 856 to 236 computations (72.4% saved)

series112.0ms (0.9%)

Error
18.8b
Counts
3 → 30
Calls

3 calls:

49.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
33.0ms
(/.f64 A (*.f64 V l))
28.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 1042 to 726 computations (30.3% saved)

simplify138.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
682×div-sub_binary64
403×times-frac_binary64
347×associate-/l*_binary64
276×sub-neg_binary64
258×associate-*l*_binary64
Counts
96 → 40
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01191180
12491105
28331105
324701105
428661105
533681105
640891105
748871105

prune43.0ms (0.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New32840
Fresh000
Picked011
Done000
Total32941
Error
13.9b
Counts
41 → 9
Alt Table
StatusErrorProgram
19.2b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
28.2b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
▶18.8b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
✓18.8b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
42.1b
(*.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)))
38.5b
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
37.9b
(*.f64 c0 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))
42.1b
(*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
19.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)))
Compiler

Compiled 599 to 259 computations (56.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.7b
(/.f64 1 (/.f64 V (/.f64 A l)))
1.0b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
4.7b
(/.f64 V (/.f64 A l))
17.8b
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))

rewrite1.1s (9.2%)

Algorithm
1×rewrite-expression-head
Error
2.1b
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:

52.0ms
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
26.0ms
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
16.0ms
(/.f64 1 (/.f64 V (/.f64 A l)))
9.0ms
(/.f64 V (/.f64 A l))
Compiler

Compiled 13946 to 6160 computations (55.8% saved)

series120.0ms (1%)

Error
13.9b
Counts
4 → 39
Calls

4 calls:

44.0ms
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
26.0ms
(sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l))))
25.0ms
(/.f64 1 (/.f64 V (/.f64 A l)))
23.0ms
(/.f64 V (/.f64 A l))
Compiler

Compiled 1304 to 911 computations (30.1% saved)

simplify707.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
406×sqr-pow_binary64
371×div-sub_binary64
308×associate-/r/_binary64
267×sub-neg_binary64
216×*-commutative_binary64
Counts
632 → 587
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
042513387
177911948
2248411633
3267211423
4325711423
5364011423
6440811423
7460611423
8505411423

prune431.0ms (3.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New56819587
Fresh707
Picked101
Done101
Total57719596
Error
0.0b
Counts
596 → 19
Alt Table
StatusErrorProgram
▶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))))))
48.5b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 1 l)))))
27.7b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
48.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (sqrt.f64 l) (sqrt.f64 V))))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 A (sqrt.f64 l))))))
23.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A (sqrt.f64 l))))))
11.8b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 A l))))))
14.9b
(*.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))))))
19.4b
(*.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)))))
38.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (sqrt.f64 A) l)))))
6.4b
(*.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))))))
18.5b
(*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 V (/.f64 l A)))))
1.9b
(*.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)))))
19.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (sqrt.f64 l))))))
22.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
26.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 l)) V))))
35.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (*.f64 l (cbrt.f64 V))))))
45.8b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 (sqrt.f64 A) (sqrt.f64 l))))))
13.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
18.2b
(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
Compiler

Compiled 6906 to 2274 computations (67.1% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite72.0ms (0.6%)

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 l)
1.0ms
(cbrt.f64 l)
1.0ms
(cbrt.f64 A)
Compiler

Compiled 1200 to 376 computations (68.7% saved)

series73.0ms (0.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

17.0ms
(cbrt.f64 l)
16.0ms
(cbrt.f64 A)
15.0ms
(cbrt.f64 l)
15.0ms
(cbrt.f64 A)
Compiler

Compiled 928 to 600 computations (35.3% saved)

simplify68.0ms (0.6%)

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

Useful iterations: 4 (0.0ms)

IterNodesCost
038332
161316
2151316
3389316
41198300
54828300
65416300

prune54.0ms (0.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New32032
Fresh01818
Picked011
Done000
Total321951
Error
0.0b
Counts
51 → 19
Alt Table
StatusErrorProgram
✓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))))))
48.5b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 1 l)))))
27.7b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
48.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (sqrt.f64 l) (sqrt.f64 V))))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 A (sqrt.f64 l))))))
23.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A (sqrt.f64 l))))))
11.8b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 A l))))))
14.9b
(*.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))))))
19.4b
(*.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)))))
38.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (sqrt.f64 A) l)))))
6.4b
(*.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))))))
18.5b
(*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 V (/.f64 l A)))))
▶1.9b
(*.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)))))
19.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (sqrt.f64 l))))))
22.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
26.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 l)) V))))
35.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (*.f64 l (cbrt.f64 V))))))
45.8b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 (sqrt.f64 A) (sqrt.f64 l))))))
13.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
18.2b
(/.f64 c0 (sqrt.f64 (/.f64 V (/.f64 A l))))
Compiler

Compiled 1292 to 716 computations (44.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 l)
0.6b
(cbrt.f64 A)
0.6b
(cbrt.f64 A)
1.0b
(*.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)))))

rewrite153.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
9×cbrt-prod_binary64
9×add-cbrt-cube_binary64
9×add-exp-log_binary64
9×pow1_binary64
8×*-un-lft-identity_binary64
Counts
4 → 54
Calls

4 calls:

78.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)))))
1.0ms
(cbrt.f64 A)
1.0ms
(cbrt.f64 A)
1.0ms
(cbrt.f64 l)
Compiler

Compiled 1449 to 287 computations (80.2% saved)

series210.0ms (1.7%)

Error
0.0b
Counts
4 → 21
Calls

4 calls:

142.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)))))
17.0ms
(cbrt.f64 A)
15.0ms
(cbrt.f64 l)
15.0ms
(cbrt.f64 A)
Compiler

Compiled 1597 to 1068 computations (33.1% saved)

simplify83.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
732×associate-*l*_binary64
408×associate-*r/_binary64
382×times-frac_binary64
381×associate-*l/_binary64
302×log-div_binary64
Counts
75 → 51
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01711567
13871129
210001093
346111093
449531093

prune61.0ms (0.5%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New47451
Fresh21517
Picked101
Done011
Total502070
Error
0.0b
Counts
70 → 20
Alt Table
StatusErrorProgram
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))))))
48.5b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 1 l)))))
27.7b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (sqrt.f64 l)))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A (sqrt.f64 l))))))
23.2b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 A (sqrt.f64 l))))))
11.8b
(*.f64 (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 A l))))))
14.9b
(*.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))))))
1.9b
(pow.f64 (*.f64 c0 (pow.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) 3)) 1)
2.2b
(*.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)))
38.9b
(/.f64 (*.f64 c0 (*.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)))
19.4b
(*.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)))))
38.8b
(*.f64 (*.f64 c0 (sqrt.f64 (sqrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (sqrt.f64 A) l)))))
6.4b
(*.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))))))
18.5b
(*.f64 c0 (sqrt.f64 (/.f64 1 (*.f64 V (/.f64 l A)))))
19.4b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) (*.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 1 (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (sqrt.f64 l))))))
22.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 1 l))))
30.3b
(*.f64 (sqrt.f64 (*.f64 c0 (pow.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) 3))) (sqrt.f64 (*.f64 c0 (pow.f64 (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 l)) (cbrt.f64 V))) 3))))
26.8b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 l))) (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 l)) V))))
35.2b
(*.f64 c0 (*.f64 (sqrt.f64 (/.f64 A (*.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (/.f64 1 (*.f64 l (cbrt.f64 V))))))
45.8b
(*.f64 (*.f64 c0 (sqrt.f64 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V)))) (sqrt.f64 (/.f64 1 (/.f64 (sqrt.f64 V) (/.f64 (sqrt.f64 A) (sqrt.f64 l))))))
13.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (/.f64 (cbrt.f64 A) l) V))))
Compiler

Compiled 1158 to 551 computations (52.4% saved)

regimes6.1s (50.2%)

Accuracy

Total 1.0b remaining (91.4%)

Threshold costs 0b (0%)

Compiler

Compiled 94038 to 62135 computations (33.9% saved)

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

end8.0ms (0.1%)

Compiler

Compiled 81 to 48 computations (40.7% saved)

sample1.6s (13.3%)

Algorithm
1×intervals
Results
292.0ms8000×body128valid
107.0ms2988×body128nan
32.0ms923×body128invalid
Compiler

Compiled 511 to 326 computations (36.2% saved)

Profiling

Loading profile data...