Details

Time bar (total: 3.7s)

analyze211.0ms (5.7%)

Algorithm
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
0%99.9%0.1%5
12.5%87.4%0.1%6
32.8%67.1%0.1%7
46%53.9%0.1%8
61.7%38.2%0.1%9
70%29.9%0.1%10
79.4%20.5%0.1%11
84.2%15.7%0.1%12
89.3%10.6%0.1%13
91.9%8%0.1%14
Compiler

Compiled 20 to 10 computations (50% saved)

sample810.0ms (22%)

Results
797.0ms8256×body128valid
Compiler

Compiled 40 to 20 computations (50% saved)

preprocess37.0ms (1%)

Algorithm
egg-herbie
Rules
378×distribute-rgt-in_binary64
350×fma-def_binary64
346×distribute-lft-in_binary64
301×associate-/l/_binary64
297×times-frac_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01650
18450
224846
374946
4297546
5459246
022
122
Stop Event
unsound
node limit
Symmetry

(sort x y)

Compiler

Compiled 19 to 9 computations (52.6% saved)

simplify36.0ms (1%)

Algorithm
egg-herbie
Rules
356×fma-def_binary64
321×distribute-rgt-out_binary64
315×distribute-rgt-in_binary64
293×associate-/l/_binary64
285×distribute-lft-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01025
13925
217323
362323
4258823
5399323
6488523
7496423
Stop Event
node limit
Counts
1 → 2

prune10.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
9.3b
Counts
3 → 2
Alt Table
StatusErrorProgram
9.6b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
19.0b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
Compiler

Compiled 109 to 48 computations (56% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
0.0b
(pow.f64 (+.f64 x y) 3)
4.9b
(/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y)
6.7b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))

series81.0ms (2.2%)

Counts
4 → 96
Calls

24 calls:

14.0ms
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
x
0
13.0ms
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
y
0
8.0ms
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
y
-inf
6.0ms
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
x
inf
5.0ms
(fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))
y
inf

rewrite63.0ms (1.7%)

Algorithm
batch-egg-rewrite
Rules
604×prod-diff_binary64
209×fma-def_binary64
184×expm1-udef_binary64
184×log1p-udef_binary64
136×egg-rr
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0967
120764
2298464
Stop Event
node limit
Counts
4 → 136

simplify84.0ms (2.3%)

Algorithm
egg-herbie
Rules
386×associate-+r+_binary64
358×fma-def_binary64
269×associate-+l+_binary64
257×+-commutative_binary64
245×times-frac_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02874127
19333822
243053795
Stop Event
node limit
Counts
232 → 228

prune231.0ms (6.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2217228
Fresh011
Picked011
Done000
Total2219230
Error
4.0b
Counts
230 → 9
Alt Table
StatusErrorProgram
9.6b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
20.9b
(*.f64 (/.f64 x 1) (/.f64 y (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (+.f64 x y) 2))))
19.0b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
28.7b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) 1) (/.f64 (cbrt.f64 x) (/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (+.f64 x y) 2)) y)))
42.3b
(/.f64 y (pow.f64 x 2))
42.0b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 (cbrt.f64 x) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
33.4b
(*.f64 (/.f64 1 (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 x (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
18.2b
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))
32.9b
(/.f64 x (+.f64 (fma.f64 (*.f64 y x) 3 (fma.f64 y y y)) (*.f64 x 2)))
Compiler

Compiled 7234 to 3983 computations (44.9% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(*.f64 (*.f64 3 x) x)
3.0b
(+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y))
5.5b
(+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x))))
12.0b
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))

series69.0ms (1.9%)

Counts
4 → 84
Calls

21 calls:

13.0ms
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))
x
0
12.0ms
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))
x
-inf
9.0ms
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))
x
inf
4.0ms
(/.f64 x (+.f64 (+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x)))) (fma.f64 (*.f64 y x) 3 y)))
y
0
4.0ms
(+.f64 (/.f64 x (/.f64 y x)) (fma.f64 y y (fma.f64 x 2 (*.f64 (*.f64 3 x) x))))
y
inf

rewrite52.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
182×add-sqr-sqrt_binary64
174×log1p-expm1-u_binary64
174×expm1-log1p-u_binary64
172×add-cbrt-cube_binary64
169×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
016102
136293
Stop Event
node limit
Counts
4 → 126

simplify72.0ms (2%)

Algorithm
egg-herbie
Rules
263×distribute-rgt-in_binary64
243×associate-+r+_binary64
232×cancel-sign-sub-inv_binary64
217×associate-/r*_binary64
212×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02323725
17623328
233493200
Stop Event
node limit
Counts
210 → 187

prune221.0ms (6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1852187
Fresh167
Picked101
Done011
Total1879196
Error
4.0b
Counts
196 → 9
Alt Table
StatusErrorProgram
19.0b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
28.7b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) 1) (/.f64 (cbrt.f64 x) (/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (+.f64 x y) 2)) y)))
32.9b
(/.f64 x (+.f64 (fma.f64 (*.f64 y x) 3 (fma.f64 y y y)) (*.f64 x 2)))
15.0b
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
42.3b
(/.f64 y (pow.f64 x 2))
46.6b
(/.f64 (/.f64 1 (+.f64 3 (/.f64 1 y))) x)
9.6b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
42.0b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 (cbrt.f64 x) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
33.4b
(*.f64 (/.f64 1 (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 x (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
Compiler

Compiled 7893 to 4448 computations (43.6% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 (*.f64 x y) 3 y)
3.0b
(+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))
4.3b
(fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y)))
12.0b
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))

series64.0ms (1.7%)

Counts
4 → 96
Calls

24 calls:

10.0ms
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
x
-inf
9.0ms
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
x
0
9.0ms
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
x
inf
6.0ms
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
y
inf
4.0ms
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
y
0

rewrite82.0ms (2.2%)

Algorithm
batch-egg-rewrite
Rules
309×log1p-udef_binary64
172×add-sqr-sqrt_binary64
164×log1p-expm1-u_binary64
164×expm1-log1p-u_binary64
162×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01597
133991
2477591
Stop Event
node limit
Counts
4 → 116

simplify74.0ms (2%)

Algorithm
egg-herbie
Rules
273×distribute-rgt-in_binary64
252×associate-+r+_binary64
232×cancel-sign-sub-inv_binary64
229×fma-def_binary64
210×associate-/r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02393836
17813433
233803276
Stop Event
node limit
Counts
212 → 183

prune202.0ms (5.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1830183
Fresh077
Picked011
Done011
Total1839192
Error
4.0b
Counts
192 → 9
Alt Table
StatusErrorProgram
19.0b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
28.7b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) 1) (/.f64 (cbrt.f64 x) (/.f64 (+.f64 (pow.f64 (+.f64 x y) 3) (pow.f64 (+.f64 x y) 2)) y)))
32.9b
(/.f64 x (+.f64 (fma.f64 (*.f64 y x) 3 (fma.f64 y y y)) (*.f64 x 2)))
15.0b
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
42.3b
(/.f64 y (pow.f64 x 2))
46.6b
(/.f64 (/.f64 1 (+.f64 3 (/.f64 1 y))) x)
9.6b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
42.0b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 (cbrt.f64 x) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
33.4b
(*.f64 (/.f64 1 (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 x (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
Compiler

Compiled 6969 to 3971 computations (43% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (+.f64 x y) (+.f64 x y))
0.1b
(*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
18.8b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

series45.0ms (1.2%)

Counts
3 → 72
Calls

18 calls:

8.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
x
0
8.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
y
0
5.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
x
-inf
4.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
y
-inf
3.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
x
inf

rewrite76.0ms (2.1%)

Algorithm
batch-egg-rewrite
Rules
647×fma-def_binary64
312×fma-neg_binary64
204×log1p-udef_binary64
202×expm1-udef_binary64
179×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01045
123845
2398645
Stop Event
node limit
Counts
3 → 179

simplify66.0ms (1.8%)

Algorithm
egg-herbie
Rules
295×fma-def_binary64
291×associate-+r+_binary64
239×cancel-sign-sub-inv_binary64
229×associate-/r*_binary64
228×times-frac_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02582982
18432847
237942817
Stop Event
node limit
Counts
251 → 245

prune236.0ms (6.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New2432245
Fresh246
Picked011
Done022
Total2459254
Error
4.0b
Counts
254 → 9
Alt Table
StatusErrorProgram
9.6b
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
24.3b
(*.f64 (/.f64 x (*.f64 (+.f64 x y) (sqrt.f64 (+.f64 x (+.f64 y 1))))) (/.f64 y (*.f64 (+.f64 x y) (sqrt.f64 (+.f64 x (+.f64 y 1))))))
32.9b
(/.f64 x (+.f64 (fma.f64 (*.f64 y x) 3 (fma.f64 y y y)) (*.f64 x 2)))
15.0b
(/.f64 x (fma.f64 x (/.f64 x y) (+.f64 (fma.f64 y y (*.f64 x (+.f64 2 (*.f64 x 3)))) (fma.f64 (*.f64 x y) 3 y))))
4.9b
(*.f64 (/.f64 x (+.f64 x y)) (/.f64 y (*.f64 (+.f64 x y) (+.f64 x (+.f64 y 1)))))
46.6b
(/.f64 (/.f64 1 (+.f64 3 (/.f64 1 y))) x)
42.0b
(*.f64 (/.f64 (cbrt.f64 (*.f64 x x)) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 (cbrt.f64 x) (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
33.4b
(*.f64 (/.f64 1 (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))) (/.f64 x (/.f64 (hypot.f64 (+.f64 x y) (pow.f64 (+.f64 x y) 3/2)) (sqrt.f64 y))))
19.0b
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
Compiler

Compiled 7145 to 3633 computations (49.2% saved)

regimes673.0ms (18.3%)

Accuracy

Total 1.1b remaining (26.9%)

Threshold costs 0b (0%)

Counts
207 → 1
Compiler

Compiled 12809 to 7709 computations (39.8% saved)

simplify2.0ms (0.1%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
*-commutative_binary64
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
11825
Stop Event
saturated

end137.0ms (3.7%)

Stop Event
fuel
Compiler

Compiled 279 to 151 computations (45.9% saved)

Profiling

Loading profile data...