Details

Time bar (total: 1.3s)

analyze75.0ms (5.9%)

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)

sample688.0ms (53.8%)

Results
637.0ms8256×body128valid
19.0ms204×body128invalid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify6.0ms (0.5%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2117
3117

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 15 computations (28.6% 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

1 calls:

6.0ms
(/.f64 x (*.f64 y 3))

rewrite44.0ms (3.4%)

Algorithm
2×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
Counts
1 → 44
Calls

1 calls:

43.0ms
(/.f64 x (*.f64 y 3))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11277
216387
351247
000
100

simplify10.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
212168
316168
417168
517168

prune28.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New38644
Fresh000
Picked011
Done000
Total38745
Error
0b
Counts
45 → 7
Alt Table
StatusErrorProgram
0.3b
(*.f64 x (/.f64 1/3 y))
✓0.2b
(/.f64 x (*.f64 y 3))
44.9b
(pow.f64 (pow.f64 (/.f64 x (*.f64 y 3)) 3) 1/3)
34.5b
(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
34.0b
(*.f64 (/.f64 1 (sqrt.f64 (*.f64 y 3))) (/.f64 x (sqrt.f64 (*.f64 y 3))))
▶0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.4b
(*.f64 1/3 (/.f64 x y))
Compiler

Compiled 559 to 355 computations (36.5% 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

1 calls:

6.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite49.0ms (3.8%)

Algorithm
2×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
Counts
1 → 48
Calls

1 calls:

48.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087
11717
220317
349847
000
100

simplify10.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
212168
316168
417168
517168

prune27.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New48149
Fresh145
Picked101
Done011
Total50656
Error
0b
Counts
56 → 6
Alt Table
StatusErrorProgram
▶0.2b
(/.f64 (/.f64 x 3) y)
44.9b
(pow.f64 (pow.f64 (/.f64 x (*.f64 y 3)) 3) 1/3)
0.3b
(*.f64 x (/.f64 1/3 y))
✓0.2b
(/.f64 x (*.f64 y 3))
34.5b
(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
0.4b
(*.f64 1/3 (/.f64 x y))
Compiler

Compiled 484 to 329 computations (32% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.5%)

Counts
1 → 24
Calls

1 calls:

6.0ms
(/.f64 (/.f64 x 3) y)

rewrite41.0ms (3.2%)

Algorithm
2×batch-egg-rewrite
Rules
683×log1p-expm1-u_binary64
683×expm1-log1p-u_binary64
122×expm1-udef_binary64
122×log1p-udef_binary64
113×log-div_binary64
Counts
1 → 41
Calls

1 calls:

40.0ms
(/.f64 (/.f64 x 3) y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11357
217657
349447
000
100

simplify11.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
Counts
65 → 42
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
212168
316168
417168
517168

prune23.0ms (1.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New41142
Fresh134
Picked011
Done011
Total42648
Error
0b
Counts
48 → 6
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (/.f64 x 3) y)
44.9b
(pow.f64 (pow.f64 (/.f64 x (*.f64 y 3)) 3) 1/3)
▶0.3b
(*.f64 x (/.f64 1/3 y))
✓0.2b
(/.f64 x (*.f64 y 3))
0.4b
(*.f64 (*.f64 x -1/3) (/.f64 1 (neg.f64 y)))
0.4b
(*.f64 1/3 (/.f64 x y))
Compiler

Compiled 495 to 341 computations (31.1% saved)

localize3.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series8.0ms (0.6%)

Counts
2 → 24
Calls

2 calls:

6.0ms
(*.f64 x (/.f64 1/3 y))
1.0ms
(/.f64 1/3 y)

rewrite43.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
572×log1p-expm1-u_binary64
572×expm1-log1p-u_binary64
297×log-prod_binary64
163×pow2_binary64
115×pow1/3_binary64
Counts
2 → 58
Calls

2 calls:

42.0ms
(*.f64 x (/.f64 1/3 y))
42.0ms
(/.f64 1/3 y)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
112811
2151911
3491111
000
100

simplify11.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
212168
316168
417168
517168

prune33.0ms (2.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New58159
Fresh123
Picked011
Done022
Total59665
Error
0b
Counts
65 → 6
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 (/.f64 x 3) y)
44.9b
(pow.f64 (pow.f64 (/.f64 x (*.f64 y 3)) 3) 1/3)
✓0.3b
(*.f64 x (/.f64 1/3 y))
✓0.2b
(/.f64 x (*.f64 y 3))
0.3b
(/.f64 (*.f64 1/3 x) y)
0.4b
(*.f64 1/3 (/.f64 x y))
Compiler

Compiled 552 to 400 computations (27.5% saved)

regimes78.0ms (6.1%)

Accuracy

Total 0.2b remaining (92.6%)

Threshold costs 0.2b (92.6%)

Counts
16 → 1
Compiler

Compiled 877 to 622 computations (29.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
167

end59.0ms (4.6%)

Compiler

Compiled 60 to 44 computations (26.7% saved)

Profiling

Loading profile data...