Details

Time bar (total: 13.6s)

analyze2.6s (19.3%)

Algorithm
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 39 to 24 computations (38.5% saved)

sample3.9s (29%)

Results
2.3s11484×body128invalid
1.6s8256×body128valid
Compiler

Compiled 78 to 48 computations (38.5% saved)

preprocess54.0ms (0.4%)

Algorithm
egg-herbie
Rules
367×fma-neg_binary64
353×distribute-lft-in_binary64
353×distribute-rgt-in_binary64
323×distribute-neg-in_binary64
296×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03061591
110681517
231771517
099
Stop Event
saturated
node limit
Compiler

Compiled 38 to 23 computations (39.5% saved)

simplify30.0ms (0.2%)

Algorithm
egg-herbie
Rules
486×fma-neg_binary64
408×sub-neg_binary64
353×unsub-neg_binary64
284×fma-def_binary64
258×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02443
15941
215541
354839
4192639
5445539
Stop Event
node limit
Counts
1 → 2

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
12.6b
Counts
3 → 1
Alt Table
StatusErrorProgram
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
Compiler

Compiled 137 to 74 computations (46% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(fma.f64 i (neg.f64 y) (*.f64 t c))
3.8b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
5.3b
(fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c))))
5.4b
(*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))

series191.0ms (1.4%)

Counts
4 → 312
Calls

78 calls:

6.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
z
-inf
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
a
-inf
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
j
0
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
x
-inf
5.0ms
(*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))
i
0

rewrite39.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
238×add-sqr-sqrt_binary64
219×log1p-expm1-u_binary64
219×expm1-log1p-u_binary64
218×add-cbrt-cube_binary64
216×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02288
146276
Stop Event
node limit
Counts
4 → 69

simplify148.0ms (1.1%)

Algorithm
egg-herbie
Rules
870×fma-neg_binary64
391×sub-neg_binary64
371×associate--l+_binary64
329×cancel-sign-sub-inv_binary64
199×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01727694
16767597
215427516
329407105
Stop Event
node limit
Counts
381 → 169

prune166.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1636169
Fresh000
Picked011
Done000
Total1637170
Error
0.0b
Counts
170 → 7
Alt Table
StatusErrorProgram
28.3b
(fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 t (fma.f64 j c (*.f64 x (neg.f64 a)))))
13.0b
(-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x)))))
15.5b
(+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))))
21.1b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 i (fma.f64 a b (*.f64 y (neg.f64 j))) (*.f64 b (*.f64 z (neg.f64 c)))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
11.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 i (*.f64 y j)))))
Compiler

Compiled 4923 to 887 computations (82% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
4.2b
(*.f64 c (*.f64 b z))
5.1b
(*.f64 a (*.f64 i b))
5.1b
(*.f64 c (*.f64 t j))
5.9b
(*.f64 i (*.f64 y j))

series33.0ms (0.2%)

Counts
4 → 48
Calls

36 calls:

2.0ms
(*.f64 i (*.f64 y j))
j
inf
1.0ms
(*.f64 c (*.f64 b z))
z
inf
1.0ms
(*.f64 c (*.f64 t j))
t
-inf
1.0ms
(*.f64 c (*.f64 t j))
j
-inf
1.0ms
(*.f64 c (*.f64 b z))
z
-inf

rewrite71.0ms (0.5%)

Algorithm
batch-egg-rewrite
Rules
315×expm1-udef_binary64
315×log1p-udef_binary64
222×associate-*r*_binary64
174×add-sqr-sqrt_binary64
158×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01728
134028
2429328
Stop Event
node limit
Counts
4 → 60

simplify16.0ms (0.1%)

Algorithm
egg-herbie
Rules
12×*-commutative_binary64
associate-*r*_binary64
associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014336
126336
247336
353336
Stop Event
saturated
Counts
108 → 66

prune74.0ms (0.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New66066
Fresh055
Picked011
Done011
Total66773
Error
0.0b
Counts
73 → 7
Alt Table
StatusErrorProgram
28.3b
(fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 t (fma.f64 j c (*.f64 x (neg.f64 a)))))
13.0b
(-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x)))))
15.5b
(+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))))
21.1b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 i (fma.f64 a b (*.f64 y (neg.f64 j))) (*.f64 b (*.f64 z (neg.f64 c)))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
11.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (+.f64 (*.f64 a (*.f64 i b)) (*.f64 c (*.f64 t j))) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 i (*.f64 y j)))))
Compiler

Compiled 2744 to 688 computations (74.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(-.f64 (*.f64 c t) (*.f64 i y))
3.8b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
4.8b
(fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z))))
6.0b
(*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))

series180.0ms (1.3%)

Counts
4 → 293
Calls

78 calls:

8.0ms
(fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z))))
b
-inf
6.0ms
(fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z))))
t
0
6.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
x
0
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
i
-inf
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (-.f64 (*.f64 c t) (*.f64 i y)) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
z
0

rewrite42.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
256×add-sqr-sqrt_binary64
241×log1p-expm1-u_binary64
241×expm1-log1p-u_binary64
240×add-cbrt-cube_binary64
235×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02288
150088
Stop Event
node limit
Counts
4 → 90

simplify145.0ms (1.1%)

Algorithm
egg-herbie
Rules
871×fma-neg_binary64
394×sub-neg_binary64
372×associate--l+_binary64
332×cancel-sign-sub-inv_binary64
199×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01757492
16927395
215557314
329586903
Stop Event
node limit
Counts
383 → 192

prune192.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1884192
Fresh224
Picked101
Done112
Total1927199
Error
0.0b
Counts
199 → 7
Alt Table
StatusErrorProgram
41.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (pow.f64 (sqrt.f64 (-.f64 (*.f64 c t) (*.f64 i y))) 2) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
15.5b
(+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))))
12.9b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (pow.f64 (cbrt.f64 (-.f64 (*.f64 c t) (*.f64 i y))) 3) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
13.0b
(-.f64 (+.f64 (*.f64 a (*.f64 i b)) (+.f64 (*.f64 c (*.f64 t j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 c (*.f64 b z)) (*.f64 a (*.f64 t x)))))
9.9b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
25.5b
(fma.f64 t (-.f64 (*.f64 c j) (*.f64 a x)) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y)))))
Compiler

Compiled 5938 to 1045 computations (82.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 t j (*.f64 z (neg.f64 b)))
3.4b
(fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y)))))
3.8b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
4.6b
(*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))

series189.0ms (1.4%)

Counts
4 → 312
Calls

78 calls:

7.0ms
(fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y)))))
y
-inf
6.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
j
inf
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
x
-inf
5.0ms
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
t
-inf
4.0ms
(fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y)))))
z
-inf

rewrite42.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
240×add-sqr-sqrt_binary64
221×log1p-expm1-u_binary64
221×expm1-log1p-u_binary64
220×add-cbrt-cube_binary64
218×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02288
146676
Stop Event
node limit
Counts
4 → 69

simplify143.0ms (1.1%)

Algorithm
egg-herbie
Rules
862×fma-def_binary64
777×fma-neg_binary64
388×sub-neg_binary64
331×cancel-sign-sub-inv_binary64
202×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01647678
16427597
215087435
335937105
Stop Event
node limit
Counts
381 → 164

prune136.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1631164
Fresh145
Picked011
Done011
Total1647171
Error
0.0b
Counts
171 → 7
Alt Table
StatusErrorProgram
41.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (pow.f64 (sqrt.f64 (-.f64 (*.f64 c t) (*.f64 i y))) 2) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
15.5b
(+.f64 (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))) (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 i b) (*.f64 t x)))))
13.0b
(+.f64 (fma.f64 y (-.f64 (*.f64 z x) (*.f64 i j)) (*.f64 c (-.f64 (*.f64 j t) (*.f64 b z)))) (*.f64 a (fma.f64 i b (*.f64 t (neg.f64 x)))))
12.9b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 j (pow.f64 (cbrt.f64 (-.f64 (*.f64 c t) (*.f64 i y))) 3) (*.f64 b (-.f64 (*.f64 i a) (*.f64 c z)))))
9.9b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 t j (*.f64 z (neg.f64 b))) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y))))))
12.6b
(fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 a i)) (*.f64 j (fma.f64 i (neg.f64 y) (*.f64 t c)))))
25.5b
(fma.f64 t (-.f64 (*.f64 c j) (*.f64 a x)) (*.f64 i (fma.f64 a b (*.f64 j (neg.f64 y)))))
Compiler

Compiled 4466 to 739 computations (83.5% saved)

regimes4.8s (35.3%)

Accuracy

Total 4.4b remaining (98.7%)

Threshold costs 0b (0%)

Counts
191 → 3
Compiler

Compiled 57896 to 36068 computations (37.7% saved)

bsearch9.0ms (0.1%)

Algorithm
left-value
Calls

2 calls:

0.0ms
(+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 i a)))) (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))))
0.0ms
(+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 i a)))) (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))))
Steps
ItersPointRange
2.3370763078724267e+294
∈ [
2.3370763078724267e+294
,
4.304640310782645e+297
]
#hash((type . real) (value . -inf))
∈ [
#hash((type . real) (value . -inf))
,
-7.41316631865177e+303
]
Compiler

Compiled 38 to 23 computations (39.5% saved)

simplify35.0ms (0.3%)

Algorithm
egg-herbie
Rules
188×distribute-rgt-neg-in_binary64
160×cancel-sign-sub-inv_binary64
123×neg-sub0_binary64
123×neg-mul-1_binary64
121×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
060205
1133205
2216205
3258205
4299205
5327205
6363205
7449205
8523205
9611205
10807205
11981205
121137205
131241205
141315205
151382205
161422205
171440205
181456205
191462205
Stop Event
saturated

end214.0ms (1.6%)

Stop Event
fuel
Compiler

Compiled 547 to 263 computations (51.9% saved)

Profiling

Loading profile data...