Details

Time bar (total: 1.7s)

analyze51.0ms (3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
68.7%31.2%0.1%6
71.8%21.9%6.3%7
76.5%17.2%6.3%8
78.8%11.7%9.5%9
81.6%9%9.5%10
82.9%6%11%11
84.4%4.6%11%12
85.1%3.1%11.8%13
85.9%2.3%11.8%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample804.0ms (47%)

Results
662.0ms8256×body128valid
119.0ms1418×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess15.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
28×associate-*l*_binary64
25×associate-*r*_binary64
12×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12420
25220
38820
48820
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify13.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
13×associate-*l*_binary64
11×associate-*r*_binary64
10×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11410
22910
34610
44710
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.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
10.2b
(*.f64 x (*.f64 3 (*.f64 y y)))
▶0.5b
(*.f64 (*.f64 (*.f64 x 3) y) y)
Compiler

Compiled 52 to 34 computations (34.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.4b
(*.f64 (*.f64 x 3) y)

series13.0ms (0.8%)

Counts
2 → 48
Calls

12 calls:

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

rewrite48.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
608×log1p-expm1-u_binary64
608×expm1-log1p-u_binary64
377×log-prod_binary64
126×expm1-udef_binary64
126×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114217
2168317
Stop Event
1×node limit
Counts
2 → 36

simplify82.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
599×sqr-pow_binary64
404×fabs-mul_binary64
386×cube-prod_binary64
381×pow-sqr_binary64
295×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010408
123408
245408
384408
4235408
5835408
61081408
71495408
81595408
91728408
101897408
112142408
122455408
132825408
143284408
153867408
164575408
Stop Event
1×node limit
Counts
84 → 40

prune33.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New34640
Fresh101
Picked011
Done000
Total35742
Error
0.0b
Counts
42 → 7
Alt Table
StatusErrorProgram
32.0b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
10.2b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
37.1b
(*.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 x 3) 3) (pow.f64 y 3))) y)
27.7b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2) y)
0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
▶0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.5b
(*.f64 (*.f64 (*.f64 x 3) y) y)
Compiler

Compiled 589 to 407 computations (30.9% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.9%)

Counts
2 → 48
Calls

12 calls:

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

rewrite36.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
623×log1p-expm1-u_binary64
623×expm1-log1p-u_binary64
388×log-prod_binary64
128×expm1-udef_binary64
128×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114317
2172017
Stop Event
1×node limit
Counts
2 → 36

simplify92.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
599×sqr-pow_binary64
404×fabs-mul_binary64
386×cube-prod_binary64
381×pow-sqr_binary64
295×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010408
123408
245408
384408
4235408
5835408
61081408
71495408
81595408
91728408
101897408
112142408
122455408
132825408
143284408
153867408
164575408
Stop Event
1×node limit
Counts
84 → 40

prune27.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New39140
Fresh235
Picked011
Done011
Total41647
Error
0.0b
Counts
47 → 6
Alt Table
StatusErrorProgram
32.0b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
10.2b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
▶0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.5b
(*.f64 (*.f64 (*.f64 x 3) y) y)
28.0b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 y (*.f64 x 3))) 2) y)
Compiler

Compiled 554 to 379 computations (31.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series18.0ms (1.1%)

Counts
2 → 48
Calls

12 calls:

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

rewrite36.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
610×log1p-expm1-u_binary64
610×expm1-log1p-u_binary64
379×log-prod_binary64
126×expm1-udef_binary64
126×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114217
2168717
Stop Event
1×node limit
Counts
2 → 34

simplify83.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
775×sqr-pow_binary64
402×fabs-mul_binary64
386×cube-prod_binary64
381×pow-sqr_binary64
256×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08408
117408
237408
382408
4216408
5710408
6966408
71380408
81480408
91613408
101782408
112025408
122338408
132710408
143169408
153748408
164458408
Stop Event
1×node limit
Counts
82 → 38

prune24.0ms (1.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New38038
Fresh033
Picked011
Done022
Total38644
Error
0.0b
Counts
44 → 6
Alt Table
StatusErrorProgram
32.0b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
▶10.2b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.5b
(*.f64 (*.f64 (*.f64 x 3) y) y)
28.0b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 y (*.f64 x 3))) 2) y)
Compiler

Compiled 518 to 272 computations (47.5% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 3 y) y)
✓9.8b
(*.f64 x (*.f64 (*.f64 3 y) y))

series12.0ms (0.7%)

Counts
2 → 36
Calls

9 calls:

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

rewrite40.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
612×log1p-expm1-u_binary64
612×expm1-log1p-u_binary64
378×log-prod_binary64
126×expm1-udef_binary64
126×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114217
2169317
Stop Event
1×node limit
Counts
2 → 36

simplify86.0ms (5%)

Algorithm
1×egg-herbie
Rules
599×sqr-pow_binary64
408×fabs-mul_binary64
386×cube-prod_binary64
381×pow-sqr_binary64
281×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09324
118324
239324
391324
4241324
5798324
61038324
71452324
81552324
91687324
101859324
112102324
122417324
132787324
143246324
153833324
164541324
Stop Event
1×node limit
Counts
72 → 40

prune30.0ms (1.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New40040
Fresh022
Picked011
Done033
Total40646
Error
0.0b
Counts
46 → 6
Alt Table
StatusErrorProgram
32.0b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
✓10.2b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.5b
(*.f64 (*.f64 (*.f64 x 3) y) y)
28.0b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 y (*.f64 x 3))) 2) y)
Compiler

Compiled 589 to 403 computations (31.6% saved)

regimes58.0ms (3.4%)

Accuracy

Total 0.2b remaining (87.9%)

Threshold costs 0.2b (87.9%)

Counts
12 → 1
Compiler

Compiled 587 to 430 computations (26.7% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
Stop Event
1×saturated

end71.0ms (4.2%)

Stop Event
1×fuel
Compiler

Compiled 78 to 55 computations (29.5% saved)

Profiling

Loading profile data...