Details

Time bar (total: 6.6s)

analyze49.0ms (0.7%)

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)

sample18.0ms (0.3%)

Algorithm
intervals
Results
11.0ms256×body128valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

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

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite5.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:

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

series608.0ms (9.2%)

Counts
1 → 24
Calls

1 calls:

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

simplify78.0ms (1.2%)

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

Useful iterations: 4 (0.0ms)

IterNodesCost
074709
1117709
2178685
3426549
4960513
52276513
64146513
75010513

prune35.0ms (0.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New691180
Fresh000
Picked011
Done000
Total691281
Error
0.2b
Counts
81 → 12
Alt Table
StatusErrorProgram
0.8b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
17.6b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
18.0b
(*.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)))))
18.2b
(*.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)))))
17.7b
(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)))))
46.4b
(*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 (/.f64 -1 a)) (log.f64 g)))) (cbrt.f64 -1/2))
17.7b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
43.7b
(*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))))
0.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
36.1b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
6.3b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
43.8b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
Compiler

Compiled 803 to 590 computations (26.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite8.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
26×cbrt-prod_binary64
24×times-frac_binary64
21×*-un-lft-identity_binary64
21×add-sqr-sqrt_binary64
21×add-cube-cbrt_binary64
Counts
3 → 72
Calls

3 calls:

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

series1.1s (16.2%)

Counts
3 → 48
Calls

3 calls:

652.0ms
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
214.0ms
(cbrt.f64 (*.f64 2 a))
204.0ms
(cbrt.f64 g)

simplify128.0ms (1.9%)

Algorithm
egg-herbie
Rules
736×fma-def_binary64
622×associate-/l/_binary64
522×associate-/r*_binary64
330×associate-/r/_binary64
329×associate-*l/_binary64
Counts
120 → 222
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01321821
12221755
24991694
314881558
444231558
550461558

prune97.0ms (1.5%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New20913222
Fresh5510
Picked101
Done011
Total21519234
Error
0.0b
Counts
234 → 19
Alt Table
StatusErrorProgram
34.5b
(*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (*.f64 a 2)))) (/.f64 (cbrt.f64 g) (sqrt.f64 (cbrt.f64 (*.f64 a 2)))))
1.0b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (*.f64 2 a)))))
17.7b
(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.4b
(/.f64 (sqrt.f64 (cbrt.f64 g)) (/.f64 (cbrt.f64 (*.f64 2 a)) (sqrt.f64 (cbrt.f64 g))))
1.4b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))))
31.4b
(*.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (*.f64 a 2))))
1.1b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
0.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.8b
(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
1.4b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
6.3b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
34.8b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))))
1.4b
(/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
1.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
17.6b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
31.6b
(*.f64 (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 a)))
43.7b
(*.f64 (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))) (sqrt.f64 (cbrt.f64 (/.f64 g (*.f64 2 a)))))
36.1b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
0.9b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
Compiler

Compiled 2421 to 1560 computations (35.6% 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.6b
(cbrt.f64 (/.f64 1/2 a))
0.6b
(cbrt.f64 g)

rewrite13.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod_binary64
33×add-sqr-sqrt_binary64
20×times-frac_binary64
19×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
Counts
2 → 67
Calls

2 calls:

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

series807.0ms (12.2%)

Counts
2 → 36
Calls

2 calls:

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

simplify128.0ms (1.9%)

Algorithm
egg-herbie
Rules
523×fma-def_binary64
520×fma-neg_binary64
341×div-sub_binary64
324×*-commutative_binary64
269×associate-*l*_binary64
Counts
103 → 186
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01391588
12421588
24981552
38401406
417791374
534681347
643041341
749091341

prune112.0ms (1.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New21710227
Fresh9817
Picked101
Done101
Total22818246
Error
0.0b
Counts
246 → 18
Alt Table
StatusErrorProgram
17.5b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))))
34.5b
(*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (*.f64 a 2)))) (/.f64 (cbrt.f64 g) (sqrt.f64 (cbrt.f64 (*.f64 a 2)))))
1.0b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (*.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 2 a)))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))))
34.6b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) (sqrt.f64 a))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 a)))))
31.4b
(*.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (*.f64 a 2))))
1.1b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
34.6b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1 (sqrt.f64 a)))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a))))
1.4b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
0.9b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 g)) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))
6.3b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
17.7b
(*.f64 (cbrt.f64 -1/2) (cbrt.f64 (neg.f64 (/.f64 g a))))
0.9b
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
1.1b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))))
0.8b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
36.1b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
Compiler

Compiled 2367 to 1605 computations (32.2% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite28.0ms (0.4%)

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

3 calls:

12.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
8.0ms
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
3.0ms
(cbrt.f64 (/.f64 1 a))

series1.1s (16%)

Counts
3 → 48
Calls

3 calls:

634.0ms
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
219.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
206.0ms
(cbrt.f64 (/.f64 1 a))

simplify204.0ms (3.1%)

Algorithm
egg-herbie
Rules
443×exp-sum_binary64
402×fma-neg_binary64
357×log-prod_binary64
302×*-commutative_binary64
270×unsub-neg_binary64
Counts
142 → 273
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01312099
12482099
26612069
311641714
428221625
544921545
647921545
749861545
849861545
949051545

prune131.0ms (2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New3514355
Fresh41317
Picked101
Done000
Total35617373
Error
0b
Counts
373 → 17
Alt Table
StatusErrorProgram
17.5b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (sqrt.f64 1/2)) (cbrt.f64 (/.f64 (sqrt.f64 1/2) a))))
1.0b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (*.f64 2 a)))))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (*.f64 (cbrt.f64 (cbrt.f64 1/2)) (cbrt.f64 (/.f64 1 a)))))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (/.f64 1 (cbrt.f64 a))))
1.4b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 a))) (cbrt.f64 (cbrt.f64 (/.f64 1 a)))) (cbrt.f64 (cbrt.f64 (/.f64 1 a))))))
1.1b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
34.6b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) (sqrt.f64 a))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 a)))))
31.4b
(*.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (*.f64 a 2))))
34.6b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1 (sqrt.f64 a)))) (cbrt.f64 (/.f64 1/2 (sqrt.f64 a))))
1.4b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
6.3b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
17.7b
(*.f64 (cbrt.f64 -1/2) (cbrt.f64 (neg.f64 (/.f64 g a))))
1.1b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (/.f64 1 (cbrt.f64 a))))))
1.4b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))))
1.1b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))))
36.1b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
Compiler

Compiled 2900 to 2076 computations (28.4% saved)

regimes1.3s (19.2%)

Accuracy

Total 0.8b remaining (93.4%)

Threshold costs 0.8b (93.4%)

Compiler

Compiled 16853 to 13002 computations (22.9% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01216
11616
21516

end1.0ms (0%)

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample722.0ms (10.9%)

Algorithm
intervals
Results
293.0ms8000×body128valid
Compiler

Compiled 311 to 240 computations (22.8% saved)

Profiling

Loading profile data...