Details

Time bar (total: 6.9s)

analyze646.0ms (9.4%)

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

sample37.0ms (0.5%)

Algorithm
intervals
Results
12.0ms256×body128valid
3.0ms79×body128nan
1.0ms28×body128invalid
Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify8.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11312
21512
31512

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
17.5b
Counts
1 → 1
Alt Table
StatusErrorProgram
17.5b
(*.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:

1.2b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
5.2b
(/.f64 A (*.f64 V l))
15.7b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite91.0ms (1.3%)

Algorithm
rewrite-expression-head
Error
8.7b
Rules
16×add-sqr-sqrt_binary64
15×sqrt-prod_binary64
11×add-cube-cbrt_binary64 *-un-lft-identity_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64 associate-*r*_binary64
times-frac_binary64
Counts
3 → 66
Calls

3 calls:

8.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
4.0ms
(/.f64 A (*.f64 V l))
3.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 856 to 236 computations (72.4% saved)

series92.0ms (1.3%)

Error
17.5b
Counts
3 → 30
Calls

3 calls:

41.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
27.0ms
(/.f64 A (*.f64 V l))
23.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 1042 to 726 computations (30.3% saved)

simplify119.0ms (1.7%)

Algorithm
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

prune39.0ms (0.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New301040
Fresh000
Picked011
Done000
Total301141
Error
12.6b
Counts
41 → 11
Alt Table
StatusErrorProgram
35.9b
(*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
40.9b
(*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
18.2b
(*.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)))
18.2b
(*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0)))
40.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)))
18.9b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
27.7b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
39.7b
(*.f64 c0 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))
17.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.5b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
17.9b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
Compiler

Compiled 697 to 303 computations (56.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.2b
(/.f64 A (*.f64 V l))
5.2b
(/.f64 A (*.f64 V l))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite129.0ms (1.9%)

Algorithm
rewrite-expression-head
Error
12.5b
Rules
14×add-exp-log_binary64 add-cbrt-cube_binary64 cbrt-prod_binary64
12×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 times-frac_binary64 *-un-lft-identity_binary64
associate-/l*_binary64
pow1_binary64 add-log-exp_binary64 div-inv_binary64 div-exp_binary64 cbrt-undiv_binary64
pow1/3_binary64 cbrt-div_binary64 prod-exp_binary64 cbrt-unprod_binary64 frac-2neg_binary64 clear-num_binary64 associate-/r*_binary64
Counts
4 → 74
Calls

4 calls:

4.0ms
(/.f64 A (*.f64 V l))
4.0ms
(/.f64 A (*.f64 V l))
3.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
3.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 1574 to 376 computations (76.1% saved)

series230.0ms (3.4%)

Error
12.5b
Counts
4 → 36
Calls

4 calls:

74.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
74.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
29.0ms
(/.f64 A (*.f64 V l))
28.0ms
(/.f64 A (*.f64 V l))
Compiler

Compiled 2217 to 1354 computations (38.9% saved)

simplify112.0ms (1.6%)

Algorithm
egg-herbie
Rules
605×associate-/r/_binary64
383×exp-sum_binary64
315×*-commutative_binary64
294×div-sub_binary64
274×times-frac_binary64
Counts
110 → 50
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01121406
12271252
25721230
320481152
436311124
549471124
649411124

prune53.0ms (0.8%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New47350
Fresh099
Picked011
Done011
Total471461
Error
12.5b
Counts
61 → 14
Alt Table
StatusErrorProgram
38.9b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 (cbrt.f64 A) (pow.f64 (*.f64 V l) -1/3))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
19.5b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
35.9b
(*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
40.9b
(*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
18.2b
(*.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)))
18.2b
(*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0)))
40.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)))
18.9b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
27.7b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
39.7b
(*.f64 c0 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))
20.1b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 1 (pow.f64 (/.f64 A (*.f64 V l)) 1/3))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.5b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
17.9b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
Compiler

Compiled 1090 to 479 computations (56.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.2b
(/.f64 A (*.f64 V l))
5.2b
(/.f64 A (*.f64 V l))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite126.0ms (1.8%)

Algorithm
rewrite-expression-head
Error
12.5b
Rules
14×add-exp-log_binary64 add-cbrt-cube_binary64 cbrt-prod_binary64
12×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 times-frac_binary64 *-un-lft-identity_binary64
associate-/l*_binary64
pow1_binary64 add-log-exp_binary64 div-inv_binary64 div-exp_binary64 cbrt-undiv_binary64
pow1/3_binary64 cbrt-div_binary64 prod-exp_binary64 cbrt-unprod_binary64 frac-2neg_binary64 clear-num_binary64 associate-/r*_binary64
Counts
4 → 74
Calls

4 calls:

4.0ms
(/.f64 A (*.f64 V l))
4.0ms
(/.f64 A (*.f64 V l))
3.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
3.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 1574 to 342 computations (78.3% saved)

series235.0ms (3.4%)

Error
12.5b
Counts
4 → 36
Calls

4 calls:

77.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
75.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
29.0ms
(/.f64 A (*.f64 V l))
28.0ms
(/.f64 A (*.f64 V l))
Compiler

Compiled 2217 to 1345 computations (39.3% saved)

simplify114.0ms (1.7%)

Algorithm
egg-herbie
Rules
605×associate-/r/_binary64
383×exp-sum_binary64
315×*-commutative_binary64
294×div-sub_binary64
274×times-frac_binary64
Counts
110 → 50
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01121406
12271252
25721230
320481152
436311124
549471124
649411124

prune58.0ms (0.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New48250
Fresh2911
Picked101
Done022
Total511364
Error
12.5b
Counts
64 → 13
Alt Table
StatusErrorProgram
19.5b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
35.9b
(*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
40.9b
(*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
18.2b
(*.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)))
19.5b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))))
38.9b
(*.f64 (*.f64 c0 (fabs.f64 (*.f64 (cbrt.f64 A) (pow.f64 (*.f64 V l) -1/3)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
40.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)))
18.9b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
27.7b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
39.7b
(*.f64 c0 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))
20.1b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 1 (pow.f64 (/.f64 A (*.f64 V l)) 1/3))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.5b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 1066 to 457 computations (57.1% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.2b
(cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
15.7b
(sqrt.f64 (/.f64 A (*.f64 V l)))
15.7b
(sqrt.f64 (/.f64 A (*.f64 V l)))
15.7b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite112.0ms (1.6%)

Algorithm
rewrite-expression-head
Error
12.5b
Rules
21×sqrt-prod_binary64
13×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64 *-un-lft-identity_binary64
times-frac_binary64
pow1_binary64
Counts
4 → 64
Calls

4 calls:

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

Compiled 2120 to 288 computations (86.4% saved)

series217.0ms (3.2%)

Error
12.5b
Counts
4 → 39
Calls

4 calls:

120.0ms
(cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
30.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
29.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
28.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
Compiler

Compiled 3495 to 1807 computations (48.3% saved)

simplify94.0ms (1.4%)

Algorithm
egg-herbie
Rules
637×exp-sum_binary64
424×div-sub_binary64
394×associate-*l*_binary64
359×exp-diff_binary64
330×associate-*r*_binary64
Counts
103 → 36
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01311367
12591332
25221326
313201270
435961268
551081268

prune45.0ms (0.7%)

Pruning

15 alts after pruning (12 fresh and 3 done)

PrunedKeptTotal
New34236
Fresh01010
Picked011
Done022
Total341549
Error
12.5b
Counts
49 → 15
Alt Table
StatusErrorProgram
19.5b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
35.9b
(*.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
40.9b
(*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
18.2b
(*.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)))
19.5b
(*.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))))
38.9b
(*.f64 (*.f64 c0 (fabs.f64 (*.f64 (cbrt.f64 A) (pow.f64 (*.f64 V l) -1/3)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))
40.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)))
18.9b
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
27.7b
(*.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)))
39.7b
(*.f64 c0 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))
37.0b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (exp.f64 (log.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))))))
18.2b
(*.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 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))) c0)))
20.1b
(*.f64 c0 (*.f64 (fabs.f64 (*.f64 1 (pow.f64 (/.f64 A (*.f64 V l)) 1/3))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.9b
(*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))))
17.5b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 1030 to 301 computations (70.8% saved)

regimes2.6s (37.8%)

Accuracy

Total -2.4b remaining (-19.1%)

Threshold costs -2.4b (-19.1%)

Compiler

Compiled 29661 to 17092 computations (42.4% saved)

bsearch4.0ms (0.1%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
036104
144104
243104

end9.0ms (0.1%)

Compiler

Compiled 219 to 117 computations (46.6% saved)

sample1.6s (24%)

Algorithm
intervals
Results
494.0ms8000×body128valid
103.0ms2908×body128nan
29.0ms844×body128invalid
Compiler

Compiled 444 to 241 computations (45.7% saved)

Profiling

Loading profile data...