Details

Time bar (total: 4.7s)

analyze465.0ms (9.9%)

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.0s (84.6%)

Results
1.3s1974×body1024valid
1.0s2020×body1024invalid
617.0ms4729×body128valid
362.0ms1062×body512valid
342.0ms1015×body512invalid
117.0ms745×body128invalid
115.0ms493×body256invalid
111.0ms487×body256valid
5.0ms4×body2048valid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess44.0ms (0.9%)

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)

simplify35.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
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.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)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series13.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

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

rewrite30.0ms (0.6%)

Algorithm
1×egg-rewrite-iter-limit
1×batch-egg-rewrite
Rules
121×add-sqr-sqrt_binary64
116×*-un-lft-identity_binary64
116×pow1_binary64
114×add-log-exp_binary64
112×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01118
123318
2377218
01118
Stop Event
1×iter limit
1×unsound
Counts
1 → 8
Calls
Call 1
Inputs
(*.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 (*.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 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 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 expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))))))

simplify29.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
705×fma-neg_binary64
403×fma-def_binary64
241×sub-neg_binary64
179×distribute-rgt-neg-in_binary64
175×distribute-rgt-out_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
068585
1196533
2623517
32802476
Stop Event
1×node limit
Counts
32 → 26
Calls
Call 1
Inputs
(*.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
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(fma.f64 1/2 (exp.f64 im) (/.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 (neg.f64 im)) (exp.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 (neg.f64 im)) (exp.f64 im)) (*.f64 -1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 re re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.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 (neg.f64 im)) (exp.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 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) (*.f64 -1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
(fma.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 re re)) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im)))))
(fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 re re)) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 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 (neg.f64 im)) (exp.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 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))) (fma.f64 1/4 (*.f64 (*.f64 re re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/1440 (*.f64 (pow.f64 re 6) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
(fma.f64 1/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (fma.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (fma.f64 -1/4 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 re re)) (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 re 6)) -1/1440))))
(+.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4)))) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (*.f64 re (*.f64 re -1/4)) (*.f64 1/1440 (pow.f64 re 6)))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (cos.f64 re) (*.f64 im im)) (cos.f64 re))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (cos.f64 re))
(*.f64 (+.f64 (*.f64 1/2 (*.f64 im im)) 1) (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 (cos.f64 re) (*.f64 im im)) (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (cos.f64 re)))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (cos.f64 re)))
(+.f64 (cos.f64 re) (*.f64 (cos.f64 re) (+.f64 (*.f64 1/2 (*.f64 im im)) (*.f64 1/24 (pow.f64 im 4)))))
(*.f64 (cos.f64 re) (+.f64 (+.f64 (*.f64 1/24 (pow.f64 im 4)) 1) (*.f64 1/2 (*.f64 im im))))
(+.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 (cos.f64 re) (*.f64 im im)) (+.f64 (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (cos.f64 re)) (*.f64 1/720 (*.f64 (cos.f64 re) (pow.f64 im 6)))))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (fma.f64 1/720 (*.f64 (cos.f64 re) (pow.f64 im 6)) (cos.f64 re))))
(+.f64 (*.f64 (+.f64 (*.f64 1/24 (pow.f64 im 4)) 1) (cos.f64 re)) (*.f64 (cos.f64 re) (+.f64 (*.f64 1/720 (pow.f64 im 6)) (*.f64 1/2 (*.f64 im im)))))
(+.f64 (cos.f64 re) (*.f64 (cos.f64 re) (+.f64 (*.f64 1/720 (pow.f64 im 6)) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (*.f64 im im))))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 (fma.f64 1/2 (exp.f64 im) (/.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 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.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 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.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 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.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 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) (cos.f64 re))

prune18.0ms (0.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New26026
Fresh000
Picked011
Done000
Total26127
Error
0.0b
Counts
27 → 1
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
Compiler

Compiled 526 to 269 computations (48.9% saved)

regimes39.0ms (0.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
5 → 1
Compiler

Compiled 368 to 278 computations (24.5% 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)))

end36.0ms (0.8%)

Stop Event
1×done
Compiler

Compiled 39 to 30 computations (23.1% saved)

Profiling

Loading profile data...