Details

analyze2.0s (16%)

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.5s (20.3%)

Symmetry

(sort cosTheta_i cosTheta_O)

(sort sinTheta_i sinTheta_O)

Results

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

Compiler

Compiled 168 to 124 computations (26.2% saved)

simplify21.0ms (0.2%)

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

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)

localize65.0ms (0.5%)

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)

series247.0ms (2%)

Counts

4 → 120

Calls

4 calls:

182.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))))
36.0ms	(+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000)
17.0ms	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
12.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)

rewrite38.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

245×	`add-sqr-sqrt_binary32`
235×	`log1p-expm1-u_binary32`
235×	`expm1-log1p-u_binary32`
234×	`add-cbrt-cube_binary32`
228×	`add-log-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	66
1	489	66

Stop Event

1×	node limit

Counts

4 → 84

Calls

4 calls:

36.0ms	(+.f32 (-.f32 (-.f32 (/.f32 (.f32 cosTheta_i cosTheta_O) v) (/.f32 (.f32 sinTheta_i sinTheta_O) v)) (/.f32 1 v)) 6931/10000)
36.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))))
36.0ms	(/.f32 (*.f32 cosTheta_i cosTheta_O) v)
36.0ms	(/.f32 (*.f32 sinTheta_i sinTheta_O) v)

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

767×	`sub-neg_binary32`
528×	`cancel-sign-sub-inv_binary32`
446×	`fma-def_binary32`
419×	`+-commutative_binary32`
275×	`associate--r+_binary32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	56	2974
1	156	2966
2	449	2218
3	1543	2214
4	3558	2206

Stop Event

1×	node limit

Counts

204 → 111

prune119.0ms (1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	110	3	113

Error

0.1b

Counts

113 → 3

Alt Table

Status	Error	Program
▶	0.1b	(exp.f32 (-.f32 (+.f32 6931/10000 (+.f32 (log.f32 1/2) (/.f32 (.f32 cosTheta_i cosTheta_O) v))) (+.f32 (/.f32 1 v) (+.f32 (log.f32 v) (/.f32 (.f32 sinTheta_i sinTheta_O) 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))
	0.1b	(exp.f32 (.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))))))

Compiler

Compiled 3126 to 1733 computations (44.6% saved)

localize61.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series89.0ms (0.7%)

Counts

2 → 36

Calls

2 calls:

68.0ms	(+.f32 (/.f32 1 v) (+.f32 (log.f32 v) (/.f32 (*.f32 sinTheta_i sinTheta_O) v)))
21.0ms	(+.f32 6931/10000 (+.f32 (log.f32 1/2) (/.f32 (*.f32 cosTheta_i cosTheta_O) v)))

rewrite32.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

224×	`add-sqr-sqrt_binary32`
214×	`add-cbrt-cube_binary32`
214×	`log1p-expm1-u_binary32`
214×	`expm1-log1p-u_binary32`
209×	`add-log-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	33
1	447	33

Stop Event

1×	node limit

Counts

2 → 61

Calls

2 calls:

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

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

642×	`fma-neg_binary32`
558×	`fma-def_binary32`
515×	`sub-neg_binary32`
339×	`associate--l+_binary32`
297×	`associate--r+_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	429
1	68	407
2	129	371
3	280	371
4	781	371
5	2647	371
6	4922	371

Stop Event

1×	node limit

Counts

97 → 77

prune133.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	111	3	114

Error

0.1b

Counts

114 → 3

Alt Table

Status	Error	Program
✓	0.1b	(exp.f32 (-.f32 (+.f32 6931/10000 (+.f32 (log.f32 1/2) (/.f32 (.f32 cosTheta_i cosTheta_O) v))) (+.f32 (/.f32 1 v) (+.f32 (log.f32 v) (/.f32 (.f32 sinTheta_i sinTheta_O) 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))
▶	0.1b	(exp.f32 (.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))))))

Compiler

Compiled 3744 to 1790 computations (52.2% saved)

localize72.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)
✓	0.3b	(.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v)))))
✓	3.8b	(/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v)
✓	13.8b	(cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2))

series3.0s (24.5%)

Counts

4 → 196

Calls

4 calls:

2.7s	(cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2))
180.0ms	(.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v)))))
142.0ms	(pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)
30.0ms	(/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v)

rewrite41.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

253×	`add-sqr-sqrt_binary32`
246×	`log1p-expm1-u_binary32`
246×	`expm1-log1p-u_binary32`
245×	`add-cbrt-cube_binary32`
237×	`add-log-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	111
1	543	111

Stop Event

1×	node limit

Counts

4 → 84

Calls

4 calls:

38.0ms	(pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)
38.0ms	(.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v)))))
38.0ms	(/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v)
38.0ms	(cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2))

simplify365.0ms (3%)

Algorithm

1×	egg-herbie

Rules

811×	`fma-def_binary32`
354×	`associate-/l*_binary32`
69×	`sqr-pow_binary32`
41×	`sub-neg_binary32`
16×	`unpow2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3201	62036

Stop Event

1×	node limit

Counts

280 → 192

prune1.7s (14%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	217	3	220

Error

0.1b

Counts

220 → 3

Alt Table

Status	Error	Program
✓	0.1b	(exp.f32 (-.f32 (+.f32 6931/10000 (+.f32 (log.f32 1/2) (/.f32 (.f32 cosTheta_i cosTheta_O) v))) (+.f32 (/.f32 1 v) (+.f32 (log.f32 v) (/.f32 (.f32 sinTheta_i sinTheta_O) 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))
✓	0.1b	(exp.f32 (.f32 (cbrt.f32 (pow.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))) 2)) (cbrt.f32 (+.f32 (-.f32 (/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (*.f32 sinTheta_i sinTheta_O)) v) (-.f32 (/.f32 1 v) 6931/10000)) (log.f32 (/.f32 1/2 v))))))

Compiler

Compiled 71659 to 51602 computations (28% saved)

localize47.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.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))
✓	0.1b	(-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))
✓	0.1b	(exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))
✓	0.1b	(fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)

series173.0ms (1.4%)

Counts

4 → 180

Calls

4 calls:

89.0ms	(*.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))
37.0ms	(-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))
36.0ms	(exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))
11.0ms	(fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)

rewrite82.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

561×	`prod-diff_binary32`
190×	`add-sqr-sqrt_binary32`
177×	`add-cbrt-cube_binary32`
177×	`log1p-expm1-u_binary32`
177×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	81
1	382	81
2	4976	81

Stop Event

1×	node limit

Counts

4 → 133

Calls

4 calls:

79.0ms	(*.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))
79.0ms	(-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v)))
79.0ms	(exp.f32 (-.f32 (fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000) (fma.f32 sinTheta_i (/.f32 sinTheta_O v) (/.f32 1 v))))
79.0ms	(fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)

simplify116.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

389×	`times-frac_binary32`
263×	`associate-/l*_binary32`
261×	`associate-+r+_binary32`
246×	`cancel-sign-sub-inv_binary32`
224×	`fma-def_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	276	7456
1	982	7024
2	4428	6574

Stop Event

1×	node limit

Counts

313 → 202

prune266.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	203	2	205

Error

0.0b

Counts

205 → 2

Alt Table

Status

Error

Program

✓

0.1b

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

0.1b

(*.f32 (pow.f32 (E.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 8209 to 4880 computations (40.6% saved)

regimes921.0ms (7.5%)

Accuracy

Total 0.0b remaining (18.6%)

Threshold costs 0.0b (18.6%)

Counts

93 → 1

Compiler

Compiled 27055 to 19836 computations (26.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary32`
2×	`*-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	25	31
2	29	31
3	31	31
4	32	31

Stop Event

1×

saturated

end85.0ms (0.7%)

Remove

(sort sinTheta_i sinTheta_O)

(sort cosTheta_i cosTheta_O)

Compiler

Compiled 233 to 159 computations (31.8% saved)

Details

analyze2.0s (16%)

sample2.5s (20.3%)

simplify21.0ms (0.2%)

prune4.0ms (0%)

localize65.0ms (0.5%)

series247.0ms (2%)

rewrite38.0ms (0.3%)

simplify66.0ms (0.5%)

prune119.0ms (1%)

localize61.0ms (0.5%)

series89.0ms (0.7%)

rewrite32.0ms (0.3%)

simplify39.0ms (0.3%)

prune133.0ms (1.1%)

localize72.0ms (0.6%)

series3.0s (24.5%)

rewrite41.0ms (0.3%)

simplify365.0ms (3%)

prune1.7s (14%)

localize47.0ms (0.4%)

series173.0ms (1.4%)

rewrite82.0ms (0.7%)

simplify116.0ms (0.9%)

prune266.0ms (2.2%)

regimes921.0ms (7.5%)

simplify2.0ms (0%)

end85.0ms (0.7%)

Profiling