Details

Time bar (total: 5.0s)

analyze481.0ms (9.7%)

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.4s2055×body1024valid
1.0s1984×body1024invalid
638.0ms4672×body128valid
418.0ms1051×body512valid
327.0ms977×body512invalid
112.0ms475×body256valid
110.0ms476×body256invalid
105.0ms716×body128invalid
6.0ms3×body2048valid
1.0ms1×body2048invalid
Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess47.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)

simplify32.0ms (0.6%)

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))))

prune4.0ms (0.1%)

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)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series8.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
im
@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
im
@-inf
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite72.0ms (1.4%)

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

simplify38.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
705×fma-neg_binary64
440×fma-def_binary64
241×sub-neg_binary64
192×distribute-rgt-out_binary64
183×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
076668
1216614
2679594
32966554
Stop Event
1×node limit
Counts
51 → 46
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)))
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))
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/48 (*.f64 (pow.f64 re 4) (+.f64 (exp.f64 (neg.f64 im)) (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 (*.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 im im) (*.f64 1/2 (cos.f64 re)) (cos.f64 re))
(fma.f64 (cos.f64 re) (*.f64 (*.f64 1/2 im) im) (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)))
(+.f64 (cos.f64 re) (*.f64 (cos.f64 re) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (*.f64 im im)))))
(*.f64 (cos.f64 re) (+.f64 (*.f64 (*.f64 1/2 im) im) (+.f64 (*.f64 1/24 (pow.f64 im 4)) 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 (cos.f64 re) (*.f64 im im)) (+.f64 (fma.f64 1/24 (*.f64 (cos.f64 re) (pow.f64 im 4)) (cos.f64 re)) (*.f64 (*.f64 1/720 (cos.f64 re)) (pow.f64 im 6))))
(fma.f64 1/2 (*.f64 (cos.f64 re) (*.f64 im im)) (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/720 (pow.f64 im 6)) 1) (cos.f64 re)) (*.f64 (cos.f64 re) (+.f64 (*.f64 1/24 (pow.f64 im 4)) (*.f64 1/2 (*.f64 im im)))))
(fma.f64 1/2 (*.f64 im (*.f64 im (cos.f64 re))) (*.f64 (cos.f64 re) (+.f64 (+.f64 (*.f64 1/24 (pow.f64 im 4)) 1) (*.f64 1/720 (pow.f64 im 6)))))
(*.f64 1/2 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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 (*.f64 1/2 (+.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))
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 (pow.f64 im 4) 1/12 (*.f64 im im)))
(fma.f64 (pow.f64 im 4) 1/12 (fma.f64 im im 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 (pow.f64 im 4) 1/12 (*.f64 im im)) (fma.f64 (pow.f64 im 6) 1/360 2))
(fma.f64 (pow.f64 im 6) 1/360 (fma.f64 (pow.f64 im 4) 1/12 (fma.f64 im im 2)))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

prune32.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 859 to 414 computations (51.8% saved)

regimes35.0ms (0.7%)

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)))

end40.0ms (0.8%)

Stop Event
1×done
Compiler

Compiled 39 to 30 computations (23.1% saved)

Profiling

Loading profile data...