Details

Time bar (total: 1.7s)

analyze83.0ms (4.8%)

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)

sample672.0ms (39.1%)

Results
652.0ms8256×body128valid
7.0ms95×body128invalid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess17.0ms (1%)

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)

simplify7.0ms (0.4%)

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.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.3b
(*.f64 x (*.f64 x (*.f64 3 y)))
11.1b
(*.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.3b
(*.f64 x (*.f64 3 y))

series13.0ms (0.8%)

Counts
2 → 48
Calls

12 calls:

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

rewrite38.0ms (2.2%)

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

simplify99.0ms (5.8%)

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

prune32.0ms (1.9%)

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.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
✓0.3b
(*.f64 x (*.f64 x (*.f64 3 y)))
34.9b
(pow.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) 2)
0.9b
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
16.5b
(*.f64 x (cbrt.f64 (pow.f64 (*.f64 y (*.f64 x 3)) 3)))
▶0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
11.1b
(*.f64 y (*.f64 3 (*.f64 x x)))
11.1b
(*.f64 3 (*.f64 y (pow.f64 x 2)))
Compiler

Compiled 603 to 429 computations (28.9% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series14.0ms (0.8%)

Counts
2 → 48
Calls

12 calls:

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

rewrite41.0ms (2.4%)

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
2221917
Stop Event
1×node limit
Counts
2 → 54

simplify82.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
599×sqr-pow_binary64
406×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
4237408
5812408
61050408
71464408
81564408
91697408
101869408
112112408
122427408
132797408
143256408
153837408
164547408
Stop Event
1×node limit
Counts
102 → 58

prune44.0ms (2.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New58058
Fresh066
Picked011
Done011
Total58866
Error
0.0b
Counts
66 → 8
Alt Table
StatusErrorProgram
▶0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
✓0.3b
(*.f64 x (*.f64 x (*.f64 3 y)))
34.9b
(pow.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) 2)
0.9b
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
16.5b
(*.f64 x (cbrt.f64 (pow.f64 (*.f64 y (*.f64 x 3)) 3)))
✓0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
11.1b
(*.f64 y (*.f64 3 (*.f64 x x)))
11.1b
(*.f64 3 (*.f64 y (pow.f64 x 2)))
Compiler

Compiled 914 to 653 computations (28.6% 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))

series13.0ms (0.8%)

Counts
2 → 24
Calls

12 calls:

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

rewrite36.0ms (2.1%)

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

simplify69.0ms (4%)

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

prune28.0ms (1.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New36036
Fresh055
Picked011
Done022
Total36844
Error
0.0b
Counts
44 → 8
Alt Table
StatusErrorProgram
✓0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
✓0.3b
(*.f64 x (*.f64 x (*.f64 3 y)))
34.9b
(pow.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) 2)
▶0.9b
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
16.5b
(*.f64 x (cbrt.f64 (pow.f64 (*.f64 y (*.f64 x 3)) 3)))
✓0.2b
(*.f64 x (+.f64 0 (*.f64 y (*.f64 x 3))))
11.1b
(*.f64 y (*.f64 3 (*.f64 x x)))
11.1b
(*.f64 3 (*.f64 y (pow.f64 x 2)))
Compiler

Compiled 547 to 368 computations (32.7% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series89.0ms (5.2%)

Counts
3 → 24
Calls

18 calls:

19.0ms
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
y
-inf
12.0ms
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
x
0
9.0ms
(cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3))))
y
-inf
9.0ms
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
y
inf
6.0ms
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y (*.f64 x 3)))) 3)
x
-inf

rewrite45.0ms (2.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0932
118432
2208532
Stop Event
1×node limit
Counts
3 → 86

simplify78.0ms (4.6%)

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
110 → 77

prune74.0ms (4.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1044108
Fresh314
Picked101
Done123
Total1097116
Error
0b
Counts
116 → 7
Alt Table
StatusErrorProgram
11.1b
(*.f64 3 (*.f64 y (pow.f64 x 2)))
0.3b
(*.f64 (*.f64 x (*.f64 x y)) 3)
✓0.3b
(*.f64 x (*.f64 3 (*.f64 y x)))
11.1b
(*.f64 (*.f64 x (*.f64 x 3)) y)
✓0.3b
(*.f64 x (*.f64 x (*.f64 3 y)))
0.8b
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 (*.f64 x y))))
0.2b
(*.f64 (*.f64 x 3) (*.f64 x y))
Compiler

Compiled 1639 to 1076 computations (34.4% saved)

regimes53.0ms (3.1%)

Accuracy

Total 0.2b remaining (93%)

Threshold costs 0.2b (93%)

Counts
14 → 1
Compiler

Compiled 640 to 448 computations (30% 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

end66.0ms (3.8%)

Stop Event
1×fuel
Compiler

Compiled 87 to 59 computations (32.2% saved)

Profiling

Loading profile data...