Details

Time bar (total: 5.0s)

analyze484.0ms (9.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
50%50%0.1%6
50%37.5%12.6%7
50%37.5%12.6%8
50%31.2%18.8%9
50%31.2%18.8%10
50%28.1%22%11
50%28.1%22%12
50%26.5%23.5%13
50%26.5%23.5%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample4.2s (84%)

Results
1.3s2013×body1024valid
1.1s1982×body1024invalid
661.0ms4694×body128valid
392.0ms1034×body512valid
350.0ms999×body512invalid
139.0ms514×body256valid
128.0ms548×body256invalid
104.0ms697×body128invalid
1.0ms1×body2048valid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess48.0ms (1%)

Algorithm
2×egg-herbie
Rules
748×times-frac_binary64
390×fma-def_binary64
320×unswap-sqr_binary64
302×associate-*l*_binary64
234×associate-/l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01836
14936
213136
325634
437334
567234
6152634
7265134
8380334
9454934
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (*.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
Outputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(*.f64 (*.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(*.f64 1/2 (*.f64 (cos.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (cos.f64 im) (fma.f64 1/2 (exp.f64 re) (/.f64 1/2 (exp.f64 re))))
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify33.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
529×associate-/l*_binary64
430×unswap-sqr_binary64
374×times-frac_binary64
351×fma-def_binary64
340×associate-/r/_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01118
12818
27018
313417
419417
534717
678317
7135617
8397517
9449817
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Outputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (cos.f64 re) (*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0b
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Compiler

Compiled 50 to 35 computations (30% saved)

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓0.0b
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series9.0ms (0.2%)

Counts
2 → 32
Calls

9 calls:

TimeVariablePointExpression
2.0ms
im
@inf
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms
re
@0
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms
re
@inf
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms
re
@-inf
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms
im
@0
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite80.0ms (1.6%)

Algorithm
2×egg-rewrite-iter-limit
2×egg-rewrite
1×batch-egg-rewrite
Rules
121×add-sqr-sqrt_binary64
121×add-sqr-sqrt_binary64
116×*-un-lft-identity_binary64
116×pow1_binary64
116×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01128
123328
2374428
0610
112610
2205210
0610
01118
123318
2377218
01118
Stop Event
1×iter limit
1×unsound
1×iter limit
1×unsound
1×unsound
Counts
2 → 19
Calls
Call 1
Inputs
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (exp.f64 (neg.f64 im)) (*.f64 1/2 (cos.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (cos.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 (neg.f64 im))) (*.f64 (*.f64 1/2 (cos.f64 re)) (exp.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))))

simplify35.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
705×fma-neg_binary64
438×fma-def_binary64
241×sub-neg_binary64
190×distribute-rgt-out_binary64
181×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
076668
1216614
2679594
32964554
Stop Event
1×node limit
Counts
51 → 46
Calls
Call 1
Inputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 (*.f64 1/360 (pow.f64 im 6)) (+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(-.f64 (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2)))))
(-.f64 (+.f64 (*.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 re 4) (exp.f64 im))) (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2)))))
(-.f64 (+.f64 (*.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 re 4) (exp.f64 im))) (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (+.f64 (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2))) (+.f64 (*.f64 1/1440 (*.f64 (pow.f64 re 6) (exp.f64 im))) (*.f64 1/1440 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 6)))))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(cos.f64 re)
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4))) (cos.f64 re)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4))) (+.f64 (cos.f64 re) (*.f64 1/720 (*.f64 (cos.f64 re) (pow.f64 im 6))))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
Outputs
2
(+.f64 2 (pow.f64 im 2))
(+.f64 2 (*.f64 im im))
(fma.f64 im im 2)
(+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2)))
(+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im)))
(+.f64 2 (fma.f64 im im (*.f64 1/12 (pow.f64 im 4))))
(fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2))
(+.f64 (*.f64 1/360 (pow.f64 im 6)) (+.f64 2 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (pow.f64 im 2))))
(fma.f64 1/360 (pow.f64 im 6) (+.f64 2 (fma.f64 1/12 (pow.f64 im 4) (*.f64 im im))))
(+.f64 (fma.f64 im im (*.f64 1/12 (pow.f64 im 4))) (fma.f64 1/360 (pow.f64 im 6) 2))
(fma.f64 1/360 (pow.f64 im 6) (fma.f64 im im (fma.f64 1/12 (pow.f64 im 4) 2)))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im)))
(-.f64 (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2)))))
(-.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 1/4 (+.f64 (*.f64 (exp.f64 im) (*.f64 re re)) (*.f64 (exp.f64 (neg.f64 im)) (*.f64 re re)))))
(fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 -1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re re)) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))
(*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (*.f64 re (*.f64 re -1/4))))
(-.f64 (+.f64 (*.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 re 4) (exp.f64 im))) (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2)))))
(-.f64 (fma.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4)) (fma.f64 1/48 (*.f64 (exp.f64 im) (pow.f64 re 4)) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))) (*.f64 1/4 (+.f64 (*.f64 (exp.f64 im) (*.f64 re re)) (*.f64 (exp.f64 (neg.f64 im)) (*.f64 re re)))))
(+.f64 (fma.f64 (/.f64 1/48 (exp.f64 im)) (pow.f64 re 4) (fma.f64 1/48 (*.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))) (*.f64 -1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))))
(fma.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re re)) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im)))))
(fma.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (*.f64 re (*.f64 re -1/4)))))
(-.f64 (+.f64 (*.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4))) (+.f64 (*.f64 1/48 (*.f64 (pow.f64 re 4) (exp.f64 im))) (+.f64 (*.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))))) (+.f64 (*.f64 1/4 (*.f64 (pow.f64 re 2) (exp.f64 im))) (+.f64 (*.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 2))) (+.f64 (*.f64 1/1440 (*.f64 (pow.f64 re 6) (exp.f64 im))) (*.f64 1/1440 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 6)))))))
(-.f64 (fma.f64 1/48 (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 4)) (fma.f64 1/48 (*.f64 (exp.f64 im) (pow.f64 re 4)) (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))) (fma.f64 1/4 (*.f64 (exp.f64 im) (*.f64 re re)) (fma.f64 1/4 (*.f64 (exp.f64 (neg.f64 im)) (*.f64 re re)) (*.f64 1/1440 (+.f64 (*.f64 (exp.f64 im) (pow.f64 re 6)) (*.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 6)))))))
(-.f64 (fma.f64 (/.f64 1/48 (exp.f64 im)) (pow.f64 re 4) (fma.f64 1/48 (*.f64 (exp.f64 im) (pow.f64 re 4)) (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))))) (fma.f64 1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 1/1440 (*.f64 (pow.f64 re 6) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))))
(fma.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (fma.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (*.f64 re re)) (*.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (pow.f64 re 6)) -1/1440))))
(-.f64 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4)))) (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (*.f64 1/4 (*.f64 re re)) (*.f64 1/1440 (pow.f64 re 6)))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(cos.f64 re)
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (cos.f64 re))
(fma.f64 1/2 (*.f64 (*.f64 im im) (cos.f64 re)) (cos.f64 re))
(fma.f64 (*.f64 1/2 (cos.f64 re)) (*.f64 im im) (cos.f64 re))
(fma.f64 (*.f64 im im) (*.f64 1/2 (cos.f64 re)) (cos.f64 re))
(fma.f64 (cos.f64 re) (*.f64 im (*.f64 im 1/2)) (cos.f64 re))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4))) (cos.f64 re)))
(fma.f64 1/2 (*.f64 (*.f64 im im) (cos.f64 re)) (fma.f64 1/24 (*.f64 (pow.f64 im 4) (cos.f64 re)) (cos.f64 re)))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (fma.f64 1/24 (*.f64 (pow.f64 im 4) (cos.f64 re)) (cos.f64 re)))
(+.f64 (cos.f64 re) (*.f64 (cos.f64 re) (+.f64 (*.f64 im (*.f64 im 1/2)) (*.f64 (pow.f64 im 4) 1/24))))
(*.f64 (cos.f64 re) (+.f64 (*.f64 (pow.f64 im 4) 1/24) (+.f64 (*.f64 im (*.f64 im 1/2)) 1)))
(+.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (pow.f64 im 2))) (+.f64 (*.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4))) (+.f64 (cos.f64 re) (*.f64 1/720 (*.f64 (cos.f64 re) (pow.f64 im 6))))))
(fma.f64 1/2 (*.f64 (*.f64 im im) (cos.f64 re)) (+.f64 (fma.f64 1/24 (*.f64 (pow.f64 im 4) (cos.f64 re)) (cos.f64 re)) (*.f64 1/720 (*.f64 (pow.f64 im 6) (cos.f64 re)))))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (fma.f64 1/24 (*.f64 (pow.f64 im 4) (cos.f64 re)) (fma.f64 1/720 (*.f64 (pow.f64 im 6) (cos.f64 re)) (cos.f64 re))))
(+.f64 (fma.f64 (pow.f64 im 4) (*.f64 (cos.f64 re) 1/24) (cos.f64 re)) (*.f64 (cos.f64 re) (+.f64 (*.f64 (pow.f64 im 6) 1/720) (*.f64 im (*.f64 im 1/2)))))
(fma.f64 (*.f64 im im) (*.f64 1/2 (cos.f64 re)) (*.f64 (cos.f64 re) (+.f64 (*.f64 (pow.f64 im 6) 1/720) (+.f64 (*.f64 (pow.f64 im 4) 1/24) 1))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (cos.f64 re))
(*.f64 (fma.f64 (exp.f64 im) 1/2 (/.f64 1/2 (exp.f64 im))) (cos.f64 re))

prune29.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New46046
Fresh000
Picked011
Done000
Total46147
Error
0b
Counts
47 → 1
Alt Table
StatusErrorProgram
✓0b
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Compiler

Compiled 859 to 415 computations (51.7% saved)

regimes32.0ms (0.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
8 → 1
Compiler

Compiled 103 to 64 computations (37.9% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01118
11818
22018
32118
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Outputs
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

end38.0ms (0.8%)

Stop Event
1×done
Compiler

Compiled 39 to 30 computations (23.1% saved)

Profiling

Loading profile data...