Details

Time bar (total: 7.0s)

analyze2.2s (31.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 28 to 19 computations (32.1% saved)

sample2.7s (38.1%)

Results
1.4s8256×body128valid
1.2s7100×body128invalid
Compiler

Compiled 56 to 38 computations (32.1% saved)

preprocess45.0ms (0.6%)

Algorithm
2×egg-herbie
Rules
647×fma-def_binary64
618×distribute-lft-in_binary64
618×distribute-rgt-in_binary64
548×cancel-sign-sub-inv_binary64
330×associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0188754
1558696
21885696
088
188
Stop Event
1×unsound
1×node limit
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 27 to 18 computations (33.3% saved)

simplify27.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
583×fma-def_binary64
441×fma-neg_binary64
435×distribute-rgt-in_binary64
372×distribute-lft-in_binary64
298×associate-*l*_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01926
13724
210424
337124
4136824
5359524
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶1.1b
(*.f64 2 (fma.f64 z t (fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))))
4.8b
(*.f64 2 (-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (+.f64 a (*.f64 b c)) c) i)))
Compiler

Compiled 148 to 93 computations (37.2% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.1b
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))

series32.0ms (0.5%)

Counts
1 → 72
Calls

18 calls:

3.0ms
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))
b
0
2.0ms
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))
i
0
2.0ms
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))
y
-inf
2.0ms
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))
x
-inf
2.0ms
(fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))
y
0

rewrite43.0ms (0.6%)

Algorithm
1×batch-egg-rewrite
Rules
565×log-prod_binary64
270×prod-diff_binary64
207×expm1-udef_binary64
207×log1p-udef_binary64
190×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01217
124115
2301815
Stop Event
1×node limit
Counts
1 → 29

simplify53.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
573×fma-neg_binary64
455×distribute-rgt-neg-in_binary64
418×cancel-sign-sub-inv_binary64
319×distribute-lft-neg-in_binary64
233×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0341419
11011248
22441191
36101077
418051077
537241077
Stop Event
1×node limit
Counts
101 → 46

prune45.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New42446
Fresh101
Picked011
Done000
Total43548
Error
0.0b
Counts
48 → 5
Alt Table
StatusErrorProgram
9.8b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
17.9b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 c (*.f64 c (*.f64 i (neg.f64 b)))))))
✓1.1b
(*.f64 2 (fma.f64 z t (fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))))
14.4b
(*.f64 2 (fma.f64 z t (-.f64 (*.f64 y x) (*.f64 c (*.f64 i a)))))
▶4.8b
(*.f64 2 (fma.f64 z t (fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))))
Compiler

Compiled 1182 to 449 computations (62% saved)

localize16.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 c (neg.f64 (fma.f64 c b a)))
✓5.2b
(fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))

series74.0ms (1.1%)

Counts
2 → 108
Calls

27 calls:

24.0ms
(fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))
a
inf
3.0ms
(fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))
a
-inf
3.0ms
(*.f64 c (neg.f64 (fma.f64 c b a)))
c
0
3.0ms
(fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))
b
-inf
3.0ms
(fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))
b
inf

rewrite47.0ms (0.7%)

Algorithm
1×batch-egg-rewrite
Rules
565×log-prod_binary64
270×prod-diff_binary64
207×expm1-udef_binary64
207×log1p-udef_binary64
190×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01227
124123
2303723
Stop Event
1×node limit
Counts
2 → 54

simplify103.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
652×fma-neg_binary64
461×distribute-rgt-neg-in_binary64
452×cancel-sign-sub-inv_binary64
325×distribute-lft-neg-in_binary64
242×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0391821
11201668
22741584
36451416
419671416
540241416
Stop Event
1×node limit
Counts
162 → 78

prune71.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New77178
Fresh123
Picked011
Done011
Total78583
Error
0.0b
Counts
83 → 5
Alt Table
StatusErrorProgram
▶9.8b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
17.9b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 c (*.f64 c (*.f64 i (neg.f64 b)))))))
✓1.1b
(*.f64 2 (fma.f64 z t (fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))))
14.4b
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
✓4.8b
(*.f64 2 (fma.f64 z t (fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))))
Compiler

Compiled 1780 to 656 computations (63.1% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
✓0.0b
(fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))
✓3.0b
(*.f64 a (*.f64 c (neg.f64 i)))

series74.0ms (1.1%)

Counts
3 → 180
Calls

45 calls:

4.0ms
(fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))
c
-inf
3.0ms
(fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))
y
inf
3.0ms
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
x
0
3.0ms
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
t
0
3.0ms
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
c
inf

rewrite56.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
326×prod-diff_binary64
260×expm1-udef_binary64
260×log1p-udef_binary64
155×add-sqr-sqrt_binary64
142×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01542
130336
2373236
Stop Event
1×node limit
Counts
3 → 54

simplify211.0ms (3%)

Algorithm
1×egg-herbie
Rules
1103×fma-def_binary64
902×fma-neg_binary64
460×cancel-sign-sub-inv_binary64
212×distribute-rgt-neg-in_binary64
139×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0352671
1962482
22402482
35742482
49512482
514652482
622832482
730152482
837952482
941012482
1041872482
1141872482
1245392482
1345392482
1445392482
1545392482
Stop Event
1×saturated
Counts
234 → 75

prune59.0ms (0.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New75075
Fresh022
Picked011
Done022
Total75580
Error
0.0b
Counts
80 → 5
Alt Table
StatusErrorProgram
✓9.8b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
17.9b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 c (*.f64 c (*.f64 i (neg.f64 b)))))))
✓1.1b
(*.f64 2 (fma.f64 z t (fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))))
▶14.4b
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
✓4.8b
(*.f64 2 (fma.f64 z t (fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))))
Compiler

Compiled 1328 to 532 computations (59.9% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
✓5.2b
(fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))

series63.0ms (0.9%)

Counts
2 → 144
Calls

36 calls:

5.0ms
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
c
inf
4.0ms
(fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))
a
inf
4.0ms
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
a
-inf
2.0ms
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
x
-inf
2.0ms
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
z
-inf

rewrite47.0ms (0.7%)

Algorithm
1×batch-egg-rewrite
Rules
270×prod-diff_binary64
258×expm1-udef_binary64
258×log1p-udef_binary64
154×add-sqr-sqrt_binary64
141×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01533
130129
2366429
Stop Event
1×node limit
Counts
2 → 38

simplify194.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
1095×fma-def_binary64
902×fma-neg_binary64
456×cancel-sign-sub-inv_binary64
212×distribute-rgt-neg-in_binary64
139×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0352347
1972158
22412158
35742158
49482158
514592158
622712158
730022158
837812158
940872158
1041732158
1141732158
1245252158
1345252158
1445252158
1545252158
Stop Event
1×saturated
Counts
182 → 61

prune39.0ms (0.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New61061
Fresh011
Picked011
Done033
Total61566
Error
0.0b
Counts
66 → 5
Alt Table
StatusErrorProgram
✓9.8b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 a (*.f64 c (neg.f64 i))))))
17.9b
(*.f64 2 (fma.f64 z t (fma.f64 y x (*.f64 c (*.f64 c (*.f64 i (neg.f64 b)))))))
✓1.1b
(*.f64 2 (fma.f64 z t (fma.f64 (fma.f64 b c a) (*.f64 i (neg.f64 c)) (*.f64 x y))))
✓14.4b
(*.f64 2 (fma.f64 z t (fma.f64 c (*.f64 i (neg.f64 a)) (*.f64 y x))))
✓4.8b
(*.f64 2 (fma.f64 z t (fma.f64 i (*.f64 c (neg.f64 (fma.f64 c b a))) (*.f64 y x))))
Compiler

Compiled 1039 to 394 computations (62.1% saved)

regimes694.0ms (9.9%)

Accuracy

Total 1.9b remaining (97.9%)

Threshold costs 0b (0%)

Counts
43 → 1
Compiler

Compiled 13793 to 10022 computations (27.3% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
7×*-commutative_binary64
3×+-commutative_binary64
3×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01724
12624
23424
34024
44324
54424
Stop Event
1×saturated

end108.0ms (1.5%)

Stop Event
1×fuel
Remove

(sort z t)

(sort x y)

Compiler

Compiled 268 to 174 computations (35.1% saved)

Profiling

Loading profile data...