Details

Time bar (total: 1.4s)

analyze83.0ms (6.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
56.2%43.7%0.1%6
71.8%28.1%0.1%7
73.4%25%1.7%8
80.4%16.4%3.2%9
80.8%14%5.2%10
84.1%8.8%7.1%11
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%3.8%10.4%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample708.0ms (52.5%)

Results
680.0ms8256×body128valid
16.0ms203×body128invalid
Compiler

Compiled 16 to 12 computations (25% saved)

preprocess18.0ms (1.3%)

Algorithm
2×egg-herbie
Rules
4×associate-/r*_binary64
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
11414
21814
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×associate-/r*_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2117
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.2b
(/.f64 (/.f64 x y) 3)
▶0.2b
(/.f64 x (*.f64 y 3))
Compiler

Compiled 40 to 28 computations (30% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 x (*.f64 y 3))

series6.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(/.f64 x (*.f64 y 3))
x
0
1.0ms
(/.f64 x (*.f64 y 3))
x
inf
1.0ms
(/.f64 x (*.f64 y 3))
x
-inf
1.0ms
(/.f64 x (*.f64 y 3))
y
-inf
1.0ms
(/.f64 x (*.f64 y 3))
y
0

rewrite36.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
637×log1p-expm1-u_binary64
637×expm1-log1p-u_binary64
335×log-prod_binary64
116×expm1-udef_binary64
116×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11277
216887
Stop Event
1×node limit
Counts
1 → 43

simplify13.0ms (1%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
1×associate-*r/_binary64
1×associate-*l/_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
1×saturated
Counts
67 → 43

prune29.0ms (2.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New37643
Fresh101
Picked011
Done000
Total38745
Error
0b
Counts
45 → 7
Alt Table
StatusErrorProgram
47.7b
(cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (*.f64 y 3) 3)))
0.4b
(pow.f64 (*.f64 3 (/.f64 y x)) -1)
28.5b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x y) 1/3)) 2)
1.2b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (*.f64 y 3)) 2)) (cbrt.f64 (*.f64 (/.f64 x y) 1/3)))
▶0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.3b
(*.f64 (/.f64 1/3 y) x)
✓0.2b
(/.f64 x (*.f64 y 3))
Compiler

Compiled 568 to 361 computations (36.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))

series6.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

1.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
x
0
1.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
x
-inf
1.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
x
inf
1.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
y
0
1.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
y
-inf

rewrite39.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
774×log1p-expm1-u_binary64
774×expm1-log1p-u_binary64
142×log1p-udef_binary64
82×add-sqr-sqrt_binary64
76×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087
11727
221467
Stop Event
1×node limit
Counts
1 → 48

simplify18.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
1×associate-*r/_binary64
1×associate-*l/_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
1×saturated
Counts
72 → 50

prune32.0ms (2.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New48250
Fresh325
Picked011
Done011
Total51657
Error
0b
Counts
57 → 6
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 x (*.f64 y 3))
▶0.2b
(/.f64 (neg.f64 (/.f64 x y)) -3)
0.3b
(/.f64 (*.f64 x 1/3) y)
28.5b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x y) 1/3)) 2)
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.3b
(*.f64 (/.f64 1/3 y) x)
Compiler

Compiled 476 to 315 computations (33.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (neg.f64 (/.f64 x y)) -3)

series7.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

1.0ms
(/.f64 (neg.f64 (/.f64 x y)) -3)
x
0
1.0ms
(/.f64 (neg.f64 (/.f64 x y)) -3)
x
inf
1.0ms
(/.f64 (neg.f64 (/.f64 x y)) -3)
x
-inf
1.0ms
(/.f64 (neg.f64 (/.f64 x y)) -3)
y
-inf
1.0ms
(/.f64 (neg.f64 (/.f64 x y)) -3)
y
0

rewrite37.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
651×log1p-expm1-u_binary64
651×expm1-log1p-u_binary64
122×expm1-udef_binary64
122×log1p-udef_binary64
80×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
079
11597
221557
Stop Event
1×node limit
Counts
1 → 28

simplify13.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
1×associate-*r/_binary64
1×associate-*l/_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
1×saturated
Counts
52 → 30

prune16.0ms (1.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New30030
Fresh033
Picked011
Done022
Total30636
Error
0b
Counts
36 → 6
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 x (*.f64 y 3))
✓0.2b
(/.f64 (neg.f64 (/.f64 x y)) -3)
▶0.3b
(/.f64 (*.f64 x 1/3) y)
28.5b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x y) 1/3)) 2)
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.3b
(*.f64 (/.f64 1/3 y) x)
Compiler

Compiled 320 to 221 computations (30.9% saved)

localize3.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (*.f64 x 1/3) y)
✓0.4b
(*.f64 x 1/3)

series8.0ms (0.6%)

Counts
2 → 36
Calls

9 calls:

1.0ms
(/.f64 (*.f64 x 1/3) y)
x
0
1.0ms
(/.f64 (*.f64 x 1/3) y)
x
-inf
1.0ms
(/.f64 (*.f64 x 1/3) y)
x
inf
1.0ms
(/.f64 (*.f64 x 1/3) y)
y
-inf
1.0ms
(/.f64 (*.f64 x 1/3) y)
y
0

rewrite46.0ms (3.4%)

Algorithm
1×batch-egg-rewrite
Rules
627×log1p-expm1-u_binary64
627×expm1-log1p-u_binary64
330×log-prod_binary64
116×expm1-udef_binary64
116×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
112711
2166711
Stop Event
1×node limit
Counts
2 → 62

simplify12.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
2×associate-/l*_binary64
1×associate-*r/_binary64
1×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07216
110216
214216
316216
417216
Stop Event
1×saturated
Counts
98 → 64

prune33.0ms (2.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New64064
Fresh022
Picked011
Done033
Total64670
Error
0b
Counts
70 → 6
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 x (*.f64 y 3))
✓0.2b
(/.f64 (neg.f64 (/.f64 x y)) -3)
✓0.3b
(/.f64 (*.f64 x 1/3) y)
28.5b
(pow.f64 (sqrt.f64 (*.f64 (/.f64 x y) 1/3)) 2)
✓0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.3b
(*.f64 (/.f64 1/3 y) x)
Compiler

Compiled 671 to 482 computations (28.2% saved)

regimes100.0ms (7.4%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Counts
27 → 1
Compiler

Compiled 1108 to 826 computations (25.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
Stop Event
1×saturated

end65.0ms (4.8%)

Stop Event
1×fuel
Compiler

Compiled 62 to 46 computations (25.8% saved)

Profiling

Loading profile data...