Details

Time bar (total: 9.0s)

analyze1.2s (13.6%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
0%100%0%4
0%100%0%5
0%100%0%6
0%100%0%7
0%100%0%8
0%100%0%9
0%100%0%10
0%100%0%11
0%100%0%12
3%46.9%50%13
3.1%46.8%50%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample3.7s (40.6%)

Results
2.3s4098×body2048valid
853.0ms2065×body1024valid
330.0ms1048×body512valid
117.0ms549×body256valid
68.0ms496×body128valid
1.0ms10×body128invalid
Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess37.0ms (0.4%)

Algorithm
egg-herbie
Rules
685×div-sub_binary64
303×associate-/r*_binary64
302×fma-def_binary64
296×fma-neg_binary64
220×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
13119
27617
321517
464017
5182817
6439417
011
Stop Event
saturated
node limit
Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify26.0ms (0.3%)

Algorithm
egg-herbie
Rules
685×div-sub_binary64
303×associate-/r*_binary64
302×fma-def_binary64
296×fma-neg_binary64
220×associate-/l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01019
13119
27617
321517
464017
5182817
6439417
Stop Event
node limit
Counts
1 → 2

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.3b
Counts
3 → 1
Alt Table
StatusErrorProgram
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
Compiler

Compiled 53 to 36 computations (32.1% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series2.0ms (0%)

Counts
1 → 12
Calls

3 calls:

1.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
0
1.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
-inf
0.0ms
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
v
inf

rewrite38.0ms (0.4%)

Algorithm
batch-egg-rewrite
Rules
891×log1p-expm1-u_binary64
891×expm1-log1p-u_binary64
98×add-sqr-sqrt_binary64
93×*-un-lft-identity_binary64
93×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
119917
2233117
Stop Event
node limit
Counts
1 → 22

simplify40.0ms (0.4%)

Algorithm
egg-herbie
Rules
862×fma-neg_binary64
343×div-sub_binary64
335×fma-def_binary64
247×sub-neg_binary64
215×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010204
117204
224204
333204
451204
592204
6174204
7384204
8782204
92473204
104586204
Stop Event
node limit
Counts
34 → 24

prune29.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New21324
Fresh000
Picked101
Done000
Total22325
Error
0.3b
Counts
25 → 3
Alt Table
StatusErrorProgram
1.3b
(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
1.8b
(*.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 2))
0.3b
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
Compiler

Compiled 612 to 444 computations (27.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
0.0b
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
0.0b
(exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series987.0ms (10.9%)

Counts
3 → 36
Calls

9 calls:

121.0ms
(exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
v
inf
120.0ms
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
v
inf
116.0ms
(exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
v
-inf
111.0ms
(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
v
-inf
111.0ms
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
v
-inf

rewrite87.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
531×log-prod_binary64
211×log1p-udef_binary64
210×expm1-udef_binary64
198×prod-diff_binary64
170×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01357
126756
2303356
Stop Event
node limit
Counts
3 → 126

simplify57.0ms (0.6%)

Algorithm
egg-herbie
Rules
862×fma-neg_binary64
335×fma-def_binary64
315×div-sub_binary64
247×sub-neg_binary64
206×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012672
121672
228672
337672
455672
594672
6176672
7386672
8791672
92488672
104600672
Stop Event
node limit
Counts
162 → 132

prune140.0ms (1.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1533156
Fresh202
Picked011
Done000
Total1554159
Error
0.3b
Counts
159 → 4
Alt Table
StatusErrorProgram
1.3b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
2.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) 1/2)) (cbrt.f64 (*.f64 (PI.f64) 1/2))) (cbrt.f64 (*.f64 (PI.f64) 1/2)) (neg.f64 (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (*.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
0.3b
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
3.0b
(-.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)) 1)
Compiler

Compiled 5023 to 3791 computations (24.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2)
0.3b
(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
1.0b
(cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
1.5b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)

series405.0ms (4.5%)

Counts
3 → 36
Calls

9 calls:

75.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
v
inf
71.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
v
-inf
57.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
v
0
41.0ms
(pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2)
v
-inf
37.0ms
(pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2)
v
inf

rewrite63.0ms (0.7%)

Algorithm
batch-egg-rewrite
Rules
253×expm1-udef_binary64
253×log1p-udef_binary64
246×fma-def_binary64
169×fma-neg_binary64
157×prod-diff_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01597
131170
2368564
Stop Event
node limit
Counts
3 → 79

simplify74.0ms (0.8%)

Algorithm
egg-herbie
Rules
673×fma-def_binary64
369×distribute-rgt-in_binary64
321×distribute-lft-in_binary64
317×unswap-sqr_binary64
183×associate-+l+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020768
152768
2102768
3291768
4922768
54445768
Stop Event
node limit
Counts
115 → 86

prune159.0ms (1.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1601161
Fresh112
Picked011
Done011
Total1614165
Error
0.3b
Counts
165 → 4
Alt Table
StatusErrorProgram
1.3b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
0.3b
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
3.0b
(-.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)) 1)
2.5b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
Compiler

Compiled 6732 to 4957 computations (26.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
1.0b
(cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
1.0b
(cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1))))))
1.5b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
1.6b
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3)

series1.4s (15.8%)

Counts
3 → 36
Calls

9 calls:

217.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
v
-inf
191.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
v
inf
173.0ms
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
v
0
150.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3)
v
inf
149.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3)
v
-inf

rewrite49.0ms (0.5%)

Algorithm
batch-egg-rewrite
Rules
236×add-sqr-sqrt_binary64
227×pow1_binary64
225×*-un-lft-identity_binary64
221×add-cbrt-cube_binary64
219×add-cube-cbrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02496
151096
Stop Event
node limit
Counts
3 → 61

simplify49.0ms (0.5%)

Algorithm
egg-herbie
Rules
493×associate-+l+_binary64
446×associate-*l*_binary64
400×distribute-rgt-out_binary64
338×fma-def_binary64
322×associate-+r+_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0251440
1581440
21141176
32751116
4683816
52942780
Stop Event
node limit
Counts
97 → 67

prune106.0ms (1.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New92294
Fresh011
Picked011
Done022
Total92698
Error
0.3b
Counts
98 → 6
Alt Table
StatusErrorProgram
3.5b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))) 1/6)) 3) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))) 1/6)) 3)) 2) -1)
0.3b
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
1.3b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 2) -1)
4.1b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))) 1/6)) 2) 3) 2) -1)
3.0b
(-.f64 (exp.f64 (pow.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 3)) 1)
2.5b
(fma.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (acos.f64 (/.f64 (fma.f64 (*.f64 v v) -5 1) (fma.f64 v v -1)))))) 3) 2) -1)
Compiler

Compiled 4247 to 3207 computations (24.5% saved)

regimes145.0ms (1.6%)

Accuracy

Total 0.0b remaining (2.9%)

Threshold costs 0.0b (2.9%)

Counts
39 → 1
Compiler

Compiled 3918 to 2924 computations (25.4% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01324
11824
21924
Stop Event
saturated

end162.0ms (1.8%)

Stop Event
fuel
Compiler

Compiled 244 to 191 computations (21.7% saved)

Profiling

Loading profile data...