Details

Time bar (total: 7.7s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 10 to 7 computations (30% saved)

sample5.1s (66.2%)

Results
2.2s2125×body2048valid
2.2s3939×body1024valid
475.0ms1381×body512valid
141.0ms555×body256valid
36.0ms255×body128valid
3.0ms1×body4096valid
Compiler

Compiled 20 to 14 computations (30% saved)

preprocess21.0ms (0.3%)

Algorithm
2×egg-herbie
Rules
76×fma-def_binary64
57×fma-neg_binary64
27×cancel-sign-sub-inv_binary64
24×sub-neg_binary64
18×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
11722
22522
33822
45322
58122
614122
720022
828222
935322
1040522
1140922
022
Stop Event
1×saturated
1×saturated
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
15×cancel-sign-sub-inv_binary64
12×sub-neg_binary64
10×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11011
21511
32211
43111
54811
68611
712411
817211
920811
1023411
1123611
Stop Event
1×saturated
Counts
1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
39.8b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶39.8b
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓1.2b
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓4.1b
(cos.f64 (+.f64 x eps))

series10.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

1.0ms
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
x
-inf
1.0ms
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
eps
0
1.0ms
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
x
0
1.0ms
(cos.f64 (+.f64 x eps))
x
0
1.0ms
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
eps
inf

rewrite57.0ms (0.7%)

Algorithm
1×batch-egg-rewrite
Rules
457×fma-def_binary64
445×log-prod_binary64
238×fma-neg_binary64
180×expm1-udef_binary64
180×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
117417
2275417
Stop Event
1×node limit
Counts
2 → 163

simplify33.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
877×fma-neg_binary64
692×cancel-sign-sub-inv_binary64
285×associate-+l-_binary64
264×sub-neg_binary64
230×associate--l+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061622
1187614
2557602
31982582
Stop Event
1×node limit
Counts
211 → 193

prune159.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New18310193
Fresh000
Picked101
Done000
Total18410194
Error
0.1b
Counts
194 → 10
Alt Table
StatusErrorProgram
25.0b
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
24.7b
(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
▶15.1b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))))
40.6b
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
25.3b
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
24.6b
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
39.9b
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))
32.5b
(+.f64 (*.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 eps (*.f64 eps -1/2)))) (*.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
32.0b
(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
24.8b
(-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)))))) (cos.f64 x))
Compiler

Compiled 3995 to 1226 computations (69.3% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (+.f64 x eps))
✓0.3b
(*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2)))
✓3.8b
(sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))

series19.0ms (0.2%)

Counts
3 → 72
Calls

18 calls:

2.0ms
(*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2)))
x
inf
2.0ms
(*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2)))
x
-inf
2.0ms
(sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))
x
0
2.0ms
(*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2)))
x
0
2.0ms
(*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2)))
eps
0

rewrite47.0ms (0.6%)

Algorithm
1×batch-egg-rewrite
Rules
187×log1p-udef_binary64
158×add-sqr-sqrt_binary64
155×pow1_binary64
154×*-un-lft-identity_binary64
148×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01342
130916
2472516
Stop Event
1×node limit
Counts
3 → 96

simplify40.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
851×fma-neg_binary64
528×distribute-rgt-neg-in_binary64
515×distribute-lft-neg-in_binary64
310×associate-*r*_binary64
274×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0681106
1216977
2714844
32827834
Stop Event
1×node limit
Counts
168 → 132

prune144.0ms (1.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1311132
Fresh189
Picked011
Done000
Total13210142
Error
0.1b
Counts
142 → 10
Alt Table
StatusErrorProgram
24.7b
(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
32.0b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 1/2 eps))) 3)))
25.0b
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
✓15.1b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))))
40.6b
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
25.3b
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
▶24.6b
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
32.5b
(+.f64 (*.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 eps (*.f64 eps -1/2)))) (*.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
32.0b
(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
24.8b
(-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)))))) (cos.f64 x))
Compiler

Compiled 3258 to 2016 computations (38.1% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
✓3.4b
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

series26.0ms (0.3%)

Counts
2 → 48
Calls

12 calls:

3.0ms
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
eps
-inf
3.0ms
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
eps
inf
3.0ms
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
x
-inf
3.0ms
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
x
inf
2.0ms
(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
x
inf

rewrite46.0ms (0.6%)

Algorithm
1×batch-egg-rewrite
Rules
833×log1p-expm1-u_binary64
833×expm1-log1p-u_binary64
104×add-sqr-sqrt_binary64
102×*-un-lft-identity_binary64
102×pow1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01032
119930
2244830
Stop Event
1×node limit
Counts
2 → 65

simplify34.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
901×fma-neg_binary64
279×associate-+l-_binary64
259×sub-neg_binary64
240×distribute-rgt-neg-in_binary64
240×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
064844
1207826
2639808
32400791
Stop Event
1×node limit
Counts
113 → 98

prune73.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New95398
Fresh178
Picked101
Done011
Total9711108
Error
0.1b
Counts
108 → 11
Alt Table
StatusErrorProgram
24.8b
(-.f64 (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)) (fma.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)))))) (cos.f64 x))
24.9b
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (-.f64 (pow.f64 (cos.f64 x) 2) (*.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))))
25.0b
(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
32.0b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 1/2 eps))) 3)))
✓15.1b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))))
40.6b
(fma.f64 (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
25.3b
(fma.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps)))) (cbrt.f64 (*.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
25.0b
(/.f64 (-.f64 (*.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 2)) (fma.f64 (cos.f64 x) (cos.f64 eps) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
▶8.6b
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
32.5b
(+.f64 (*.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 eps (*.f64 eps -1/2)))) (*.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
32.0b
(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
Compiler

Compiled 2401 to 862 computations (64.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1))
✓0.1b
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
✓0.2b
(*.f64 (sin.f64 eps) (sin.f64 x))
✓2.5b
(+.f64 (cos.f64 eps) -1)

series38.0ms (0.5%)

Counts
4 → 84
Calls

21 calls:

4.0ms
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
eps
-inf
3.0ms
(*.f64 (sin.f64 eps) (sin.f64 x))
eps
0
3.0ms
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
eps
inf
3.0ms
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
x
-inf
3.0ms
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
x
inf

rewrite71.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
341×fma-neg_binary64
256×expm1-udef_binary64
256×log1p-udef_binary64
147×add-sqr-sqrt_binary64
144×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01246
127546
2393246
Stop Event
1×node limit
Counts
4 → 152

simplify39.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
730×fma-def_binary64
477×cancel-sign-sub-inv_binary64
393×associate-*l*_binary64
380×associate-*r*_binary64
254×fma-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01251448
14001383
213581314
Stop Event
1×node limit
Counts
236 → 209

prune258.0ms (3.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New19910209
Fresh729
Picked101
Done011
Total20713220
Error
0.0b
Counts
220 → 13
Alt Table
StatusErrorProgram
32.0b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 1/2 eps))) 3)))
8.6b
(-.f64 (*.f64 (cos.f64 x) (log.f64 (exp.f64 (+.f64 (cos.f64 eps) -1)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
✓15.1b
(*.f64 -2 (*.f64 (sin.f64 (*.f64 (+.f64 eps (-.f64 x x)) 1/2)) (sin.f64 (*.f64 (+.f64 x (+.f64 x eps)) 1/2))))
9.1b
(-.f64 (*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (cbrt.f64 (*.f64 (sin.f64 eps) (sin.f64 x))) 3))
9.0b
(-.f64 (*.f64 (cos.f64 x) (fma.f64 (cbrt.f64 (cos.f64 eps)) (pow.f64 (cbrt.f64 (cos.f64 eps)) 2) -1)) (*.f64 (sin.f64 eps) (sin.f64 x)))
0.8b
(-.f64 (*.f64 (cos.f64 x) (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
21.7b
(/.f64 1 (/.f64 (fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (*.f64 (sin.f64 eps) (sin.f64 x))) (-.f64 (pow.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) 2) (pow.f64 (*.f64 (sin.f64 eps) (sin.f64 x)) 2))))
8.7b
(-.f64 (log.f64 (pow.f64 (exp.f64 (+.f64 (cos.f64 eps) -1)) (cos.f64 x))) (*.f64 (sin.f64 eps) (sin.f64 x)))
8.6b
(fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 x))))
8.7b
(-.f64 (*.f64 (cos.f64 x) (/.f64 1 (/.f64 (+.f64 (pow.f64 (cos.f64 eps) 2) (-.f64 1 (*.f64 (cos.f64 eps) -1))) (+.f64 -1 (pow.f64 (cos.f64 eps) 3))))) (*.f64 (sin.f64 eps) (sin.f64 x)))
8.6b
(+.f64 (-.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (*.f64 (sin.f64 eps) (sin.f64 x))) (+.f64 (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (*.f64 (sin.f64 eps) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (*.f64 (sin.f64 eps) (sin.f64 x)))))
40.9b
(pow.f64 (sqrt.f64 (-.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (*.f64 (sin.f64 eps) (sin.f64 x)))) 2)
24.9b
(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (+.f64 (pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (-.f64 (pow.f64 (cos.f64 x) 2) (*.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))))
Compiler

Compiled 5100 to 2137 computations (58.1% saved)

regimes1.2s (15.5%)

Accuracy

Total 0.6b remaining (89.9%)

Threshold costs 0.6b (89.9%)

Counts
322 → 1
Compiler

Compiled 18648 to 12668 computations (32.1% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
17×distribute-rgt-neg-in_binary64
16×cancel-sign-sub-inv_binary64
16×neg-sub0_binary64
16×neg-mul-1_binary64
15×sub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01831
14131
27229
311029
414329
516629
618129
718529
Stop Event
1×saturated

end230.0ms (3%)

Stop Event
1×fuel
Compiler

Compiled 360 to 235 computations (34.7% saved)

Profiling

Loading profile data...