Metrics for math.exp 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 8 to 6 computations (25% saved)

sample1.8s (87.8%)

Results

745.0ms	4605×	body	256	valid
440.0ms	1008×	body	1024	valid
174.0ms	556×	body	1024	infinite
154.0ms	1254×	body	256	infinite
119.0ms	547×	body	512	valid
54.0ms	284×	body	512	infinite
2.0ms	2×	body	2048	valid

Bogosity

preprocess164.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

2028×	`fma-def`
1300×	`associate-/r*`
1100×	`times-frac`
808×	`fma-neg`
638×	`div-sub`

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	113
1	33	113
2	48	109
3	71	109
4	130	109
5	209	109
6	424	109
7	1200	109
8	4763	109

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im))
(*.f64 (exp.f64 re) (sin.f64 (neg.f64 im)))
(*.f64 (exp.f64 im) (sin.f64 re))

Outputs
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im))
(*.f64 (sin.f64 im) (exp.f64 (neg.f64 re)))
(/.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (sin.f64 (neg.f64 im)))
(*.f64 (exp.f64 re) (neg.f64 (sin.f64 im)))
(*.f64 (exp.f64 im) (sin.f64 re))

Compiler

Compiled 21 to 11 computations (47.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (exp.f64 re) (sin.f64 im))
▶	100.0%	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize52.0ms (2.6%)

Compiler: Compiled 14 to 6 computations (57.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	21
1	12	21

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (sin.f64 im))

Outputs
(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess24.0ms (1.2%)

Compiler: Compiled 28 to 20 computations (28.6% saved)

analyze0.0ms (0%)

sample1.8s (87.8%)

preprocess164.0ms (8.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize52.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify1.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess24.0ms (1.2%)

Profiling