Details

Time bar (total: 9.5s)

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 (53.5%)

Results
2.5s3666×body1024valid
1.6s1257×body2048valid
569.0ms1427×body512valid
249.0ms610×body256valid
205.0ms1295×body128valid
3.0ms1×body4096valid
Compiler

Compiled 29 to 20 computations (31% saved)

simplify11.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11011
21511
32211
42911
54611
67211
79311
811011
912011
1012411
1112611
1211211

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 27 to 18 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(sin.f64 x)
✓1.3b
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓3.2b
(sin.f64 (+.f64 x eps))

series14.0ms (0.1%)

Counts
3 → 52
Calls

3 calls:

6.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.0ms
(sin.f64 (+.f64 x eps))
3.0ms
(sin.f64 x)

rewrite11.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×prod-diff_binary64
5×add-log-exp_binary64
Counts
3 → 51
Calls

3 calls:

5.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
3.0ms
(sin.f64 (+.f64 x eps))
1.0ms
(sin.f64 x)

simplify105.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
1023×fma-neg_binary64
545×fma-def_binary64
414×cancel-sign-sub-inv_binary64
330×sub-neg_binary64
259×distribute-rgt-neg-in_binary64
Counts
103 → 110
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01451361
13421285
210841214
327341207
445861200
549871200
648301200

prune94.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1046110
Fresh000
Picked101
Done000
Total1056111
Error
0.3b
Counts
111 → 6
Alt Table
StatusErrorProgram
20.8b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
34.8b
(fma.f64 (cos.f64 x) (+.f64 eps (*.f64 (pow.f64 eps 3) -1/6)) (*.f64 (sin.f64 x) (*.f64 (*.f64 eps eps) -1/2)))
34.8b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
34.8b
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
20.8b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
▶17.1b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
Compiler

Compiled 2038 to 698 computations (65.8% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (+.f64 eps x))
✓0.2b
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
✓3.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))

series25.0ms (0.3%)

Counts
3 → 72
Calls

3 calls:

12.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
9.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))
3.0ms
(+.f64 x (+.f64 eps x))

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64
8×add-log-exp_binary64
6×add-cube-cbrt_binary64
5×add-cbrt-cube_binary64
Counts
3 → 50
Calls

3 calls:

7.0ms
(cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))
4.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
4.0ms
(+.f64 x (+.f64 eps x))

simplify139.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
934×fma-neg_binary64
401×fma-def_binary64
390×associate-*l*_binary64
359×associate-*r*_binary64
313×distribute-rgt-neg-in_binary64
Counts
122 → 116
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01422063
13751829
210371598
331171591
447051591
549571591

prune147.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1106116
Fresh055
Picked101
Done000
Total11111122
Error
0.2b
Counts
122 → 11
Alt Table
StatusErrorProgram
34.8b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
17.7b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))) (cbrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (cbrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
20.8b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
34.8b
(fma.f64 (cos.f64 x) (+.f64 eps (*.f64 (pow.f64 eps 3) -1/6)) (*.f64 (sin.f64 x) (*.f64 (*.f64 eps eps) -1/2)))
34.6b
(*.f64 2 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
18.1b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
▶17.3b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
20.8b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
35.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (*.f64 (sqrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))) (sqrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
34.8b
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
17.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
Compiler

Compiled 3195 to 2215 computations (30.7% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
✓0.4b
(*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
✓0.5b
(cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
3.3b
(cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))

series48.0ms (0.5%)

Counts
3 → 72
Calls

3 calls:

28.0ms
(*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
14.0ms
(*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
6.0ms
(cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
29×pow1_binary64
13×add-cbrt-cube_binary64
11×add-sqr-sqrt_binary64
10×add-exp-log_binary64
8×*-un-lft-identity_binary64
Counts
3 → 74
Calls

3 calls:

5.0ms
(*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
4.0ms
(*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))
3.0ms
(cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))

simplify127.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
741×cancel-sign-sub-inv_binary64
509×sub-neg_binary64
251×associate-*r*_binary64
228×fma-neg_binary64
225×distribute-rgt-neg-in_binary64
Counts
146 → 144
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01964198
15492976
218532360
341172302
448472168
549492168

prune351.0ms (3.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2361237
Fresh2810
Picked011
Done000
Total23810248
Error
0.2b
Counts
248 → 10
Alt Table
StatusErrorProgram
20.8b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
34.8b
(fma.f64 (cos.f64 x) (+.f64 eps (*.f64 (pow.f64 eps 3) -1/6)) (*.f64 (sin.f64 x) (*.f64 (*.f64 eps eps) -1/2)))
34.6b
(*.f64 2 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
18.1b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
✓17.3b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
17.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (*.f64 (cbrt.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
▶17.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
34.8b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
34.8b
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
20.8b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
Compiler

Compiled 9772 to 6008 computations (38.5% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))
✓0.2b
(*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
✓0.5b
(log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))
✓3.2b
(cos.f64 (/.f64 (fma.f64 x 2 eps) 2))

series42.0ms (0.4%)

Counts
4 → 96
Calls

4 calls:

22.0ms
(exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))
11.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
5.0ms
(log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))
5.0ms
(cos.f64 (/.f64 (fma.f64 x 2 eps) 2))

rewrite19.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
9×log-prod_binary64
9×exp-prod_binary64
Counts
4 → 69
Calls

4 calls:

6.0ms
(*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
6.0ms
(exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))
2.0ms
(log.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))
2.0ms
(cos.f64 (/.f64 (fma.f64 x 2 eps) 2))

simplify152.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
895×fma-def_binary64
571×cancel-sign-sub-inv_binary64
520×sub-neg_binary64
242×associate-*r*_binary64
207×associate--l+_binary64
Counts
165 → 138
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02073415
15253215
216973095
343973095
449843095

prune189.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1371138
Fresh088
Picked101
Done011
Total13810148
Error
0.2b
Counts
148 → 10
Alt Table
StatusErrorProgram
20.8b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
34.8b
(fma.f64 (cos.f64 x) (+.f64 eps (*.f64 (pow.f64 eps 3) -1/6)) (*.f64 (sin.f64 x) (*.f64 (*.f64 eps eps) -1/2)))
34.6b
(*.f64 2 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 eps 2))) (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
18.1b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
✓17.3b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
17.5b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
20.8b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
34.8b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
34.8b
(-.f64 (+.f64 (*.f64 1/24 (*.f64 (pow.f64 eps 4) (sin.f64 x))) (*.f64 eps (cos.f64 x))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (cos.f64 x))) (*.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
17.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (*.f64 (cbrt.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
Compiler

Compiled 4064 to 3116 computations (23.3% saved)

regimes2.4s (25.3%)

Accuracy

Total 0.1b remaining (22.7%)

Threshold costs 0.1b (22.7%)

Counts
252 → 3
Compiler

Compiled 16752 to 12725 computations (24% saved)

bsearch129.0ms (1.4%)

Steps
ItersRangePoint
8
0.00014635287877294982
0.444001453705463
0.0007902110569607544
9
-29.5824260681986
-4.9748677454145135e-5
-0.0006848596310522501
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify5.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03295
14095
24595
34795
44895
54895

end312.0ms (3.3%)

Compiler

Compiled 432 to 271 computations (37.3% saved)

Profiling

Loading profile data...