Details

Time bar (total: 1.4s)

analyze58.0ms (4.1%)

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
25%74.9%0.1%5
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample651.0ms (46.5%)

Symmetry

(sort x y)

Results
612.0ms8256×body128valid
7.0ms101×body128invalid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify6.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1107
2177
3197
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 x (*.f64 27 y))
0.3b
(*.f64 (*.f64 x 27) y)
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 27 y))

series4.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(*.f64 x (*.f64 27 y))

rewrite33.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
512×log1p-expm1-u_binary64
512×expm1-log1p-u_binary64
386×unpow-prod-down_binary64
299×log-prod_binary64
153×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11217
214057
Stop Event
1×node limit
Counts
1 → 17
Calls

1 calls:

33.0ms
(*.f64 x (*.f64 27 y))

simplify9.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
110168
217168
319168
Stop Event
1×saturated
Counts
41 → 19

prune12.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New16319
Fresh011
Picked011
Done000
Total16521
Error
0.0b
Counts
21 → 5
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (*.f64 27 y))
▶0.3b
(*.f64 (*.f64 x 27) y)
31.1b
(cbrt.f64 (*.f64 (pow.f64 (*.f64 x y) 3) 19683))
31.0b
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
0.3b
(*.f64 27 (*.f64 y x))
Compiler

Compiled 242 to 169 computations (30.2% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 x 27) y)

series4.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(*.f64 (*.f64 x 27) y)

rewrite29.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
511×log1p-expm1-u_binary64
511×expm1-log1p-u_binary64
384×unpow-prod-down_binary64
298×log-prod_binary64
153×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11217
214037
Stop Event
1×node limit
Counts
1 → 17
Calls

1 calls:

29.0ms
(*.f64 (*.f64 x 27) y)

simplify9.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
110168
217168
319168
Stop Event
1×saturated
Counts
41 → 19

prune12.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New19019
Fresh033
Picked011
Done011
Total19524
Error
0.0b
Counts
24 → 5
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (*.f64 27 y))
✓0.3b
(*.f64 (*.f64 x 27) y)
31.1b
(cbrt.f64 (*.f64 (pow.f64 (*.f64 x y) 3) 19683))
31.0b
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
▶0.3b
(*.f64 27 (*.f64 y x))
Compiler

Compiled 235 to 160 computations (31.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 27 (*.f64 y x))

series4.0ms (0.3%)

Counts
1 → 0
Calls

1 calls:

4.0ms
(*.f64 27 (*.f64 y x))

rewrite85.0ms (6.1%)

Algorithm
1×batch-egg-rewrite
Rules
512×log1p-expm1-u_binary64
512×expm1-log1p-u_binary64
386×unpow-prod-down_binary64
299×log-prod_binary64
153×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11217
214057
Stop Event
1×node limit
Counts
1 → 17
Calls

1 calls:

85.0ms
(*.f64 27 (*.f64 y x))

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
17 → 17

prune44.0ms (3.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New17017
Fresh022
Picked011
Done022
Total17522
Error
0.0b
Counts
22 → 5
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 x (*.f64 27 y))
✓0.3b
(*.f64 (*.f64 x 27) y)
31.1b
(cbrt.f64 (*.f64 (pow.f64 (*.f64 x y) 3) 19683))
▶31.0b
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
✓0.3b
(*.f64 27 (*.f64 y x))
Compiler

Compiled 218 to 157 computations (28% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
0.3b
(*.f64 27 (*.f64 y x))
✓6.1b
(sqrt.f64 (*.f64 27 (*.f64 y x)))

series47.0ms (3.4%)

Counts
2 → 0
Calls

2 calls:

31.0ms
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
16.0ms
(sqrt.f64 (*.f64 27 (*.f64 y x)))

rewrite39.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
658×log1p-expm1-u_binary64
658×expm1-log1p-u_binary64
367×log-prod_binary64
136×expm1-udef_binary64
136×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
118616
2186616
Stop Event
1×node limit
Counts
2 → 67
Calls

2 calls:

38.0ms
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
38.0ms
(sqrt.f64 (*.f64 27 (*.f64 y x)))

simplify6.0ms (0.5%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
67 → 67

prune44.0ms (3.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New82284
Fresh011
Picked011
Done033
Total82789
Error
0.0b
Counts
89 → 7
Alt Table
StatusErrorProgram
19.8b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y x) 2)) (*.f64 (cbrt.f64 (*.f64 y x)) 27))
✓0.3b
(*.f64 (*.f64 x 27) y)
✓0.2b
(*.f64 x (*.f64 27 y))
31.1b
(cbrt.f64 (*.f64 (pow.f64 (*.f64 x y) 3) 19683))
✓31.0b
(pow.f64 (sqrt.f64 (*.f64 27 (*.f64 y x))) 2)
✓0.3b
(*.f64 27 (*.f64 y x))
38.9b
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 729))
Compiler

Compiled 1055 to 707 computations (33% saved)

regimes64.0ms (4.6%)

Accuracy

Total 0.3b remaining (93.9%)

Threshold costs 0.3b (93.9%)

Counts
12 → 1
Compiler

Compiled 664 to 458 computations (31% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
Stop Event
1×saturated

end214.0ms (15.2%)

Compiler

Compiled 94 to 69 computations (26.6% saved)

Profiling

Loading profile data...