Details

Time bar (total: 4.8s)

analyze28.0ms (0.6%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample30.0ms (0.6%)

Algorithm
intervals
Results
9.0ms256×body128valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify6.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
2129
3129

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.4b
Counts
2 → 1
Alt Table
StatusErrorProgram
15.4b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
Compiler

Compiled 24 to 18 computations (25% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
15.0b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

series426.0ms (8.9%)

Counts
1 → 24
Calls

1 calls:

426.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite3.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
cbrt-prod_binary64
*-un-lft-identity_binary64
times-frac_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
Counts
1 → 18
Calls

1 calls:

2.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))

simplify70.0ms (1.5%)

Algorithm
egg-herbie
Rules
809×div-sub_binary64
664×fma-def_binary64
461×fma-neg_binary64
390×times-frac_binary64
300×unswap-sqr_binary64
Counts
42 → 38
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
074709
1117709
2178685
3426549
4960513
52276513
64146513
75010513

prune43.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New271138
Fresh000
Picked101
Done000
Total281139
Error
0.2b
Counts
39 → 11
Alt Table
StatusErrorProgram
15.4b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
0.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
16.0b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a))))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))))
15.6b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 g (*.f64 2 a))) (cbrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (/.f64 g (*.f64 2 a)))))
42.3b
(*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))))
38.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
38.3b
(*.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 g 2/3))) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
5.1b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
42.4b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
15.8b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 g (*.f64 2 a))) (cbrt.f64 (/.f64 g (*.f64 2 a))))) (cbrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))))
0.8b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
Compiler

Compiled 793 to 580 computations (26.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.3b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.5b
(cbrt.f64 (/.f64 1/2 a))
0.6b
(cbrt.f64 g)

series498.0ms (10.4%)

Counts
3 → 48
Calls

3 calls:

426.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
39.0ms
(cbrt.f64 (/.f64 1/2 a))
32.0ms
(cbrt.f64 g)

rewrite15.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod_binary64
35×add-sqr-sqrt_binary64
21×*-un-lft-identity_binary64
21×add-cube-cbrt_binary64
20×times-frac_binary64
Counts
3 → 80
Calls

3 calls:

9.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
2.0ms
(cbrt.f64 (/.f64 1/2 a))
1.0ms
(cbrt.f64 g)

simplify94.0ms (2%)

Algorithm
egg-herbie
Rules
521×exp-sum_binary64
480×*-commutative_binary64
376×fma-neg_binary64
368×associate-*l*_binary64
306×associate-*r*_binary64
Counts
128 → 108
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01501729
12601725
26551660
316441530
439071502
551541502

prune93.0ms (1.9%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New9414108
Fresh4610
Picked101
Done000
Total9920119
Error
0.0b
Counts
119 → 20
Alt Table
StatusErrorProgram
0.8b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 (/.f64 1 a)))
15.4b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
15.6b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 g (*.f64 2 a))) (cbrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (/.f64 g (*.f64 2 a)))))
31.5b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1 (sqrt.f64 a)))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a))))
0.9b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))
31.5b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 a))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a)))))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))))
38.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
31.6b
(*.f64 (*.f64 (pow.f64 (*.f64 -1 g) 1/3) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1/2 a)))
5.1b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
0.8b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
42.4b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
0.8b
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))
1.4b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))))
0.8b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.1b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 a))))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))))
15.4b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
1.2b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
Compiler

Compiled 2039 to 1392 computations (31.7% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.3b
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))
0.5b
(cbrt.f64 (/.f64 1/2 a))
0.6b
(cbrt.f64 g)

series418.0ms (8.7%)

Counts
1 → 24
Calls

1 calls:

417.0ms
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))

rewrite10.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
23×cbrt-prod_binary64
16×associate-*l*_binary64
11×times-frac_binary64
11×*-un-lft-identity_binary64
Counts
1 → 43
Calls

1 calls:

7.0ms
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))

simplify89.0ms (1.9%)

Algorithm
egg-herbie
Rules
838×div-sub_binary64
567×times-frac_binary64
520×fma-def_binary64
489×fma-neg_binary64
216×sqr-pow_binary64
Counts
67 → 71
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01151128
11961128
23451096
3664959
41364935
52590928
64244928
75174928

prune93.0ms (1.9%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New1183121
Fresh31619
Picked011
Done000
Total12120141
Error
0.0b
Counts
141 → 20
Alt Table
StatusErrorProgram
0.8b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 (/.f64 1 a)))
15.4b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))))
38.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
31.6b
(*.f64 (*.f64 (pow.f64 (*.f64 -1 g) 1/3) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1/2 a)))
5.1b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
0.8b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
42.4b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
0.8b
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))
1.4b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))))
0.8b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 1/2) 1)) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)) (cbrt.f64 g)))
31.5b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1 (sqrt.f64 a)))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a))))
1.1b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 a))))
31.5b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 a))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a)))))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))))
15.4b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
0.8b
(*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)) (cbrt.f64 g))
1.2b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
0.8b
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))
Compiler

Compiled 2227 to 1511 computations (32.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.4b
(*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g))
0.4b
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))
0.5b
(cbrt.f64 (/.f64 1 a))
0.6b
(cbrt.f64 g)

series1.1s (22.6%)

Counts
3 → 60
Calls

3 calls:

642.0ms
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))
412.0ms
(*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g))
28.0ms
(cbrt.f64 (/.f64 1 a))

rewrite23.0ms (0.5%)

Algorithm
rewrite-expression-head
Rules
42×cbrt-prod_binary64
40×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
22×associate-*l*_binary64
22×times-frac_binary64
Counts
3 → 94
Calls

3 calls:

7.0ms
(*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g))
7.0ms
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))
4.0ms
(cbrt.f64 (/.f64 1 a))

simplify188.0ms (3.9%)

Algorithm
egg-herbie
Rules
447×exp-sum_binary64
425×log-prod_binary64
406×fma-neg_binary64
335×*-commutative_binary64
269×unsub-neg_binary64
Counts
154 → 160
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01332345
12522324
26662215
311961698
428411645
543401605
647691605
749441605
849851605
949831605

prune131.0ms (2.7%)

Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New1753178
Fresh41418
Picked011
Done011
Total17919198
Error
0.0b
Counts
198 → 19
Alt Table
StatusErrorProgram
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))))
38.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.5b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
31.6b
(*.f64 (*.f64 (pow.f64 (*.f64 -1 g) 1/3) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1/2 a)))
5.1b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
0.8b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
42.4b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
0.9b
(*.f64 (cbrt.f64 1/2) (*.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 g)))
0.8b
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))
0.8b
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 g))
1.4b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))))) (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))))
0.8b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 1/2) 1)) (*.f64 (cbrt.f64 (/.f64 (sqrt.f64 1/2) a)) (cbrt.f64 g)))
15.4b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
1.0b
(*.f64 (cbrt.f64 (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g))))
1.1b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 a))))
31.5b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 a))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a)))))
1.5b
(*.f64 (cbrt.f64 1/2) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g))) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1 a)) (cbrt.f64 g)))))
0.8b
(*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)) (cbrt.f64 g))
1.2b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
Compiler

Compiled 2977 to 2060 computations (30.8% saved)

regimes698.0ms (14.6%)

Accuracy

Total 0.8b remaining (93.7%)

Threshold costs 0.8b (93.7%)

Counts
129 → 1
Compiler

Compiled 10520 to 8145 computations (22.6% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
11516
21416

end1.0ms (0%)

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample721.0ms (15%)

Algorithm
intervals
Results
276.0ms8000×body128valid
Compiler

Compiled 326 to 248 computations (23.9% saved)

Profiling

Loading profile data...