Details

Time bar (total: 3.8s)

analyze1.0s (26.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
9.4%90.4%0.2%10
18.7%70.2%11.1%11
21.1%66.7%12.3%12
31.6%55.9%12.5%13
34.5%52.3%13.2%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (31.7%)

Results
957.0ms8256×body128valid
227.0ms1889×body128invalid
Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess22.0ms (0.6%)

Algorithm
2×egg-herbie
Rules
156×fma-def_binary64
36×+-commutative_binary64
19×associate-+r+_binary64
19×associate-+l+_binary64
14×distribute-lft-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03263
17363
212763
324163
434763
044
Stop Event
1×saturated
1×saturated
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
22×fma-def_binary64
7×+-commutative_binary64
4×associate-+r+_binary64
4×associate-+l+_binary64
3×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1159
2259
3489
4659
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 y (fma.f64 x y z) t)
Compiler

Compiled 42 to 22 computations (47.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y (fma.f64 x y z) t)

series18.0ms (0.5%)

Counts
1 → 48
Calls

12 calls:

6.0ms
(fma.f64 y (fma.f64 x y z) t)
z
inf
1.0ms
(fma.f64 y (fma.f64 x y z) t)
t
inf
1.0ms
(fma.f64 y (fma.f64 x y z) t)
t
-inf
1.0ms
(fma.f64 y (fma.f64 x y z) t)
t
0
1.0ms
(fma.f64 y (fma.f64 x y z) t)
z
-inf

rewrite38.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
622×log1p-expm1-u_binary64
622×expm1-log1p-u_binary64
326×log-prod_binary64
131×expm1-udef_binary64
131×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
11389
216639
Stop Event
1×node limit
Counts
1 → 29

simplify77.0ms (2%)

Algorithm
1×egg-herbie
Rules
527×associate-*l*_binary64
513×fma-def_binary64
434×unswap-sqr_binary64
370×sqr-pow_binary64
304×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
014554
131486
250483
394378
4203378
5519378
61743378
73082378
83288378
93502378
103722378
114033378
124433378
134943378
Stop Event
1×node limit
Counts
77 → 42

prune25.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New39342
Fresh000
Picked011
Done000
Total39443
Error
0.0b
Counts
43 → 4
Alt Table
StatusErrorProgram
4.8b
(+.f64 (*.f64 y z) (+.f64 t (*.f64 (pow.f64 y 2) x)))
26.8b
(pow.f64 (sqrt.f64 (fma.f64 y (fma.f64 y x z) t)) 2)
▶1.4b
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
✓0.1b
(fma.f64 y (fma.f64 x y z) t)
Compiler

Compiled 571 to 185 computations (67.6% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 y (fma.f64 y x z) t)
✓0.6b
(cbrt.f64 (fma.f64 y (fma.f64 y x z) t))
✓0.7b
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)

series763.0ms (20.1%)

Counts
3 → 80
Calls

36 calls:

269.0ms
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
z
0
221.0ms
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
t
0
166.0ms
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
y
0
21.0ms
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
x
0
10.0ms
(cbrt.f64 (fma.f64 y (fma.f64 y x z) t))
x
0

rewrite49.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
790×log1p-expm1-u_binary64
790×expm1-log1p-u_binary64
128×prod-diff_binary64
91×add-sqr-sqrt_binary64
85×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01029
119929
2216429
Stop Event
1×node limit
Counts
3 → 80

simplify66.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
514×cancel-sign-sub-inv_binary64
447×unswap-sqr_binary64
302×associate-*r*_binary64
264×associate-*l*_binary64
201×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02323248
17853000
228122930
Stop Event
1×node limit
Counts
160 → 114

prune78.0ms (2.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1131114
Fresh112
Picked011
Done011
Total1144118
Error
0.0b
Counts
118 → 4
Alt Table
StatusErrorProgram
▶4.8b
(+.f64 (*.f64 y z) (+.f64 t (*.f64 (pow.f64 y 2) x)))
✓1.4b
(pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 y x z) t)) 3)
37.2b
(fma.f64 (*.f64 y y) x (*.f64 y z))
✓0.1b
(fma.f64 y (fma.f64 x y z) t)
Compiler

Compiled 3917 to 2013 computations (48.6% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓9.6b
(*.f64 (pow.f64 y 2) x)

series8.0ms (0.2%)

Counts
1 → 0
Calls

6 calls:

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

rewrite28.0ms (0.7%)

Algorithm
1×batch-egg-rewrite
Rules
461×log1p-expm1-u_binary64
461×expm1-log1p-u_binary64
320×unpow-prod-down_binary64
254×log-prod_binary64
142×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11217
213357
Stop Event
1×node limit
Counts
1 → 17

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
17 → 17

prune15.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New14317
Fresh101
Picked011
Done202
Total17421
Error
0.0b
Counts
21 → 4
Alt Table
StatusErrorProgram
✓4.8b
(+.f64 (*.f64 y z) (+.f64 t (*.f64 (pow.f64 y 2) x)))
37.5b
(+.f64 (*.f64 y z) (+.f64 t (sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))))
30.8b
(+.f64 (*.f64 y z) (+.f64 t (pow.f64 (*.f64 y (sqrt.f64 x)) 2)))
▶0.1b
(+.f64 (*.f64 y z) (+.f64 t (+.f64 0 (*.f64 y (*.f64 y x)))))
Compiler

Compiled 370 to 172 computations (53.5% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.2%)

Counts
1 → 24
Calls

6 calls:

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

rewrite28.0ms (0.7%)

Algorithm
1×batch-egg-rewrite
Rules
431×log1p-expm1-u_binary64
431×expm1-log1p-u_binary64
371×unpow-prod-down_binary64
274×log-prod_binary64
181×pow-prod-down_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1997
212057
Stop Event
1×node limit
Counts
1 → 17

simplify60.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
605×sqr-pow_binary64
448×associate-*l*_binary64
434×unswap-sqr_binary64
281×cube-prod_binary64
277×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
112168
223168
344168
4105168
5314168
61257168
72131168
82295168
92479168
102687168
112979168
123372168
133852168
144415168
Stop Event
1×node limit
Counts
41 → 19

prune13.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New19019
Fresh022
Picked011
Done011
Total19423
Error
0.0b
Counts
23 → 4
Alt Table
StatusErrorProgram
✓4.8b
(+.f64 (*.f64 y z) (+.f64 t (*.f64 (pow.f64 y 2) x)))
37.5b
(+.f64 (*.f64 y z) (+.f64 t (sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))))
30.8b
(+.f64 (*.f64 y z) (+.f64 t (pow.f64 (*.f64 y (sqrt.f64 x)) 2)))
✓0.1b
(+.f64 (*.f64 y z) (+.f64 t (+.f64 0 (*.f64 y (*.f64 y x)))))
Compiler

Compiled 380 to 183 computations (51.8% saved)

regimes174.0ms (4.6%)

Accuracy

Total 0.0b remaining (52.2%)

Threshold costs 0.0b (52.2%)

Counts
27 → 1
Compiler

Compiled 2152 to 1385 computations (35.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
3×*-commutative_binary64
1×+-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01216
11916
Stop Event
1×saturated

end61.0ms (1.6%)

Stop Event
1×fuel
Compiler

Compiled 95 to 62 computations (34.7% saved)

Profiling

Loading profile data...