Details

Time bar (total: 4.4s)

analyze31.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)

sample30.0ms (0.7%)

Algorithm
intervals
Results
8.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
16.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
16.2b
(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.8b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

series432.0ms (9.8%)

Counts
1 → 24
Calls

1 calls:

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

rewrite4.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)))

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

prune33.0ms (0.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New29938
Fresh000
Picked011
Done000
Total291039
Error
0.2b
Counts
39 → 10
Alt Table
StatusErrorProgram
16.4b
(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)))))
16.2b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
48.6b
(*.f64 (cbrt.f64 1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 g) (log.f64 a)))))
16.3b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
0.9b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
34.8b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
7.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
40.5b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
16.6b
(*.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.9b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
Compiler

Compiled 715 to 522 computations (27% saved)

localize7.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))

series527.0ms (11.9%)

Counts
3 → 48
Calls

3 calls:

463.0ms
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
34.0ms
(cbrt.f64 (*.f64 2 a))
29.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)

simplify87.0ms (2%)

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

prune94.0ms (2.1%)

Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New11813131
Fresh358
Picked011
Done011
Total12120141
Error
0.1b
Counts
141 → 20
Alt Table
StatusErrorProgram
1.2b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
16.2b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.2b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
30.6b
(*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (*.f64 a 2)))) (/.f64 (cbrt.f64 g) (sqrt.f64 (cbrt.f64 (*.f64 a 2)))))
1.4b
(/.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))) (*.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)))))
31.5b
(/.f64 (cbrt.f64 (sqrt.f64 g)) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (sqrt.f64 g))))
16.3b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.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.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
31.7b
(*.f64 (/.f64 (cbrt.f64 (sqrt.f64 g)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a))))) (/.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
34.8b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
1.3b
(*.f64 (/.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) 1) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (*.f64 2 a))))
7.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
1.5b
(*.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)))))
16.6b
(*.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)))))
1.5b
(*.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.4b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 (cbrt.f64 g) (cbrt.f64 (cbrt.f64 (*.f64 a 2)))))
0.9b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.9b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
Compiler

Compiled 2483 to 1621 computations (34.7% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series466.0ms (10.5%)

Counts
2 → 36
Calls

2 calls:

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

rewrite14.0ms (0.3%)

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:

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

simplify114.0ms (2.6%)

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

Useful iterations: 6 (0.0ms)

IterNodesCost
01391588
12421588
24981552
38401406
417791374
534681347
643041341
749091341

prune107.0ms (2.4%)

Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New12312135
Fresh11617
Picked101
Done022
Total13520155
Error
0b
Counts
155 → 20
Alt Table
StatusErrorProgram
1.2b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
16.2b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.2b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
0.8b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 g)) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))
33.8b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))) (sqrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))))
1.4b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))))
1.4b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 (cbrt.f64 g) (cbrt.f64 (cbrt.f64 (*.f64 a 2)))))
1.2b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 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.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
16.2b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
30.7b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 1/2 a))))
35.6b
(*.f64 (*.f64 (pow.f64 (*.f64 -1 g) 1/3) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1/2 a)))
31.5b
(*.f64 (cbrt.f64 (sqrt.f64 g)) (*.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
7.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
1.2b
(*.f64 (cbrt.f64 g) (*.f64 (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.8b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a))))
0.9b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
0.9b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
Compiler

Compiled 2422 to 1644 computations (32.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series431.0ms (9.7%)

Counts
3 → 12
Calls

3 calls:

430.0ms
(cbrt.f64 (/.f64 (cbrt.f64 1/2) a))
0.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
0.0ms
(cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)))

rewrite16.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
48×cbrt-prod_binary64
32×add-sqr-sqrt_binary64
24×*-un-lft-identity_binary64
24×add-cube-cbrt_binary64
18×times-frac_binary64
Counts
3 → 86
Calls

3 calls:

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

simplify117.0ms (2.6%)

Algorithm
egg-herbie
Rules
683×fma-neg_binary64
640×fma-def_binary64
441×associate-/l*_binary64
352×times-frac_binary64
257×associate-*l/_binary64
Counts
98 → 118
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01361389
11961369
24241342
310111244
429571061
536721039
648701039
750531039

prune128.0ms (2.9%)

Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New1351136
Fresh11617
Picked101
Done022
Total13719156
Error
0b
Counts
156 → 19
Alt Table
StatusErrorProgram
1.2b
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
16.2b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.2b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
0.8b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 g)) (cbrt.f64 (/.f64 (cbrt.f64 1/2) a)))
33.8b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))) (sqrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))))
1.4b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 a)))))
1.4b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 (cbrt.f64 g) (cbrt.f64 (cbrt.f64 (*.f64 a 2)))))
1.2b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (/.f64 1/2 a))))) (cbrt.f64 (cbrt.f64 (/.f64 1/2 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.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
16.2b
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
30.7b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (sqrt.f64 (/.f64 1/2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 1/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 a))))
35.6b
(*.f64 (*.f64 (pow.f64 (*.f64 -1 g) 1/3) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1/2 a)))
31.5b
(*.f64 (cbrt.f64 (sqrt.f64 g)) (*.f64 (cbrt.f64 (sqrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
7.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
0.9b
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
0.9b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
Compiler

Compiled 3046 to 2485 computations (18.4% saved)

regimes970.0ms (21.9%)

Accuracy

Total 0.8b remaining (94.6%)

Threshold costs 0.8b (94.6%)

Counts
147 → 1
Compiler

Compiled 12765 to 9902 computations (22.4% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01425
11925
21825

end1.0ms (0%)

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample710.0ms (16%)

Algorithm
intervals
Results
273.0ms8000×body128valid
Compiler

Compiled 312 to 243 computations (22.1% saved)

Profiling

Loading profile data...