Metrics for math.sin on complex, imaginary part

analyze1.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 15 to 12 computations (20% saved)

sample2.4min (99.6%)

Results

1.9s	3958×	1	valid-sollya
5.5s	3958×	1	valid-rival
55.0ms	201×	0	valid-sollya
138.0ms	201×	0	valid-rival

Bogosity

preprocess406.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1396×	`fma-define`
541×	`fma-neg`
230×	`times-frac`
216×	`distribute-lft-in`
196×	`associate-r`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	324
1	86	308
2	244	308
3	768	304
4	1960	294
5	3017	294
6	3397	294
7	3805	294
8	4502	294
9	5011	294
10	5176	294
11	5270	294
12	5270	294
13	5270	294

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
(.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 #s(literal 1/2 binary64) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (cos.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) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
(.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 #s(literal 1/2 binary64) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (cos.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) (cos.f64 (neg.f64 re))) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))
(.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 #s(literal 1/2 binary64) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (cos.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) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) (neg.f64 im))) (exp.f64 (neg.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (cos.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) (cos.f64 (neg.f64 re))) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))))
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 (neg.f64 im))) (exp.f64 (neg.f64 im))))
(.f64 (cos.f64 re) (.f64 #s(literal 1/2 binary64) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))))
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im))))
(*.f64 (cos.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) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) (neg.f64 im))) (exp.f64 (neg.f64 im)))))
(.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 #s(literal 1/2 binary64) (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re)))
(*.f64 (cos.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) (cos.f64 im)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) re)) (exp.f64 re)))
(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 #s(literal 1/2 binary64) (.f64 (cos.f64 im) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (cos.f64 im) (fma.f64 (exp.f64 re) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 re))))

Symmetry

(abs re)

(negabs im)

Compiler

Compiled 14 to 11 computations (21.4% saved)

eval0.0ms (0%)

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

prune13.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	59.4%	(.f64 (.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	24	44
2	30	44
3	33	44
4	34	44

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im)))

(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.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)

preprocess204.0ms (0.1%)

Remove

(negabs im)

(abs re)

Compiler

Compiled 246 to 180 computations (26.8% saved)

math.sin on complex, imaginary part

analyze1.0ms (0%)

sample2.4min (99.6%)

preprocess406.0ms (0.3%)

eval0.0ms (0%)

prune13.0ms (0%)

simplify6.0ms (0%)

soundness1.0ms (0%)

preprocess204.0ms (0.1%)

end0.0ms (0%)

Profiling