Details

Time bar (total: 1.7s)

analyze98.0ms (5.6%)

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)

sample772.0ms (44.4%)

Results
746.0ms8256×body128valid
13.0ms156×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess15.0ms (0.8%)

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

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
9.7b
(*.f64 x (*.f64 3 (*.f64 y y)))
▶0.2b
(*.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.2b
(*.f64 (*.f64 x 3) y)
✓0.2b
(*.f64 (*.f64 (*.f64 x 3) y) y)

series14.0ms (0.8%)

Counts
2 → 48
Calls

12 calls:

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

rewrite39.0ms (2.3%)

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

simplify92.0ms (5.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010408
123408
245408
384408
4235408
5775408
61014408
71428408
81528408
91663408
101835408
112078408
122393408
132763408
143220408
153805408
164517408
Stop Event
1×node limit
Counts
84 → 40

prune31.0ms (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New33740
Fresh101
Picked101
Done000
Total35742
Error
0.0b
Counts
42 → 7
Alt Table
StatusErrorProgram
25.7b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2) y)
32.7b
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x (*.f64 3 y)) 3)))
31.5b
(pow.f64 (*.f64 (sqrt.f64 (*.f64 x 3)) y) 2)
9.7b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
▶0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
9.8b
(*.f64 3 (*.f64 (pow.f64 y 2) x))
Compiler

Compiled 598 to 416 computations (30.4% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series20.0ms (1.1%)

Counts
2 → 24
Calls

12 calls:

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

rewrite44.0ms (2.5%)

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

simplify74.0ms (4.2%)

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

prune28.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New34236
Fresh246
Picked011
Done000
Total36743
Error
0.0b
Counts
43 → 7
Alt Table
StatusErrorProgram
25.7b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2) y)
22.6b
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y (*.f64 y x))) 3))
▶0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
9.7b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
9.8b
(*.f64 3 (*.f64 (pow.f64 y 2) x))
Compiler

Compiled 547 to 339 computations (38% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series23.0ms (1.3%)

Counts
2 → 48
Calls

12 calls:

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

rewrite42.0ms (2.4%)

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

simplify89.0ms (5.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
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

prune27.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh055
Picked011
Done011
Total38745
Error
0.0b
Counts
45 → 7
Alt Table
StatusErrorProgram
25.7b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2) y)
22.6b
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y (*.f64 y x))) 3))
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
9.7b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
▶0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
9.8b
(*.f64 3 (*.f64 (pow.f64 y 2) x))
Compiler

Compiled 549 to 294 computations (46.4% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (1%)

Counts
2 → 48
Calls

12 calls:

4.0ms
(*.f64 (*.f64 x (*.f64 3 y)) y)
y
0
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

simplify83.0ms (4.7%)

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

prune28.0ms (1.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New39140
Fresh134
Picked011
Done022
Total40747
Error
0.0b
Counts
47 → 7
Alt Table
StatusErrorProgram
9.7b
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
25.7b
(*.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2) y)
✓0.2b
(*.f64 3 (*.f64 y (*.f64 y x)))
9.7b
(+.f64 0 (*.f64 x (*.f64 (*.f64 3 y) y)))
✓0.2b
(*.f64 (*.f64 x (*.f64 3 y)) y)
✓0.2b
(*.f64 (*.f64 3 (*.f64 y x)) y)
9.8b
(*.f64 3 (*.f64 (pow.f64 y 2) x))
Compiler

Compiled 522 to 355 computations (32% saved)

regimes61.0ms (3.5%)

Accuracy

Total 0.2b remaining (88.3%)

Threshold costs 0.2b (88.3%)

Counts
13 → 1
Compiler

Compiled 605 to 442 computations (26.9% 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

end74.0ms (4.2%)

Stop Event
1×fuel
Compiler

Compiled 88 to 62 computations (29.5% saved)

Profiling

Loading profile data...