Details

Time bar (total: 2.0s)

analyze119.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
50%50%0.1%6
62.4%34.3%3.2%7
62.4%32.8%4.8%8
68.7%21.1%10.2%9
68.7%19.1%12.2%10
71.8%11.5%16.7%11
71.8%10.2%18%12
73.4%6%20.6%13
73.4%5.3%21.3%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample807.0ms (40.2%)

Results
756.0ms8256×body128valid
38.0ms396×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess18.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
2×+-commutative_binary64
2×associate-/r*_binary64
2×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
11820
22020
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×associate-/r*_binary64
1×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21310
Stop Event
1×saturated
Counts
1 → 2

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
4.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶4.3b
(-.f64 (/.f64 x (*.f64 y y)) 3)
Compiler

Compiled 34 to 20 computations (41.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓7.7b
(/.f64 x (*.f64 y y))

series23.0ms (1.2%)

Counts
1 → 24
Calls

6 calls:

8.0ms
(/.f64 x (*.f64 y y))
x
-inf
6.0ms
(/.f64 x (*.f64 y y))
x
inf
6.0ms
(/.f64 x (*.f64 y y))
x
0
1.0ms
(/.f64 x (*.f64 y y))
y
0
1.0ms
(/.f64 x (*.f64 y y))
y
-inf

rewrite39.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
529×log1p-expm1-u_binary64
529×expm1-log1p-u_binary64
373×unpow-prod-down_binary64
274×log-prod_binary64
141×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11067
214567
Stop Event
1×node limit
Counts
1 → 68

simplify62.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
607×sqr-pow_binary64
434×unswap-sqr_binary64
354×cube-prod_binary64
335×associate-/l/_binary64
271×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
111168
220168
335168
475168
5209168
6754168
71962168
82128168
92312168
102520168
112811168
123202168
133680168
144241168
154925168
Stop Event
1×node limit
Counts
92 → 70

prune59.0ms (2.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New66470
Fresh000
Picked011
Done000
Total66571
Error
0.0b
Counts
71 → 5
Alt Table
StatusErrorProgram
✓4.3b
(-.f64 (/.f64 x (*.f64 y y)) 3)
0.1b
(-.f64 (pow.f64 (/.f64 y (/.f64 x y)) -1) 3)
4.6b
(-.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2))) 3)
0.1b
(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
▶0.1b
(-.f64 (/.f64 (/.f64 x y) y) 3)
Compiler

Compiled 1070 to 708 computations (33.8% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series23.0ms (1.2%)

Counts
1 → 24
Calls

6 calls:

8.0ms
(/.f64 (/.f64 x y) y)
x
inf
7.0ms
(/.f64 (/.f64 x y) y)
x
-inf
6.0ms
(/.f64 (/.f64 x y) y)
x
0
1.0ms
(/.f64 (/.f64 x y) y)
y
0
1.0ms
(/.f64 (/.f64 x y) y)
y
-inf

rewrite36.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
595×log1p-expm1-u_binary64
595×expm1-log1p-u_binary64
321×log-prod_binary64
114×log-div_binary64
103×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
11097
215997
Stop Event
1×node limit
Counts
1 → 42

simplify63.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
607×sqr-pow_binary64
434×unswap-sqr_binary64
354×cube-prod_binary64
335×associate-/l/_binary64
271×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
111168
220168
335168
475168
5209168
6754168
71962168
82128168
92312168
102520168
112811168
123202168
133680168
144241168
154925168
Stop Event
1×node limit
Counts
66 → 44

prune46.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New43144
Fresh213
Picked011
Done011
Total45449
Error
0b
Counts
49 → 4
Alt Table
StatusErrorProgram
✓4.3b
(-.f64 (/.f64 x (*.f64 y y)) 3)
4.6b
(-.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2))) 3)
▶0.1b
(-.f64 (pow.f64 (*.f64 y (/.f64 y x)) -1) 3)
✓0.1b
(-.f64 (/.f64 (/.f64 x y) y) 3)
Compiler

Compiled 612 to 313 computations (48.9% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 y (/.f64 y x))
✓0.5b
(pow.f64 (*.f64 y (/.f64 y x)) -1)

series43.0ms (2.1%)

Counts
2 → 48
Calls

12 calls:

9.0ms
(pow.f64 (*.f64 y (/.f64 y x)) -1)
x
-inf
9.0ms
(pow.f64 (*.f64 y (/.f64 y x)) -1)
x
inf
6.0ms
(pow.f64 (*.f64 y (/.f64 y x)) -1)
x
0
3.0ms
(*.f64 y (/.f64 y x))
x
-inf
3.0ms
(pow.f64 (*.f64 y (/.f64 y x)) -1)
y
-inf

rewrite41.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
700×log1p-expm1-u_binary64
700×expm1-log1p-u_binary64
130×expm1-udef_binary64
130×log1p-udef_binary64
75×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0717
115014
2194914
Stop Event
1×node limit
Counts
2 → 50

simplify57.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
434×unswap-sqr_binary64
423×associate-*r/_binary64
396×associate-/r/_binary64
341×associate-/l/_binary64
328×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07336
112336
222336
340336
491336
5280336
61113336
73110336
83912336
94097336
104313336
114639336
Stop Event
1×node limit
Counts
98 → 54

prune37.0ms (1.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New54054
Fresh011
Picked011
Done022
Total54458
Error
0b
Counts
58 → 4
Alt Table
StatusErrorProgram
✓4.3b
(-.f64 (/.f64 x (*.f64 y y)) 3)
▶4.6b
(-.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2))) 3)
✓0.1b
(-.f64 (pow.f64 (*.f64 y (/.f64 y x)) -1) 3)
✓0.1b
(-.f64 (/.f64 (/.f64 x y) y) 3)
Compiler

Compiled 672 to 367 computations (45.4% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(pow.f64 (cbrt.f64 x) 2)
✓0.6b
(cbrt.f64 x)
✓2.8b
(*.f64 (cbrt.f64 x) (pow.f64 y -2))
✓5.0b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2)))

series168.0ms (8.4%)

Counts
4 → 36
Calls

18 calls:

54.0ms
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2)))
x
-inf
17.0ms
(pow.f64 (cbrt.f64 x) 2)
x
-inf
15.0ms
(*.f64 (cbrt.f64 x) (pow.f64 y -2))
y
inf
15.0ms
(*.f64 (cbrt.f64 x) (pow.f64 y -2))
y
0
15.0ms
(*.f64 (cbrt.f64 x) (pow.f64 y -2))
y
-inf

rewrite48.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
770×log1p-expm1-u_binary64
770×expm1-log1p-u_binary64
160×log1p-udef_binary64
95×add-sqr-sqrt_binary64
89×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01025
120525
2226825
Stop Event
1×node limit
Counts
4 → 72

simplify71.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
515×*-commutative_binary64
386×associate-/l*_binary64
336×associate-*l*_binary64
333×associate-/r*_binary64
301×unswap-sqr_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
011312
125276
253276
3148276
4647276
53169276
63756276
73909276
84086276
94287276
104562276
Stop Event
1×node limit
Counts
108 → 76

prune70.0ms (3.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New99099
Fresh000
Picked011
Done033
Total994103
Error
0b
Counts
103 → 4
Alt Table
StatusErrorProgram
✓4.3b
(-.f64 (/.f64 x (*.f64 y y)) 3)
✓4.6b
(-.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (pow.f64 y -2))) 3)
✓0.1b
(-.f64 (pow.f64 (*.f64 y (/.f64 y x)) -1) 3)
✓0.1b
(-.f64 (/.f64 (/.f64 x y) y) 3)
Compiler

Compiled 1563 to 1024 computations (34.5% saved)

regimes87.0ms (4.3%)

Accuracy

Total 0.1b remaining (80.3%)

Threshold costs 0.1b (80.3%)

Counts
19 → 1
Compiler

Compiled 1175 to 857 computations (27.1% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21110
Stop Event
1×saturated

end56.0ms (2.8%)

Stop Event
1×done
Compiler

Compiled 62 to 43 computations (30.6% saved)

Profiling

Loading profile data...