Details

Time bar (total: 1.8s)

analyze100.0ms (5.7%)

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
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample796.0ms (45.4%)

Results
747.0ms8256×body128valid
16.0ms196×body128invalid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify8.0ms (0.5%)

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.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
8.4b
(*.f64 x (*.f64 3 (*.f64 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.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 (*.f64 x 3) y)

series16.0ms (0.9%)

Counts
2 → 48
Calls

2 calls:

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

rewrite42.0ms (2.4%)

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
Calls

2 calls:

42.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
42.0ms
(*.f64 (*.f64 x 3) y)

simplify89.0ms (5.1%)

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.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New36440
Fresh011
Picked011
Done000
Total36642
Error
0.0b
Counts
42 → 6
Alt Table
StatusErrorProgram
30.9b
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x (*.f64 3 y)) 3)))
33.5b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
8.4b
(*.f64 x (*.f64 3 (*.f64 y y)))
Compiler

Compiled 561 to 385 computations (31.4% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series15.0ms (0.9%)

Counts
2 → 24
Calls

2 calls:

11.0ms
(*.f64 (*.f64 3 (*.f64 y x)) y)
4.0ms
(*.f64 3 (*.f64 y x))

rewrite35.0ms (2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
114317
2171817
Stop Event
1×node limit
Counts
2 → 34
Calls

2 calls:

34.0ms
(*.f64 (*.f64 3 (*.f64 y x)) y)
34.0ms
(*.f64 3 (*.f64 y x))

simplify71.0ms (4.1%)

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
08240
117240
237240
382240
4216240
5710240
6966240
71380240
81480240
91613240
101782240
112025240
122338240
132710240
143169240
153748240
164458240
Stop Event
1×node limit
Counts
58 → 36

prune27.0ms (1.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New35136
Fresh134
Picked011
Done011
Total36642
Error
0.0b
Counts
42 → 6
Alt Table
StatusErrorProgram
30.9b
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x (*.f64 3 y)) 3)))
▶0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
8.4b
(*.f64 x (*.f64 3 (*.f64 y y)))
0.9b
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
Compiler

Compiled 520 to 319 computations (38.7% saved)

localize4.0ms (0.3%)

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)))

series17.0ms (1%)

Counts
2 → 48
Calls

2 calls:

10.0ms
(*.f64 3 (*.f64 y (*.f64 y x)))
7.0ms
(*.f64 y (*.f64 y x))

rewrite40.0ms (2.3%)

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
Calls

2 calls:

39.0ms
(*.f64 y (*.f64 y x))
39.0ms
(*.f64 3 (*.f64 y (*.f64 y x)))

simplify79.0ms (4.5%)

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

prune26.0ms (1.5%)

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
30.9b
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x (*.f64 3 y)) 3)))
✓0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
8.4b
(*.f64 x (*.f64 3 (*.f64 y y)))
▶0.9b
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
Compiler

Compiled 522 to 274 computations (47.5% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(*.f64 y (*.f64 y x))
0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.5b
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
✓22.1b
(cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x))))

series90.0ms (5.1%)

Counts
2 → 0
Calls

2 calls:

63.0ms
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
27.0ms
(cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x))))

rewrite44.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
718×log1p-expm1-u_binary64
718×expm1-log1p-u_binary64
141×expm1-udef_binary64
141×log1p-udef_binary64
90×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
118322
2203122
Stop Event
1×node limit
Counts
2 → 67
Calls

2 calls:

43.0ms
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
43.0ms
(cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x))))

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
67 → 67

prune63.0ms (3.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1041105
Fresh022
Picked011
Done033
Total1047111
Error
0.0b
Counts
111 → 7
Alt Table
StatusErrorProgram
30.9b
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x (*.f64 3 y)) 3)))
✓0.3b
(*.f64 3 (*.f64 y (*.f64 y x)))
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)
0.2b
(*.f64 (*.f64 y x) (*.f64 3 y))
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
8.4b
(*.f64 x (*.f64 3 (*.f64 y y)))
✓0.9b
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y (*.f64 y x)))) 3)
Compiler

Compiled 1557 to 855 computations (45.1% saved)

regimes62.0ms (3.5%)

Accuracy

Total 0.2b remaining (92.1%)

Threshold costs 0.2b (92.1%)

Counts
12 → 1
Compiler

Compiled 549 to 402 computations (26.8% saved)

simplify3.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
Stop Event
1×saturated

end73.0ms (4.2%)

Compiler

Compiled 89 to 62 computations (30.3% saved)

Profiling

Loading profile data...