Details

Time bar (total: 4.3s)

analyze37.0ms (0.9%)

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)

sample809.0ms (19%)

Results
780.0ms8256×body128valid
Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify9.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
2129
3129

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.8b
Counts
2 → 1
Alt Table
StatusErrorProgram
15.8b
(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.5b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

series372.0ms (8.8%)

Counts
1 → 24
Calls

1 calls:

372.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.6%)

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

prune32.0ms (0.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New30838
Fresh000
Picked011
Done000
Total30939
Error
0.2b
Counts
39 → 9
Alt Table
StatusErrorProgram
15.8b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
16.0b
(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)))))
15.9b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
0.9b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
39.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
7.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
40.0b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
16.3b
(*.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 689 to 500 computations (27.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series482.0ms (11.3%)

Counts
3 → 48
Calls

3 calls:

419.0ms
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
33.0ms
(cbrt.f64 (*.f64 2 a))
30.0ms
(cbrt.f64 g)

rewrite9.0ms (0.2%)

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)

simplify112.0ms (2.6%)

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

Useful iterations: 3 (0.0ms)

IterNodesCost
01321821
12221755
24991694
314881558
444231558
550461558

prune103.0ms (2.4%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New11912131
Fresh257
Picked101
Done011
Total12218140
Error
0.0b
Counts
140 → 18
Alt Table
StatusErrorProgram
1.5b
(/.f64 (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))
1.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
32.0b
(*.f64 (sqrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))) (sqrt.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))))
1.0b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
0.9b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
1.5b
(/.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
39.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
15.8b
(cbrt.f64 (/.f64 g (*.f64 2 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)))
16.3b
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2))
16.0b
(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)))))
15.9b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
1.6b
(*.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)))))
7.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
1.6b
(/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (cbrt.f64 g))))
0.8b
(*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a))))
33.3b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))))
1.6b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (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)))))
Compiler

Compiled 2408 to 1558 computations (35.3% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series476.0ms (11.2%)

Counts
2 → 36
Calls

2 calls:

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

rewrite16.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt_binary64
28×times-frac_binary64
23×*-un-lft-identity_binary64
21×add-cube-cbrt_binary64
16×associate-*r*_binary64
Counts
2 → 85
Calls

2 calls:

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

simplify158.0ms (3.7%)

Algorithm
egg-herbie
Rules
624×fma-neg_binary64
514×fma-def_binary64
459×associate-/l*_binary64
363×div-sub_binary64
267×associate-/r*_binary64
Counts
121 → 143
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01171945
12271766
24681730
39481549
418571523
539981516
645871516
749401516
849041516

prune136.0ms (3.2%)

Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New1785183
Fresh41216
Picked011
Done011
Total18219201
Error
0.0b
Counts
201 → 19
Alt Table
StatusErrorProgram
1.5b
(/.f64 (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))
1.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
1.5b
(/.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
39.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.5b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))))
33.2b
(*.f64 (*.f64 (cbrt.f64 g) (sqrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))) (sqrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))
7.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
1.6b
(/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (cbrt.f64 g))))
1.6b
(*.f64 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))
15.8b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
16.3b
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2))
16.0b
(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)))))
1.5b
(*.f64 (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 1 (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
15.9b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
1.2b
(*.f64 (cbrt.f64 g) (*.f64 (/.f64 1 (cbrt.f64 2)) (/.f64 1 (cbrt.f64 a))))
1.0b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
1.6b
(*.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)))))
0.8b
(*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a))))
33.3b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))))
Compiler

Compiled 3376 to 2460 computations (27.1% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series76.0ms (1.8%)

Counts
2 → 24
Calls

2 calls:

40.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g)))
36.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 g))

rewrite14.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
17×cbrt-prod_binary64
10×*-un-lft-identity_binary64
10×add-cube-cbrt_binary64
pow1_binary64
Counts
2 → 54
Calls

2 calls:

7.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g)))
5.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 g))

simplify63.0ms (1.5%)

Algorithm
egg-herbie
Rules
577×distribute-rgt-in_binary64
561×log-prod_binary64
538×distribute-lft-in_binary64
525×unswap-sqr_binary64
384×fma-def_binary64
Counts
78 → 77
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
065596
1105540
2301500
3769486
41799398
54638398
64805398

prune99.0ms (2.3%)

Pruning

19 alts after pruning (16 fresh and 3 done)

PrunedKeptTotal
New1530153
Fresh01616
Picked011
Done022
Total15319172
Error
0.0b
Counts
172 → 19
Alt Table
StatusErrorProgram
1.5b
(/.f64 (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))
1.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 a)))
1.5b
(/.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
39.2b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.5b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))))
33.2b
(*.f64 (*.f64 (cbrt.f64 g) (sqrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a))))) (sqrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))
7.8b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
1.6b
(/.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (cbrt.f64 g))))
1.6b
(*.f64 (*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))) (cbrt.f64 (/.f64 1 (cbrt.f64 (*.f64 2 a)))))
15.8b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
16.3b
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2))
16.0b
(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)))))
1.5b
(*.f64 (/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 1 (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
15.9b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
1.2b
(*.f64 (cbrt.f64 g) (*.f64 (/.f64 1 (cbrt.f64 2)) (/.f64 1 (cbrt.f64 a))))
1.0b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
1.6b
(*.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)))))
0.8b
(*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a))))
33.3b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (sqrt.f64 (cbrt.f64 (*.f64 2 a)))))
Compiler

Compiled 3053 to 1507 computations (50.6% saved)

regimes903.0ms (21.3%)

Accuracy

Total 0.8b remaining (91.6%)

Threshold costs 0.8b (91.6%)

Counts
164 → 1
Compiler

Compiled 14099 to 10659 computations (24.4% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
11414
21314

end244.0ms (5.7%)

Compiler

Compiled 374 to 284 computations (24.1% saved)

Profiling

Loading profile data...