Details

analyze1.9s (39.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	3%	97%	0
0%	3%	97%	1
0%	3%	97%	2
0%	3%	97%	3
0%	3%	97%	4
0%	3%	97%	5
0%	1.5%	98.5%	6
0%	1.5%	98.5%	7
0%	1.5%	98.5%	8
0%	1.5%	98.5%	9
0%	1.5%	98.5%	10
0.6%	0.9%	98.5%	11
0.6%	0.9%	98.5%	12
0.6%	0.9%	98.5%	13
0.6%	0.9%	98.5%	14

Compiler

Compiled 69 to 51 computations (26.1% saved)

sample2.4s (52.3%)

Results

2.4s	8256×	body	128	valid
34.0ms	137×	body	128	invalid

Compiler

Compiled 138 to 102 computations (26.1% saved)

preprocess51.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

880×	`fma-neg_binary32`
278×	`associate-+l-_binary32`
233×	`associate-+l+_binary32`
231×	`associate-+r-_binary32`
214×	`sub-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	116	385
1	327	363
2	978	341
3	4387	330
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify24.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-def_binary32`
512×	`exp-sum_binary32`
492×	`fma-neg_binary32`
429×	`exp-diff_binary32`
212×	`times-frac_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	35
1	53	33
2	147	31
3	584	29
4	2863	29

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))
	0.1b	(*.f32 (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (/.f32 1/2 v))

Status

Error

Program

▶

0.1b

(exp.f32 (+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v)))))

0.1b

(*.f32 (exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))) (/.f32 1/2 v))

Compiler

Compiled 160 to 112 computations (30% saved)

localize63.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000)
✓	0.1b	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))
✓	7.5b	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
✓	8.3b	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)

series235.0ms (5%)

Counts

4 → 120

Calls

48 calls:

17.0ms	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))	sinTheta_i	0
16.0ms	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))	cosTheta_O	0
16.0ms	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))	cosTheta_i	0
16.0ms	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))	sinTheta_O	0
13.0ms	(+.f32 (+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000) (log.f32 (/.f32 1 (*.f32 2 v))))	cosTheta_i	inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze1.9s (39.6%)

sample2.4s (52.3%)

preprocess51.0ms (1.1%)

simplify24.0ms (0.5%)

prune4.0ms (0.1%)

localize63.0ms (1.4%)

series235.0ms (5%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling