Metrics for math.cos on complex, imaginary part

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.6min (99.6%)

Results

1.5s	3926×	1	valid-sollya
1.8s	3926×	1	valid-rival
57.0ms	258×	0	valid-sollya
45.0ms	258×	0	valid-rival

Bogosity

preprocess322.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

737×	`fma-neg`
661×	`fma-define`
244×	`distribute-lft-in`
219×	`distribute-rgt-in`
199×	`associate-*r/`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	316
1	80	308
2	261	308
3	887	304
4	2161	294
5	3608	294
6	4392	294
7	4927	294
8	5035	294
9	5035	294
10	5035	294
11	5035	294
12	5067	294
13	5097	294
14	5097	294

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 (neg.f64 re))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im))))
(neg.f64 (.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 (neg.f64 re))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(neg.f64 (.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

Outputs
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 (neg.f64 re))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 #s(literal 1/2 binary64) (.f64 (neg.f64 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (sin.f64 re) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 #s(literal 1/2 binary64) (exp.f64 im) (/.f64 #s(literal -1/2 binary64) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im))))
(.f64 #s(literal 1/2 binary64) (.f64 (neg.f64 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (sin.f64 re) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 #s(literal 1/2 binary64) (exp.f64 im) (/.f64 #s(literal -1/2 binary64) (exp.f64 im))))
(neg.f64 (.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 (neg.f64 re))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 im))))
(neg.f64 (.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 #s(literal 1/2 binary64) (.f64 (sin.f64 im) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (sin.f64 im) (fma.f64 (exp.f64 re) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 re))))

Symmetry

(negabs re)

(negabs im)

Compiler

Compiled 13 to 10 computations (23.1% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	68.0%	(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
3×	`sub-neg`
3×	`+-commutative`
2×	`neg-sub0`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	44
1	24	44
2	29	44
3	32	44
4	33	44

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(.f64 (.f64 #s(literal 1/2 binary64) (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 13 to 10 computations (23.1% saved)

preprocess78.0ms (0.1%)

Remove

(negabs im)

(negabs re)

Compiler

Compiled 242 to 176 computations (27.3% saved)

math.cos on complex, imaginary part

analyze0.0ms (0%)

sample1.6min (99.6%)

preprocess322.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify4.0ms (0%)

soundness1.0ms (0%)

preprocess78.0ms (0.1%)

end0.0ms (0%)

Profiling