Metrics for UniformSampleCone, z

analyze146.0ms (4.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.1%	99.9%	0%	0%	0%	0
0%	0%	0.1%	99.9%	0%	0%	0%	1
0%	0%	0.1%	99.9%	0%	0%	0%	2
25%	0%	0.1%	99.9%	0%	0%	0%	3
25%	0%	0.1%	99.9%	0%	0%	0%	4
37.5%	0%	0.1%	99.9%	0%	0%	0%	5
56.2%	0.1%	0%	99.9%	0%	0%	0%	6
56.2%	0.1%	0%	99.9%	0%	0%	0%	7
65.6%	0.1%	0%	99.9%	0%	0%	0%	8
76.6%	0.1%	0%	99.9%	0%	0%	0%	9
76.6%	0.1%	0%	99.9%	0%	0%	0%	10
82%	0.1%	0%	99.9%	0%	0%	0%	11
87.9%	0.1%	0%	99.9%	0%	0%	0%	12

Compiler

Compiled 33 to 20 computations (39.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 80.0ms

ival-<=: 25.0ms (31.3% of total)

...c/correct-round.rkt:119:19: 20.0ms (25% of total)

ival-add: 16.0ms (20% of total)

ival-sub: 6.0ms (7.5% of total)

ival-mult: 6.0ms (7.5% of total)

ival-and: 5.0ms (6.3% of total)

const: 1.0ms (1.3% of total)

backward-pass: 0.0ms (0% of total)

sample1.3s (44.2%)

Results

982.0ms	8256×	0	valid
28.0ms	55×	5	exit

Precisions

Click to see histograms. Total time spent on operations: 650.0ms

ival-<=: 244.0ms (37.5% of total)

...c/correct-round.rkt:119:19: 155.0ms (23.8% of total)

ival-add: 59.0ms (9.1% of total)

ival-mult: 59.0ms (9.1% of total)

ival-sub: 57.0ms (8.8% of total)

ival-and: 51.0ms (7.8% of total)

backward-pass: 17.0ms (2.6% of total)

const: 8.0ms (1.2% of total)

Bogosity

preprocess117.0ms (3.9%)

Algorithm

2×	egg-herbie

Rules

2030×	`sum3-define`
1968×	`sum5-define`
1736×	`sum4-define`
1720×	`fnmsub-define`
1686×	`fnmadd-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	79
1	78	63
2	245	60
3	852	60
4	3104	60
5	6894	60
0	6	7
1	14	6
2	35	6
3	70	6
4	182	6
5	485	6
6	1531	6
7	2129	6
8	2264	6
9	2284	6
0	2284	6

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(+ (- 1 ux) (* ux maxCos))

Outputs
(+ (- 1 ux) (* ux maxCos))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))

Call 2

Inputs
(+ (- 1 ux) (* ux maxCos))
(+ (- 1 (neg ux)) (* (neg ux) maxCos))
(+ (- 1 ux) (* ux maxCos))
(+ (- 1 ux) (* ux (neg maxCos)))
(neg (+ (- 1 (neg ux)) (* (neg ux) maxCos)))
(neg (+ (- 1 ux) (* ux maxCos)))
(neg (+ (- 1 ux) (* ux (neg maxCos))))
(+ (- 1 uy) (* uy maxCos))
(+ (- 1 maxCos) (* maxCos ux))
(+ (- 1 ux) (* ux uy))

Outputs
(+ (- 1 ux) (* ux maxCos))
(+ 1 (fmsub ux maxCos ux))
(+ (- 1 (neg ux)) (* (neg ux) maxCos))
(+ 1 (fnmadd ux maxCos ux))
(+ (- 1 ux) (* ux maxCos))
(+ 1 (fmsub ux maxCos ux))
(+ (- 1 ux) (* ux (neg maxCos)))
(- 1 (fma ux maxCos ux))
(neg (+ (- 1 (neg ux)) (* (neg ux) maxCos)))
(+ -1 (fmsub ux maxCos ux))
(neg (+ (- 1 ux) (* ux maxCos)))
(+ ux (fnmsub ux maxCos 1))
(neg (+ (- 1 ux) (* ux (neg maxCos))))
(sum3 ux (* ux maxCos) -1)
(+ (- 1 uy) (* uy maxCos))
(+ 1 (fmsub maxCos uy uy))
(+ (- 1 maxCos) (* maxCos ux))
(fmsub ux maxCos (+ maxCos -1))
(+ (- 1 ux) (* ux uy))
(+ 1 (fmsub ux uy ux))

Symmetry

(abs uy)

explain65.0ms (2.2%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f32 #s(literal 1 binary32) ux)`
-	-	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`
-	-	`ux`
-	-	`(*.f32 ux maxCos)`
-	-	`maxCos`
-	-	`#s(literal 1 binary32)`

Results

42.0ms

512×

valid

Compiler

Compiled 50 to 23 computations (54% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-sub: 3.0ms (29.6% of total)

ival-add: 3.0ms (29.6% of total)

ival-mult: 3.0ms (29.6% of total)

const: 1.0ms (9.9% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 10 to 8 computations (20% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
▶	100.0%	(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))

Compiler

Compiled 20 to 15 computations (25% saved)

simplify286.0ms (9.6%)

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f32 ux maxCos)
✓	cost-diff	(-.f32 #s(literal 1 binary32) ux)
✓	cost-diff	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
✓	cost-diff	(+.f32 maxCos #s(literal -1 binary32))
✓	cost-diff	(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
✓	cost-diff	(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))

Rules

624×	`sum5-define`
570×	`fnmadd-define`
534×	`sum3-define`
422×	`fmsub-define`
416×	`fnmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	35
1	26	33
2	65	33
3	103	32
4	205	32
5	543	32
6	1552	32
7	2145	32
8	2280	32
9	2300	32
0	2300	32

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+ 1 (* ux (+ maxCos -1)))
1
(* ux (+ maxCos -1))
ux
(+ maxCos -1)
maxCos
-1
(+ (- 1 ux) (* ux maxCos))
(- 1 ux)
1
ux
(* ux maxCos)
maxCos

Outputs
(+ 1 (* ux (+ maxCos -1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
1
#s(literal 1 binary32)
(* ux (+ maxCos -1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
ux
(+ maxCos -1)
(+.f32 maxCos #s(literal -1 binary32))
maxCos
-1
#s(literal -1 binary32)
(+ (- 1 ux) (* ux maxCos))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
1
#s(literal 1 binary32)
ux
(* ux maxCos)
(*.f32 ux maxCos)
maxCos

localize51.0ms (1.7%)

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f32 #s(literal 1 binary32) ux)
✓	accuracy	100.0%	(*.f32 ux maxCos)
✓	accuracy	100.0%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
✓	accuracy	100.0%	(+.f32 maxCos #s(literal -1 binary32))
✓	accuracy	100.0%	(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
✓	accuracy	99.8%	(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))

Results

38.0ms

256×

valid

Compiler

Compiled 39 to 12 computations (69.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 13.0ms

ival-mult: 7.0ms (53.4% of total)

ival-add: 4.0ms (30.5% of total)

ival-sub: 1.0ms (7.6% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series6.0ms (0.2%)

Counts

6 → 120

Calls

Call 1

Inputs
#<alt (+ 1 (* ux (+ maxCos -1)))>
#<alt (* ux (+ maxCos -1))>
#<alt (+ maxCos -1)>
#<alt (+ (- 1 ux) (* ux maxCos))>
#<alt (- 1 ux)>
#<alt (* ux maxCos)>

Outputs
#<alt 1>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (+ 1 (+ (* -1 ux) (* maxCos ux)))>
#<alt (* maxCos ux)>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))>
#<alt (* maxCos ux)>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- maxCos 1))>
#<alt (* -1 ux)>
#<alt (+ (* -1 ux) (* maxCos ux))>
#<alt (+ (* -1 ux) (* maxCos ux))>
#<alt (+ (* -1 ux) (* maxCos ux))>
#<alt (* maxCos ux)>
#<alt (* maxCos (+ ux (* -1 (/ ux maxCos))))>
#<alt (* maxCos (+ ux (* -1 (/ ux maxCos))))>
#<alt (* maxCos (+ ux (* -1 (/ ux maxCos))))>
#<alt (* maxCos ux)>
#<alt (* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))>
#<alt -1>
#<alt (- maxCos 1)>
#<alt (- maxCos 1)>
#<alt (- maxCos 1)>
#<alt maxCos>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt (* maxCos (- 1 (/ 1 maxCos)))>
#<alt maxCos>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>
#<alt (* -1 (* maxCos (- (/ 1 maxCos) 1)))>
#<alt 1>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (+ 1 (* ux (- maxCos 1)))>
#<alt (* ux (- maxCos 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* ux (- (+ maxCos (/ 1 ux)) 1))>
#<alt (* -1 (* ux (+ 1 (* -1 maxCos))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))>
#<alt (- 1 ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (- (+ 1 (* maxCos ux)) ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))>
#<alt (* maxCos ux)>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))>
#<alt 1>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (* -1 ux)>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* -1 ux)>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>
#<alt (* maxCos ux)>

Calls

30 calls:

Time	Variable		Point	Expression
1.0ms	maxCos	@	-inf	(+ (- 1 ux) (* ux maxCos))
1.0ms	maxCos	@	-inf	(+ 1 (* ux (+ maxCos -1)))
0.0ms	ux	@	inf	(+ 1 (* ux (+ maxCos -1)))
0.0ms	ux	@	-inf	(+ 1 (* ux (+ maxCos -1)))
0.0ms	maxCos	@	inf	(+ 1 (* ux (+ maxCos -1)))

rewrite120.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

2486×	`sum4-define`
1894×	`sum3-define`
1618×	`fnmadd-define`
1298×	`fma-define`
960×	`fmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	26	26
2	65	26
3	103	25
4	205	25
5	557	25
6	2048	25
7	4146	25
0	8093	25

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 330

Calls

Call 1

Inputs
(+ 1 (* ux (+ maxCos -1)))
(* ux (+ maxCos -1))
(+ maxCos -1)
(+ (- 1 ux) (* ux maxCos))
(- 1 ux)
(* ux maxCos)

Outputs
(neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32))
(+.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 0 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))))
(+.f32 (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 #s(literal -1 binary32) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 #s(literal -1 binary32) (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos))) #s(literal 1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (.f32 ux maxCos))) #s(literal -1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) #s(literal 1 binary32)) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 ux)) ux)
(+.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 ux (+.f32 maxCos #s(literal -1 binary32)) #s(literal 1 binary32))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) ux (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos (neg.f32 ux)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) (*.f32 ux maxCos))
(fma.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 #s(literal -1 binary32) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(fma.f32 (+.f32 maxCos #s(literal -1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 (neg.f32 ux) (neg.f32 maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 maxCos (neg.f32 ux)) #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 maxCos) (neg.f32 ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) #s(literal 1 binary32) (neg.f32 ux))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)) #s(literal -1 binary32) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)))
(-.f32 #s(literal 1 binary32) (-.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal -1 binary32))
(-.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (-.f32 (.f32 ux maxCos) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos))))
(-.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (-.f32 #s(literal -1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (*.f32 ux maxCos) (+.f32 ux #s(literal -1 binary32)))
(-.f32 (.f32 ux maxCos) (-.f32 (+.f32 ux #s(literal -1 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 #s(literal 0 binary32) (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(-.f32 #s(literal 0 binary32) (-.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (neg.f32 ux) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))
(-.f32 (neg.f32 ux) (-.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos (neg.f32 ux)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 (.f32 maxCos (neg.f32 ux)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (-.f32 #s(literal 0 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) ux)
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 ux (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 ux maxCos))
(-.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (-.f32 (.f32 ux maxCos) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)))))
(-.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (-.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (+.f32 (.f32 ux maxCos) #s(literal -1 binary32)))
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 ux maxCos))
(-.f32 (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)))) (.f32 ux maxCos))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 ux maxCos))
(-.f32 (+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 ux)) (neg.f32 ux))
(-.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 ux maxCos))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 maxCos (neg.f32 ux)))
(.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))))
(.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32))
(neg.f32 (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)))
(+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 0 binary32))
(+.f32 (*.f32 ux maxCos) (neg.f32 ux))
(+.f32 #s(literal 0 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+.f32 (neg.f32 ux) (*.f32 ux maxCos))
(+.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (+.f32 maxCos #s(literal -1 binary32)) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (.f32 (+.f32 maxCos #s(literal -1 binary32)) (.f32 ux maxCos)))
(+.f32 (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (-.f32 #s(literal 1 binary32) maxCos) (.f32 maxCos (neg.f32 ux))))
(+.f32 (.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) #s(literal 1 binary32)) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)) #s(literal -1 binary32)) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (+.f32 maxCos #s(literal -1 binary32))) (.f32 (.f32 ux maxCos) (+.f32 maxCos #s(literal -1 binary32))))
(+.f32 (.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) maxCos)) (.f32 (.f32 maxCos (neg.f32 ux)) (-.f32 #s(literal 1 binary32) maxCos)))
(+.f32 (+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (neg.f32 ux)) ux)
(+.f32 (+.f32 (.f32 ux maxCos) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 #s(literal 0 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (neg.f32 ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) (neg.f32 ux))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (*.f32 ux maxCos))
(fma.f32 ux maxCos (neg.f32 ux))
(fma.f32 ux #s(literal -1 binary32) (*.f32 ux maxCos))
(fma.f32 ux (+.f32 maxCos #s(literal -1 binary32)) #s(literal 0 binary32))
(fma.f32 maxCos ux (neg.f32 ux))
(fma.f32 #s(literal -1 binary32) ux (*.f32 ux maxCos))
(fma.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos (neg.f32 ux)) (neg.f32 ux))
(fma.f32 (+.f32 maxCos #s(literal -1 binary32)) ux #s(literal 0 binary32))
(fma.f32 (+.f32 maxCos #s(literal -1 binary32)) #s(literal 0 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(fma.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) (neg.f32 ux))
(fma.f32 #s(literal 0 binary32) (+.f32 maxCos #s(literal -1 binary32)) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(fma.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) maxCos) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (*.f32 ux maxCos))
(fma.f32 (neg.f32 ux) (neg.f32 maxCos) (neg.f32 ux))
(fma.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) maxCos) #s(literal 0 binary32))
(fma.f32 (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 maxCos (neg.f32 ux)) #s(literal -1 binary32) (neg.f32 ux))
(fma.f32 (neg.f32 maxCos) (neg.f32 ux) (neg.f32 ux))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal 0 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) (neg.f32 ux) #s(literal 0 binary32))
(-.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 0 binary32))
(-.f32 (*.f32 ux maxCos) ux)
(-.f32 #s(literal 0 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)))
(-.f32 (neg.f32 ux) (*.f32 maxCos (neg.f32 ux)))
(-.f32 (neg.f32 ux) (-.f32 (neg.f32 ux) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))))
(-.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (-.f32 (*.f32 ux maxCos) (neg.f32 ux)))
(-.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (.f32 ux maxCos))
(-.f32 (+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (neg.f32 ux)) (neg.f32 ux))
(-.f32 (+.f32 (.f32 ux maxCos) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 ux maxCos))
(-.f32 (+.f32 #s(literal 0 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 ux maxCos))
(-.f32 (+.f32 (neg.f32 ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 ux maxCos))
(-.f32 (+.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 maxCos (neg.f32 ux)))
(.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)))
(*.f32 (+.f32 maxCos #s(literal -1 binary32)) ux)
(.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32))
(*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) maxCos))
(.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal -1 binary32))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) (neg.f32 ux))
(neg.f32 (-.f32 #s(literal 1 binary32) maxCos))
(+.f32 maxCos #s(literal -1 binary32))
(+.f32 #s(literal -1 binary32) maxCos)
(+.f32 (+.f32 maxCos #s(literal -1 binary32)) #s(literal 0 binary32))
(+.f32 #s(literal 0 binary32) (+.f32 maxCos #s(literal -1 binary32)))
(fma.f32 #s(literal 1 binary32) maxCos #s(literal -1 binary32))
(fma.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal -1 binary32)) #s(literal 0 binary32))
(fma.f32 maxCos #s(literal 1 binary32) #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) (neg.f32 maxCos) #s(literal -1 binary32))
(fma.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) maxCos) #s(literal 0 binary32))
(fma.f32 (+.f32 maxCos #s(literal -1 binary32)) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 maxCos) #s(literal -1 binary32) #s(literal -1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal -1 binary32) #s(literal 0 binary32))
(-.f32 maxCos #s(literal 1 binary32))
(-.f32 #s(literal -1 binary32) (neg.f32 maxCos))
(-.f32 (+.f32 maxCos #s(literal -1 binary32)) #s(literal 0 binary32))
(-.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) maxCos))
(*.f32 #s(literal 1 binary32) (+.f32 maxCos #s(literal -1 binary32)))
(*.f32 #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) maxCos))
(*.f32 (+.f32 maxCos #s(literal -1 binary32)) #s(literal 1 binary32))
(*.f32 (-.f32 #s(literal 1 binary32) maxCos) #s(literal -1 binary32))
(neg.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32))
(+.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 0 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))))
(+.f32 (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) (+.f32 ux #s(literal -1 binary32))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (fma.f32 #s(literal -1 binary32) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 #s(literal -1 binary32) (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)))))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos))) #s(literal 1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (+.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 #s(literal 1 binary32) (.f32 ux maxCos))) #s(literal -1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) #s(literal 1 binary32)) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)))) (.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 ux)) ux)
(+.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 ux (+.f32 maxCos #s(literal -1 binary32)) #s(literal 1 binary32))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) ux (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos (neg.f32 ux)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) (*.f32 ux maxCos))
(fma.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 #s(literal -1 binary32) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)) (neg.f32 ux))
(fma.f32 (+.f32 maxCos #s(literal -1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)))
(fma.f32 (neg.f32 ux) (neg.f32 maxCos) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) maxCos) #s(literal 1 binary32))
(fma.f32 (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 maxCos (neg.f32 ux)) #s(literal -1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (neg.f32 maxCos) (neg.f32 ux) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) #s(literal 1 binary32) (neg.f32 ux))
(fma.f32 (-.f32 #s(literal 1 binary32) maxCos) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) (*.f32 ux maxCos))
(fma.f32 (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos))))
(fma.f32 (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)) #s(literal -1 binary32) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos)))
(-.f32 #s(literal 1 binary32) (-.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) #s(literal -1 binary32))
(-.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (-.f32 (.f32 ux maxCos) (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos))))
(-.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (-.f32 #s(literal -1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (*.f32 ux maxCos) (+.f32 ux #s(literal -1 binary32)))
(-.f32 (.f32 ux maxCos) (-.f32 (+.f32 ux #s(literal -1 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 #s(literal 0 binary32) (+.f32 #s(literal -1 binary32) (*.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(-.f32 #s(literal 0 binary32) (-.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (neg.f32 ux) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))
(-.f32 (neg.f32 ux) (-.f32 (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos (neg.f32 ux)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 (.f32 maxCos (neg.f32 ux)) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 0 binary32))
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (-.f32 #s(literal 0 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux maxCos)) ux)
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 ux (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (*.f32 ux maxCos)))))
(-.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 ux maxCos))
(-.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (-.f32 (.f32 ux maxCos) (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (-.f32 #s(literal -1 binary32) (.f32 ux maxCos)))))
(-.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (-.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos)) (+.f32 (.f32 ux maxCos) #s(literal -1 binary32)))
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 (+.f32 maxCos #s(literal -1 binary32)) maxCos))) (.f32 ux maxCos))
(-.f32 (+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos)))) (.f32 ux maxCos))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 ux maxCos))
(-.f32 (+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (neg.f32 ux)) (neg.f32 ux))
(-.f32 (+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux maxCos)) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (*.f32 ux maxCos))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) (.f32 ux (-.f32 (-.f32 #s(literal 1 binary32) maxCos) maxCos))) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (.f32 maxCos (neg.f32 ux)))
(.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))))
(.f32 #s(literal -1 binary32) (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))))
(.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) #s(literal 1 binary32))
(.f32 (+.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) #s(literal -1 binary32))
(neg.f32 (+.f32 ux #s(literal -1 binary32)))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 0 binary32))
(+.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 maxCos (neg.f32 ux)))
(fma.f32 #s(literal 1 binary32) (neg.f32 ux) #s(literal 1 binary32))
(fma.f32 ux #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) #s(literal 0 binary32))
(fma.f32 (neg.f32 ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) #s(literal 0 binary32))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (+.f32 (.f32 ux maxCos) #s(literal -1 binary32)))
(-.f32 #s(literal 0 binary32) (+.f32 ux #s(literal -1 binary32)))
(-.f32 (neg.f32 ux) #s(literal -1 binary32))
(-.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 0 binary32))
(-.f32 (+.f32 #s(literal 1 binary32) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 ux maxCos))
(*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(*.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)))
(*.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(*.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32))
(neg.f32 (*.f32 maxCos (neg.f32 ux)))
(+.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) ux)
(+.f32 (*.f32 ux maxCos) #s(literal 0 binary32))
(+.f32 #s(literal 0 binary32) (*.f32 ux maxCos))
(+.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 maxCos (.f32 ux (-.f32 #s(literal 1 binary32) maxCos))) (.f32 maxCos (.f32 ux maxCos)))
(+.f32 (.f32 (neg.f32 maxCos) (.f32 ux (+.f32 maxCos #s(literal -1 binary32)))) (.f32 (neg.f32 maxCos) (.f32 maxCos (neg.f32 ux))))
(+.f32 (.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) #s(literal 1 binary32)) (.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (.f32 ux (-.f32 #s(literal 1 binary32) maxCos)) maxCos) (.f32 (.f32 ux maxCos) maxCos))
(+.f32 (.f32 (.f32 (.f32 ux maxCos) #s(literal -2 binary32)) #s(literal -1 binary32)) (.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 (.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (neg.f32 maxCos)) (.f32 (.f32 maxCos (neg.f32 ux)) (neg.f32 maxCos)))
(+.f32 (+.f32 #s(literal 0 binary32) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 maxCos (neg.f32 ux)))
(+.f32 (+.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (*.f32 ux maxCos))
(fma.f32 #s(literal 1 binary32) (*.f32 ux maxCos) #s(literal 0 binary32))
(fma.f32 ux maxCos #s(literal 0 binary32))
(fma.f32 maxCos ux #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 maxCos (neg.f32 ux)) #s(literal 0 binary32))
(fma.f32 (*.f32 ux maxCos) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 0 binary32) (neg.f32 ux) (*.f32 ux maxCos))
(fma.f32 #s(literal 0 binary32) (neg.f32 maxCos) (*.f32 ux maxCos))
(fma.f32 (neg.f32 ux) #s(literal 0 binary32) (*.f32 ux maxCos))
(fma.f32 (neg.f32 ux) (neg.f32 maxCos) #s(literal 0 binary32))
(fma.f32 (*.f32 maxCos (neg.f32 ux)) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 maxCos) #s(literal 0 binary32) (*.f32 ux maxCos))
(fma.f32 (neg.f32 maxCos) (neg.f32 ux) #s(literal 0 binary32))
(-.f32 (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))) (neg.f32 ux))
(-.f32 (*.f32 ux maxCos) #s(literal 0 binary32))
(-.f32 #s(literal 0 binary32) (*.f32 maxCos (neg.f32 ux)))
(-.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (*.f32 ux maxCos))
(-.f32 (+.f32 #s(literal 0 binary32) (.f32 (.f32 ux maxCos) #s(literal 2 binary32))) (*.f32 ux maxCos))
(-.f32 (+.f32 (.f32 (.f32 ux maxCos) #s(literal 2 binary32)) (.f32 (.f32 ux maxCos) #s(literal -2 binary32))) (*.f32 maxCos (neg.f32 ux)))
(.f32 #s(literal 1 binary32) (.f32 ux maxCos))
(*.f32 ux maxCos)
(*.f32 maxCos ux)
(.f32 #s(literal -1 binary32) (.f32 maxCos (neg.f32 ux)))
(.f32 (.f32 ux maxCos) #s(literal 1 binary32))
(*.f32 (neg.f32 ux) (neg.f32 maxCos))
(.f32 (.f32 maxCos (neg.f32 ux)) #s(literal -1 binary32))
(*.f32 (neg.f32 maxCos) (neg.f32 ux))

simplify170.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

2060×	`-lowering-.f32`
2060×	`-lowering-.f64`
1482×	`sum3-define`
978×	`--lowering--.f32`
978×	`--lowering--.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	539
1	207	478
2	562	478
3	1469	478
4	4407	478
5	7174	478
0	8160	478

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

Calls

Call 1

Inputs
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- maxCos 1))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(+ 1 (* -1 ux))
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(* maxCos ux)
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* ux (- maxCos 1))
(* -1 ux)
(+ (* -1 ux) (* maxCos ux))
(+ (* -1 ux) (* maxCos ux))
(+ (* -1 ux) (* maxCos ux))
(* maxCos ux)
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
-1
(- maxCos 1)
(- maxCos 1)
(- maxCos 1)
maxCos
(* maxCos (- 1 (/ 1 maxCos)))
(* maxCos (- 1 (/ 1 maxCos)))
(* maxCos (- 1 (/ 1 maxCos)))
maxCos
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
1
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(+ 1 (* ux (- maxCos 1)))
(* ux (- maxCos 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(- 1 ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(- (+ 1 (* maxCos ux)) ux)
(* maxCos ux)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(* maxCos ux)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
1
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* -1 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)
(* maxCos ux)

Outputs
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* ux (- (* -1 (- maxCos 1)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (+ (* -1 ux) (* maxCos ux)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos (+ ux (+ (* -1 (/ ux maxCos)) (/ 1 maxCos))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos ux)
(*.f32 ux maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (+ 1 (* -1 ux)) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* -1 ux)
(neg.f32 ux)
(+ (* -1 ux) (* maxCos ux))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(+ (* -1 ux) (* maxCos ux))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(+ (* -1 ux) (* maxCos ux))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* maxCos (+ ux (* -1 (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* maxCos ux)
(*.f32 ux maxCos)
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* -1 (* maxCos (+ (* -1 ux) (/ ux maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
-1
#s(literal -1 binary32)
(- maxCos 1)
(+.f32 maxCos #s(literal -1 binary32))
(- maxCos 1)
(+.f32 maxCos #s(literal -1 binary32))
(- maxCos 1)
(+.f32 maxCos #s(literal -1 binary32))
maxCos
(* maxCos (- 1 (/ 1 maxCos)))
(+.f32 maxCos #s(literal -1 binary32))
(* maxCos (- 1 (/ 1 maxCos)))
(+.f32 maxCos #s(literal -1 binary32))
(* maxCos (- 1 (/ 1 maxCos)))
(+.f32 maxCos #s(literal -1 binary32))
maxCos
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
(+.f32 maxCos #s(literal -1 binary32))
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
(+.f32 maxCos #s(literal -1 binary32))
(* -1 (* maxCos (- (/ 1 maxCos) 1)))
(+.f32 maxCos #s(literal -1 binary32))
1
#s(literal 1 binary32)
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+ 1 (* ux (- maxCos 1)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- maxCos 1))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* ux (- (+ maxCos (/ 1 ux)) 1))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* ux (+ 1 (* -1 maxCos))))
(*.f32 ux (+.f32 maxCos #s(literal -1 binary32)))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
(- (+ 1 (* maxCos ux)) ux)
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(- (+ 1 (* maxCos ux)) ux)
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(- (+ 1 (* maxCos ux)) ux)
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* maxCos ux)
(*.f32 ux maxCos)
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
1
#s(literal 1 binary32)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(* -1 ux)
(neg.f32 ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* -1 ux)
(neg.f32 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)
(* maxCos ux)
(*.f32 ux maxCos)

eval28.0ms (0.9%)

Compiler: Compiled 4617 to 482 computations (89.6% saved)

prune35.0ms (1.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	448	2	450
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	448	4	452

Accuracy

100.0%

Counts

452 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.9%	(-.f32 #s(literal 1 binary32) ux)
✓	100.0%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
✓	100.0%	(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
▶	72.1%	#s(literal 1 binary32)

Compiler

Compiled 30 to 24 computations (20% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(-.f32 #s(literal 1 binary32) ux)

Rules

32×	`sum3-define`
24×	`+-lowering-+.f64`
24×	`+-lowering-+.f32`
18×	`--lowering--.f32`
18×	`--lowering--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	7	6
2	11	6
3	17	6
4	25	6
5	38	6
6	55	6
7	69	6
8	81	6
9	82	6
0	82	6

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
1
(- 1 ux)
1
ux

Outputs
1
#s(literal 1 binary32)
(- 1 ux)
(-.f32 #s(literal 1 binary32) ux)
1
#s(literal 1 binary32)
ux

localize22.0ms (0.7%)

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f32 #s(literal 1 binary32) ux)

Results

17.0ms

256×

valid

Compiler

Compiled 10 to 6 computations (40% saved)

Precisions

Click to see histograms. Total time spent on operations: 5.0ms

ival-sub: 4.0ms (87.8% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series0.0ms (0%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (- 1 ux)>

Outputs
#<alt 1>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (+ 1 (* -1 ux))>
#<alt (* -1 ux)>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* ux (- (/ 1 ux) 1))>
#<alt (* -1 ux)>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>
#<alt (* -1 (* ux (- 1 (/ 1 ux))))>

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	ux	@	0	(- 1 ux)
0.0ms	ux	@	inf	(- 1 ux)
0.0ms	ux	@	-inf	(- 1 ux)

rewrite20.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

32×	`sum3-define`
24×	`+-lowering-+.f64`
24×	`+-lowering-+.f32`
18×	`--lowering--.f32`
18×	`--lowering--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	7	3
2	11	3
3	17	3
4	25	3
5	38	3
6	55	3
7	69	3
8	81	3
9	82	3
0	82	3

Stop Event

1×	iter limit
1×	saturated

Counts

1 → 15

Calls

Call 1

Inputs
(- 1 ux)

Outputs
(neg.f32 (+.f32 ux #s(literal -1 binary32)))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(+.f32 #s(literal 0 binary32) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (neg.f32 ux) #s(literal 1 binary32))
(+.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 0 binary32))
(fma.f32 ux #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) ux #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)) #s(literal 0 binary32))
(fma.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32) #s(literal 0 binary32))
(-.f32 #s(literal 1 binary32) ux)
(-.f32 #s(literal 0 binary32) (+.f32 ux #s(literal -1 binary32)))
(-.f32 (neg.f32 ux) #s(literal -1 binary32))
(-.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 0 binary32))
(*.f32 #s(literal -1 binary32) (+.f32 ux #s(literal -1 binary32)))
(*.f32 (+.f32 ux #s(literal -1 binary32)) #s(literal -1 binary32))

simplify16.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

136×	`fma-lowering-fma.f32`
136×	`fma-lowering-fma.f64`
116×	`fnmadd-define`
112×	`fnmsub-define`
112×	`fmsub-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	41
1	26	32
2	62	32
3	124	32
4	199	32
5	351	32
6	491	32
7	543	32
0	543	32

Stop Event

1×	iter limit
1×	saturated

Counts

12 → 12

Calls

Call 1

Inputs
1
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
(+ 1 (* -1 ux))
(* -1 ux)
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* ux (- (/ 1 ux) 1))
(* -1 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))
(* -1 (* ux (- 1 (/ 1 ux))))

Outputs
1
#s(literal 1 binary32)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(+ 1 (* -1 ux))
(-.f32 #s(literal 1 binary32) ux)
(* -1 ux)
(neg.f32 ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* ux (- (/ 1 ux) 1))
(-.f32 #s(literal 1 binary32) ux)
(* -1 ux)
(neg.f32 ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)
(* -1 (* ux (- 1 (/ 1 ux))))
(-.f32 #s(literal 1 binary32) ux)

eval2.0ms (0.1%)

Compiler: Compiled 104 to 23 computations (77.9% saved)

prune12.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	27	4	31

Accuracy

100.0%

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.9%	(-.f32 #s(literal 1 binary32) ux)
✓	100.0%	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
✓	100.0%	(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
✓	72.1%	#s(literal 1 binary32)

Compiler

Compiled 51 to 35 computations (31.4% saved)

regimes9.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) ux)
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))

Outputs
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))

Calls

4 calls:

2.0ms	(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
2.0ms	uy
2.0ms	maxCos
2.0ms	ux

Results

Accuracy	Segments	Branch
100.0%	1	`ux`
100.0%	1	`uy`
100.0%	1	`maxCos`
100.0%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes20.0ms (0.7%)

Counts

2 → 1

Calls

Call 1

Inputs
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) ux)

Outputs
(-.f32 #s(literal 1 binary32) ux)

Calls

3 calls:

2.0ms	maxCos
2.0ms	ux
1.0ms	uy

Results

Accuracy	Segments	Branch
98.9%	1	`ux`
98.9%	1	`uy`
98.9%	1	`maxCos`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes10.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 1 binary32)

Outputs
#s(literal 1 binary32)

Calls

3 calls:

7.0ms	maxCos
1.0ms	uy
1.0ms	ux

Results

Accuracy	Segments	Branch
72.1%	1	`ux`
72.1%	1	`uy`
72.1%	1	`maxCos`

Compiler

Compiled 12 to 9 computations (25% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary32`
4×	`*-commutative_binary32`
4×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
2×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	19	11
3	21	11
4	22	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)

Outputs
(+.f32 #s(literal 1 binary32) (*.f32 ux (+.f32 maxCos #s(literal -1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
#s(literal 1 binary32)

soundness502.0ms (16.8%)

Rules

2060×	`-lowering-.f32`
2060×	`-lowering-.f64`
1482×	`sum3-define`
978×	`--lowering--.f32`
978×	`--lowering--.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	539
1	207	478
2	562	478
3	1469	478
4	4407	478
5	7174	478
0	8160	478
0	6	7
1	14	6
2	35	6
3	70	6
4	182	6
5	485	6
6	1531	6
7	2129	6
8	2264	6
9	2284	6
0	2284	6

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	node limit

Compiler

Compiled 54 to 42 computations (22.2% saved)

preprocess20.0ms (0.7%)

Remove: (abs uy)
Compiler: Compiled 88 to 64 computations (27.3% saved)

UniformSampleCone, z

analyze146.0ms (4.9%)

sample1.3s (44.2%)

preprocess117.0ms (3.9%)

explain65.0ms (2.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify286.0ms (9.6%)

localize51.0ms (1.7%)

series6.0ms (0.2%)

rewrite120.0ms (4%)

simplify170.0ms (5.7%)

eval28.0ms (0.9%)

prune35.0ms (1.2%)

simplify6.0ms (0.2%)

localize22.0ms (0.7%)

series0.0ms (0%)

rewrite20.0ms (0.7%)

simplify16.0ms (0.5%)

eval2.0ms (0.1%)

prune12.0ms (0.4%)

regimes9.0ms (0.3%)

regimes20.0ms (0.7%)

regimes10.0ms (0.3%)

simplify7.0ms (0.2%)

soundness502.0ms (16.8%)

preprocess20.0ms (0.7%)

end0.0ms (0%)

Profiling