Details

Time bar (total: 2.4s)

analyze85.0ms (3.5%)

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%50%12.6%6
50%37.5%12.6%7
56.2%25%18.8%8
62.4%18.7%18.8%9
65.6%12.5%22%10
68.7%9.4%22%11
70.2%6.2%23.5%12
71.8%4.7%23.5%13
72.6%3.1%24.3%14
Compiler

Compiled 10 to 7 computations (30% saved)

sample716.0ms (30%)

Results
697.0ms8256×body128valid
8.0ms100×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess20.0ms (0.8%)

Algorithm
2×egg-herbie
Rules
24×associate-*l*_binary64
21×associate-*r*_binary64
8×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12220
25020
37320
47420
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
15×associate-*l*_binary64
13×associate-*r*_binary64
8×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
22710
34510
44810
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

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.5b
(*.f64 x (*.f64 x (*.f64 3 y)))
9.0b
(*.f64 (*.f64 (*.f64 x 3) x) 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 x (*.f64 x (*.f64 3 y)))
✓0.4b
(*.f64 x (*.f64 3 y))

series14.0ms (0.6%)

Counts
2 → 48
Calls

12 calls:

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

rewrite37.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
609×log1p-expm1-u_binary64
609×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
2168617
Stop Event
1×node limit
Counts
2 → 36

simplify80.0ms (3.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010408
122408
245408
387408
4235408
5779408
61012408
71426408
81526408
91661408
101830408
112075408
122390408
132762408
143219408
153802408
164508408
Stop Event
1×node limit
Counts
84 → 40

prune30.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New33740
Fresh101
Picked011
Done000
Total34842
Error
0.0b
Counts
42 → 8
Alt Table
StatusErrorProgram
✓0.5b
(*.f64 x (*.f64 x (*.f64 3 y)))
9.0b
(*.f64 3 (*.f64 y (pow.f64 x 2)))
26.9b
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 3))
28.2b
(*.f64 x (pow.f64 (sqrt.f64 (*.f64 y (*.f64 x 3))) 2))
0.9b
(*.f64 x (pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3))
▶0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
9.0b
(*.f64 y (*.f64 3 (*.f64 x x)))
0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
Compiler

Compiled 607 to 431 computations (29% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series14.0ms (0.6%)

Counts
2 → 48
Calls

12 calls:

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

rewrite39.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
729×log1p-expm1-u_binary64
729×expm1-log1p-u_binary64
133×log1p-udef_binary64
82×add-sqr-sqrt_binary64
79×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0917
119517
2221517
Stop Event
1×node limit
Counts
2 → 54

simplify82.0ms (3.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010408
122408
245408
387408
4235408
5779408
61012408
71426408
81526408
91661408
101830408
112075408
122390408
132762408
143219408
153802408
164508408
Stop Event
1×node limit
Counts
102 → 58

prune46.0ms (1.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New57158
Fresh246
Picked011
Done011
Total59766
Error
0.0b
Counts
66 → 7
Alt Table
StatusErrorProgram
26.9b
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 3))
0.9b
(*.f64 x (pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3))
✓0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
9.0b
(*.f64 y (*.f64 3 (*.f64 x x)))
✓0.5b
(*.f64 x (*.f64 x (*.f64 3 y)))
▶0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
27.9b
(/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 2)) x) (neg.f64 (*.f64 3 (*.f64 y x))))
Compiler

Compiled 914 to 610 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.7%)

Counts
2 → 24
Calls

12 calls:

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

rewrite34.0ms (1.4%)

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

Useful iterations: 0 (0.0ms)

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

simplify77.0ms (3.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
08240
117240
237240
379240
4208240
5713240
6971240
71385240
81485240
91618240
101790240
112033240
122348240
132718240
143174240
153757240
164465240
Stop Event
1×node limit
Counts
58 → 36

prune27.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New36036
Fresh044
Picked011
Done022
Total36743
Error
0.0b
Counts
43 → 7
Alt Table
StatusErrorProgram
26.9b
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 3))
▶0.9b
(*.f64 x (pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3))
✓0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
9.0b
(*.f64 y (*.f64 3 (*.f64 x x)))
✓0.5b
(*.f64 x (*.f64 x (*.f64 3 y)))
✓0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
27.9b
(/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 2)) x) (neg.f64 (*.f64 3 (*.f64 y x))))
Compiler

Compiled 547 to 364 computations (33.5% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series759.0ms (31.8%)

Counts
3 → 72
Calls

18 calls:

76.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3)
x
-inf
69.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3)
y
-inf
61.0ms
(cbrt.f64 (*.f64 y (*.f64 x 3)))
y
-inf
60.0ms
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 x 3))) 3)
y
inf
58.0ms
(cbrt.f64 (*.f64 y (*.f64 x 3)))
y
0

rewrite44.0ms (1.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
118326
2202826
Stop Event
1×node limit
Counts
3 → 80

simplify49.0ms (2%)

Algorithm
1×egg-herbie
Rules
452×unswap-sqr_binary64
331×associate-*l*_binary64
278×associate-*r*_binary64
233×unsub-neg_binary64
195×exp-sum_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0541176
11351176
23331128
3947720
43063720
Stop Event
1×node limit
Counts
152 → 95

prune77.0ms (3.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1251126
Fresh123
Picked101
Done123
Total1285133
Error
0.0b
Counts
133 → 5
Alt Table
StatusErrorProgram
0.2b
(*.f64 3 (*.f64 x (*.f64 x y)))
27.9b
(/.f64 (*.f64 (neg.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 2)) x) (neg.f64 (*.f64 3 (*.f64 y x))))
✓0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
9.0b
(*.f64 y (*.f64 3 (*.f64 x x)))
✓0.5b
(*.f64 x (*.f64 x (*.f64 3 y)))
Compiler

Compiled 1798 to 1262 computations (29.8% saved)

regimes57.0ms (2.4%)

Accuracy

Total 0.2b remaining (88.5%)

Threshold costs 0.2b (88.5%)

Counts
17 → 1
Compiler

Compiled 768 to 546 computations (28.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

end55.0ms (2.3%)

Stop Event
1×fuel
Compiler

Compiled 75 to 51 computations (32% saved)

Profiling

Loading profile data...