Details

analyze1.9s (12.3%)

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

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)

simplify24.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	(*.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 (+.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)))))

Status

Error

Program

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 (+.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)))))

Compiler

Compiled 160 to 112 computations (30% saved)

localize66.0ms (0.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)

series242.0ms (1.5%)

Counts

4 → 120

Calls

4 calls:

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

rewrite39.0ms (0.2%)

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:

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

simplify70.0ms (0.4%)

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

prune148.0ms (0.9%)

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 (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 (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 (+.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)))))

Compiler

Compiled 3126 to 1733 computations (44.6% saved)

localize64.0ms (0.4%)

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

series93.0ms (0.6%)

Counts

2 → 36

Calls

2 calls:

72.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)))

rewrite35.0ms (0.2%)

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:

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

simplify35.0ms (0.2%)

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

prune137.0ms (0.9%)

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 (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 (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 (+.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)))))

Compiler

Compiled 3744 to 1790 computations (52.2% saved)

localize69.0ms (0.4%)

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

series6.6s (41.8%)

Counts

4 → 232

Calls

4 calls:

6.2s	(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))
178.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)))))
147.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)
24.0ms	(/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v)

rewrite42.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:

40.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)
40.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)))))
40.0ms	(/.f32 (-.f32 (.f32 cosTheta_i cosTheta_O) (.f32 sinTheta_i sinTheta_O)) v)
40.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))

simplify549.0ms (3.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5981	103079270493

Stop Event

1×	node limit

Counts

316 → 174

prune1.4s (9.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	195	3	198

Error

0.1b

Counts

198 → 3

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 (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 (+.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)))))

Compiler

Compiled 64392 to 47154 computations (26.8% saved)

localize47.0ms (0.3%)

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)

series202.0ms (1.3%)

Counts

4 → 180

Calls

4 calls:

120.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)))
34.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))))
10.0ms	(fma.f32 cosTheta_O (/.f32 cosTheta_i v) 6931/10000)

rewrite82.0ms (0.5%)

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)

simplify111.0ms (0.7%)

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

prune261.0ms (1.7%)

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)

regimes881.0ms (5.6%)

Accuracy

Total 0.0b remaining (18.6%)

Threshold costs 0.0b (18.6%)

Counts

84 → 1

Compiler

Compiled 23523 to 17196 computations (26.9% saved)

simplify3.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

end93.0ms (0.6%)

Remove

(sort sinTheta_i sinTheta_O)

(sort cosTheta_i cosTheta_O)

Compiler

Compiled 233 to 159 computations (31.8% saved)

Details

analyze1.9s (12.3%)

sample2.5s (15.7%)

simplify24.0ms (0.2%)

prune4.0ms (0%)

localize66.0ms (0.4%)

series242.0ms (1.5%)

rewrite39.0ms (0.2%)

simplify70.0ms (0.4%)

prune148.0ms (0.9%)

localize64.0ms (0.4%)

series93.0ms (0.6%)

rewrite35.0ms (0.2%)

simplify35.0ms (0.2%)

prune137.0ms (0.9%)

localize69.0ms (0.4%)

series6.6s (41.8%)

rewrite42.0ms (0.3%)

simplify549.0ms (3.5%)

prune1.4s (9.1%)

localize47.0ms (0.3%)

series202.0ms (1.3%)

rewrite82.0ms (0.5%)

simplify111.0ms (0.7%)

prune261.0ms (1.7%)

regimes881.0ms (5.6%)

simplify3.0ms (0%)

end93.0ms (0.6%)

Profiling