Details

Time bar (total: 1.8s)

analyze104.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 8 to 5 computations (37.5% saved)

sample782.0ms (44.6%)

Results
715.0ms8256×body128valid
47.0ms396×body128invalid
Compiler

Compiled 16 to 10 computations (37.5% saved)

preprocess23.0ms (1.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
11114
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 7 to 4 computations (42.9% saved)

simplify7.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
057
177
Stop Event
1×saturated
Counts
1 → 1

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 12 computations (42.9% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series24.0ms (1.4%)

Counts
1 → 24
Calls

6 calls:

8.0ms
(/.f64 x (*.f64 y y))
x
inf
7.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

rewrite41.0ms (2.4%)

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

simplify65.0ms (3.7%)

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

prune48.0ms (2.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New65570
Fresh000
Picked011
Done000
Total65671
Error
0.0b
Counts
71 → 6
Alt Table
StatusErrorProgram
✓8.0b
(/.f64 x (*.f64 y y))
26.4b
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y -2)) 3))
8.0b
(*.f64 x (pow.f64 y -2))
0.5b
(pow.f64 (/.f64 y (/.f64 x y)) -1)
29.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
▶0.2b
(*.f64 (/.f64 x y) (/.f64 1 y))
Compiler

Compiled 922 to 562 computations (39% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series21.0ms (1.2%)

Counts
1 → 24
Calls

6 calls:

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

rewrite42.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
665×log1p-expm1-u_binary64
665×expm1-log1p-u_binary64
121×expm1-udef_binary64
121×log1p-udef_binary64
112×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
11467
219387
Stop Event
1×node limit
Counts
1 → 44

simplify61.0ms (3.5%)

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
68 → 45

prune29.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New44145
Fresh134
Picked011
Done011
Total45651
Error
0b
Counts
51 → 6
Alt Table
StatusErrorProgram
8.0b
(*.f64 x (pow.f64 y -2))
▶0.2b
(/.f64 (/.f64 1 y) (/.f64 y x))
✓8.0b
(/.f64 x (*.f64 y y))
0.5b
(pow.f64 (/.f64 y (/.f64 x y)) -1)
29.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
✓0.2b
(*.f64 (/.f64 x y) (/.f64 1 y))
Compiler

Compiled 449 to 245 computations (45.4% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series22.0ms (1.2%)

Counts
1 → 24
Calls

6 calls:

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

rewrite39.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
753×log1p-expm1-u_binary64
753×expm1-log1p-u_binary64
75×add-sqr-sqrt_binary64
70×add-cbrt-cube_binary64
69×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
11527
221517
Stop Event
1×node limit
Counts
1 → 42

simplify67.0ms (3.8%)

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

prune33.0ms (1.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New44044
Fresh033
Picked011
Done022
Total44650
Error
0b
Counts
50 → 6
Alt Table
StatusErrorProgram
8.0b
(*.f64 x (pow.f64 y -2))
✓0.2b
(/.f64 (/.f64 1 y) (/.f64 y x))
✓8.0b
(/.f64 x (*.f64 y y))
▶0.5b
(pow.f64 (/.f64 y (/.f64 x y)) -1)
29.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
✓0.2b
(*.f64 (/.f64 x y) (/.f64 1 y))
Compiler

Compiled 520 to 328 computations (36.9% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series46.0ms (2.6%)

Counts
2 → 48
Calls

12 calls:

8.0ms
(pow.f64 (/.f64 y (/.f64 x y)) -1)
x
-inf
7.0ms
(/.f64 y (/.f64 x y))
y
inf
6.0ms
(pow.f64 (/.f64 y (/.f64 x y)) -1)
x
inf
6.0ms
(pow.f64 (/.f64 y (/.f64 x y)) -1)
x
0
5.0ms
(pow.f64 (/.f64 y (/.f64 x y)) -1)
y
inf

rewrite46.0ms (2.6%)

Algorithm
1×batch-egg-rewrite
Rules
736×log1p-expm1-u_binary64
736×expm1-log1p-u_binary64
130×log1p-udef_binary64
89×egg-rr
76×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0717
115214
2207814
Stop Event
1×node limit
Counts
2 → 89

simplify60.0ms (3.4%)

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
137 → 91

prune50.0ms (2.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New91091
Fresh022
Picked011
Done033
Total91697
Error
0b
Counts
97 → 6
Alt Table
StatusErrorProgram
8.0b
(*.f64 x (pow.f64 y -2))
✓0.2b
(/.f64 (/.f64 1 y) (/.f64 y x))
✓8.0b
(/.f64 x (*.f64 y y))
✓0.5b
(pow.f64 (/.f64 y (/.f64 x y)) -1)
29.0b
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
✓0.2b
(*.f64 (/.f64 x y) (/.f64 1 y))
Compiler

Compiled 1047 to 434 computations (58.5% saved)

regimes61.0ms (3.5%)

Accuracy

Total 0.2b remaining (90.9%)

Threshold costs 0.2b (90.9%)

Counts
15 → 1
Compiler

Compiled 676 to 454 computations (32.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
Stop Event
1×saturated

end57.0ms (3.2%)

Stop Event
1×fuel
Compiler

Compiled 63 to 41 computations (34.9% saved)

Profiling

Loading profile data...