Details

Time bar (total: 6.2s)

analyze68.0ms (1.1%)

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)

sample1.5s (23.8%)

Results
1.4s8256×body128valid
Compiler

Compiled 26 to 20 computations (23.1% saved)

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

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 24 to 18 computations (25% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series825.0ms (13.3%)

Counts
1 → 24
Calls

1 calls:

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

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

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

simplify103.0ms (1.7%)

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

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New281038
Fresh000
Picked011
Done000
Total281139
Error
0.2b
Counts
39 → 11
Alt Table
StatusErrorProgram
15.5b
(cbrt.f64 (/.f64 g (*.f64 2 a)))
49.5b
(*.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 1 a)) (log.f64 (/.f64 -1 g))))))
15.5b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
0.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
35.7b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
4.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) a)))
39.3b
(*.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)))
16.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)))))
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)))))
Compiler

Compiled 773 to 568 computations (26.5% 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 (*.f64 2 a))
0.6b
(cbrt.f64 g)

series507.0ms (8.2%)

Counts
3 → 48
Calls

3 calls:

443.0ms
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
35.0ms
(cbrt.f64 (*.f64 2 a))
29.0ms
(cbrt.f64 g)

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

simplify91.0ms (1.5%)

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

prune98.0ms (1.6%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New11912131
Fresh369
Picked101
Done101
Total12418142
Error
0.0b
Counts
142 → 18
Alt Table
StatusErrorProgram
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.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/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)))))
35.7b
(*.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 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))))
4.2b
(*.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 g) 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)))))
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)))))
1.1b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
1.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
15.9b
(/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2))
15.5b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
34.4b
(*.f64 (/.f64 (cbrt.f64 (pow.f64 g 2/3)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 (*.f64 a 2)))))
39.3b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
32.7b
(*.f64 (/.f64 (sqrt.f64 (cbrt.f64 g)) 1) (/.f64 (sqrt.f64 (cbrt.f64 g)) (cbrt.f64 (*.f64 2 a))))
1.5b
(/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
0.9b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.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)))))
Compiler

Compiled 2428 to 1580 computations (34.9% 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.5b
(cbrt.f64 (/.f64 1/2 a))
0.6b
(cbrt.f64 g)

series450.0ms (7.2%)

Counts
2 → 36
Calls

2 calls:

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

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:

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

simplify115.0ms (1.8%)

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

prune106.0ms (1.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New1287135
Fresh61117
Picked101
Done000
Total13518153
Error
0.0b
Counts
153 → 18
Alt Table
StatusErrorProgram
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)))
15.5b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
32.7b
(*.f64 (sqrt.f64 (cbrt.f64 g)) (*.f64 (sqrt.f64 (cbrt.f64 g)) (cbrt.f64 (/.f64 1/2 a))))
39.3b
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))) (cbrt.f64 (sqrt.f64 (/.f64 g (*.f64 2 a)))))
1.1b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
1.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
1.1b
(*.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.9b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 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))))
31.8b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 a)))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 a))))
0.9b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
0.8b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
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)))
34.4b
(*.f64 (/.f64 (cbrt.f64 (pow.f64 g 2/3)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 a 2))) (cbrt.f64 (cbrt.f64 (*.f64 a 2))))) (/.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 (*.f64 a 2)))))
35.7b
(*.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 (cbrt.f64 (*.f64 2 a))) (cbrt.f64 (cbrt.f64 (*.f64 2 a)))) (cbrt.f64 (cbrt.f64 (*.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)))))
1.5b
(/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
Compiler

Compiled 2433 to 1633 computations (32.9% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series589.0ms (9.5%)

Counts
3 → 48
Calls

3 calls:

488.0ms
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
66.0ms
(*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))
35.0ms
(cbrt.f64 (/.f64 -1 a))

rewrite21.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod_binary64
36×add-sqr-sqrt_binary64
22×associate-*l*_binary64
22×*-un-lft-identity_binary64
22×add-cube-cbrt_binary64
Counts
3 → 92
Calls

3 calls:

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

simplify98.0ms (1.6%)

Algorithm
egg-herbie
Rules
794×times-frac_binary64
711×fma-def_binary64
353×*-commutative_binary64
297×exp-sum_binary64
150×associate-/l*_binary64
Counts
140 → 144
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01702212
13102205
27532153
313571933
430671892
550601892

prune117.0ms (1.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New1575162
Fresh41317
Picked101
Done000
Total16218180
Error
0.0b
Counts
180 → 18
Alt Table
StatusErrorProgram
0.9b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 -1/2))
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)))
15.5b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g 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)))
31.8b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 a))) (cbrt.f64 (/.f64 -1 (sqrt.f64 a)))) (cbrt.f64 -1/2)))
39.2b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (neg.f64 g) a)))) (sqrt.f64 (*.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (neg.f64 g) a)))))
35.7b
(*.f64 (cbrt.f64 (/.f64 (sqrt.f64 g) 2)) (cbrt.f64 (/.f64 (sqrt.f64 g) a)))
0.8b
(*.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 (/.f64 -1 a) -1/2)))
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)))))
1.1b
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
1.2b
(/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
0.9b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 g)) (cbrt.f64 g))) (cbrt.f64 (*.f64 2 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))))
31.8b
(*.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 a)))) (cbrt.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 a))))
0.9b
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (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)))))
1.5b
(/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 g)) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (cbrt.f64 g))) (cbrt.f64 (*.f64 2 a)))
0.9b
(*.f64 (cbrt.f64 g) (*.f64 (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 (*.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2)))) (cbrt.f64 (cbrt.f64 -1/2))))
Compiler

Compiled 2864 to 2056 computations (28.2% saved)

regimes1.2s (19.3%)

Accuracy

Total 0.8b remaining (93.5%)

Threshold costs 0.8b (93.5%)

Counts
192 → 1
Compiler

Compiled 14997 to 11756 computations (21.6% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11311
21211

end226.0ms (3.6%)

Compiler

Compiled 310 to 231 computations (25.5% saved)

Profiling

Loading profile data...