Metrics for UniformSampleCone, z

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze73.0ms (2.6%)

Memory

10.2MiB live, 103.0MiB allocated; 7ms collecting garbage

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 31 to 21 computations (32.3% saved)

sample1.3s (46.7%)

Memory

85.0MiB live, 1 354.7MiB allocated; 1.0s collecting garbage

Samples

946.0ms	8 183×	0	valid
7.0ms	73×	1	valid

Precisions

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

ival-add: 309.0ms (40.8% of total)

ival-<=: 171.0ms (22.6% of total)

const: 137.0ms (18.1% of total)

ival-sub: 53.0ms (7% of total)

ival-mult: 46.0ms (6.1% of total)

ival-and: 29.0ms (3.8% of total)

exact: 7.0ms (0.9% of total)

adjust: 4.0ms (0.5% of total)

ival-assert: 3.0ms (0.4% of total)

Bogosity

explain59.0ms (2.1%)

Memory

-9.0MiB live, 88.3MiB allocated; 20ms collecting garbage

FPErrors

Click to see full error table

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

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

25.0ms	510×	0	valid
0.0ms	2×	1	valid

Compiler

Compiled 43 to 25 computations (41.9% saved)

Precisions

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

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

ival-add: 2.0ms (23.5% of total)

ival-sub: 2.0ms (23.5% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

preprocess201.0ms (7.3%)

Memory

-9.6MiB live, 180.8MiB allocated; 48ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	70
1	75	68
2	159	68
3	281	64
4	570	63
5	1714	63
6	5304	63
0	6	7
0	9	7
1	18	7
2	33	7
3	64	7
4	152	7
5	528	7
6	4374	7
0	8205	6

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

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

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

Symmetry

(abs uy)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 7 computations (0% saved)

series5.0ms (0.2%)

Memory

7.4MiB live, 7.4MiB allocated; 0ms collecting garbage

Counts

6 → 19

Calls

Call 1

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

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 ux) #s(hole binary32 1))
#s(approx (- 1 ux) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* ux maxCos) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 ux)))
#s(approx (- 1 ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx maxCos #s(hole binary32 maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Calls

9 calls:

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

simplify91.0ms (3.3%)

Memory

13.2MiB live, 101.5MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	195
1	140	192
2	345	192
3	970	192
4	4031	192
0	8368	175

Stop Event

1×	iter limit
1×	node limit

Counts

19 → 19

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 ux) #s(hole binary32 1))
#s(approx (- 1 ux) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* ux maxCos) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 ux)))
#s(approx (- 1 ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx maxCos #s(hole binary32 maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

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

rewrite63.0ms (2.3%)

Memory

11.3MiB live, 62.0MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	16
0	9	16
1	44	16
0	352	15

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

6 → 32

Calls

Call 1

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

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

eval5.0ms (0.2%)

Memory: -38.2MiB live, 6.2MiB allocated; 5ms collecting garbage
Compiler: Compiled 645 to 127 computations (80.3% saved)

prune5.0ms (0.2%)

Memory

8.9MiB live, 8.9MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	38	7	45
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	7	46

Accuracy

100.0%

Counts

46 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
▶	99.8%	(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
▶	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
	98.9%	(+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 ux maxCos))
	98.9%	(+.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (*.f32 ux maxCos))
▶	97.3%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	74.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 156 to 126 computations (19.2% saved)

series5.0ms (0.2%)

Memory

8.8MiB live, 8.8MiB allocated; 0ms collecting garbage

Counts

12 → 66

Calls

Call 1

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

Outputs
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 1))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* ux (- 1 maxCos))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* maxCos ux) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 ux) #s(hole binary32 1))
#s(approx (- 1 ux) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 1))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 1))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (+ 1 (* maxCos ux))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 1))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 ux)))
#s(approx (- 1 ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* ux (+ maxCos (/ 1 ux)))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* ux (+ 1 (* -1 maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* -1 (* ux (- (* -1 maxCos) (/ 1 ux))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (- 1 ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 ux))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (+ ux (* -1 (* maxCos ux)))))
#s(approx maxCos #s(hole binary32 maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (- 1 ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* maxCos ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* -1 (* maxCos ux))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* maxCos (- (/ ux maxCos) ux))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* maxCos ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* maxCos (+ ux (/ 1 maxCos)))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* -1 (* maxCos (- (* -1 ux) (/ 1 maxCos))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Calls

9 calls:

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

simplify145.0ms (5.2%)

Memory

39.7MiB live, 172.6MiB allocated; 53ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	130	779
1	248	776
2	520	776
3	1553	776
4	7383	776
0	8873	696

Stop Event

1×	iter limit
1×	node limit

Counts

66 → 66

Calls

Call 1

Inputs
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 1))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* ux (- 1 maxCos))))
#s(approx ux #s(hole binary32 ux))
#s(approx (* maxCos ux) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 ux) #s(hole binary32 1))
#s(approx (- 1 ux) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 1))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 1))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (+ 1 (* maxCos ux))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 1))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 ux)))
#s(approx (- 1 ux) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* ux (+ maxCos (/ 1 ux)))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* ux (+ 1 (* -1 maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 ux) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* -1 (* ux (- (* -1 maxCos) (/ 1 ux))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (- 1 ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 ux))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (+ ux (* -1 (* maxCos ux)))))
#s(approx maxCos #s(hole binary32 maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (- 1 ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* maxCos ux)))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* -1 (* maxCos ux))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* maxCos (- (/ ux maxCos) ux))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* maxCos ux)))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* maxCos (+ ux (/ 1 maxCos)))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (- 1 (- ux (* maxCos ux))) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (- ux (* maxCos ux)) #s(hole binary32 (* -1 (* maxCos (- (* -1 (/ ux maxCos)) (* -1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (- (+ (* maxCos ux) 1) ux) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (+ (* maxCos ux) 1) #s(hole binary32 (* -1 (* maxCos (- (* -1 ux) (/ 1 maxCos))))))
#s(approx (+ (* ux maxCos) (- 1 ux)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

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

rewrite52.0ms (1.9%)

Memory

-2.9MiB live, 41.4MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	57
0	22	54
1	119	54
0	904	54

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

12 → 167

Calls

Call 1

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

Outputs
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)) (/.f32 (*.f32 ux ux) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 maxCos #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (*.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 ux)) maxCos))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux))
#s(literal 1 binary32)
(*.f32 (+.f32 (neg.f32 maxCos) #s(literal 1 binary32)) ux)
(.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (-.f32 ux (.f32 maxCos ux)))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 (.f32 ux ux) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (fma.f32 maxCos ux ux))
(/.f32 (.f32 #s(literal 1 binary32) (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux)))
(/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 ux (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (neg.f32 (-.f32 (.f32 ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (fma.f32 maxCos ux ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux))))
(/.f32 (-.f32 (.f32 ux ux) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (fma.f32 maxCos ux ux))
(/.f32 (-.f32 (pow.f32 ux #s(literal 3 binary32)) (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux)))
(-.f32 (/.f32 (.f32 ux ux) (fma.f32 maxCos ux ux)) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux ux)))
(-.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (.f32 ux ux))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (fma.f32 maxCos ux ux) (*.f32 ux ux))))
(-.f32 ux (*.f32 (neg.f32 (neg.f32 maxCos)) ux))
(-.f32 ux (*.f32 maxCos ux))
(fma.f32 (neg.f32 maxCos) ux ux)
(fma.f32 (neg.f32 ux) maxCos ux)
(fma.f32 maxCos (neg.f32 ux) ux)
(fma.f32 ux (neg.f32 maxCos) ux)
(+.f32 (*.f32 (neg.f32 ux) maxCos) ux)
(+.f32 ux (.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) maxCos)))
(+.f32 ux (.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 1 binary32)))
(+.f32 ux (*.f32 (neg.f32 ux) maxCos))
ux
(.f32 (.f32 maxCos ux) #s(literal 1 binary32))
(*.f32 maxCos ux)
(.f32 ux (.f32 maxCos #s(literal 1 binary32)))
(*.f32 ux maxCos)
(.f32 #s(literal 1 binary32) (.f32 maxCos ux))
maxCos
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (neg.f32 (+.f32 ux #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (+.f32 ux #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 ux #s(literal 1 binary32))) (/.f32 (*.f32 ux ux) (+.f32 ux #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)) (/.f32 (*.f32 ux ux) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 maxCos #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (*.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 ux)) maxCos))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (.f32 maxCos ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (neg.f32 (fma.f32 maxCos ux #s(literal -1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (neg.f32 (-.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux))))
(/.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 maxCos ux #s(literal -1 binary32)))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (*.f32 maxCos ux))))
(/.f32 (-.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (-.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux)))
(-.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (fma.f32 maxCos ux #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (fma.f32 maxCos ux #s(literal -1 binary32))))
(-.f32 (*.f32 maxCos ux) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 maxCos ux #s(literal 1 binary32))
(fma.f32 ux (*.f32 maxCos #s(literal 1 binary32)) #s(literal 1 binary32))
(fma.f32 ux maxCos #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) #s(literal 1 binary32))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (-.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (.f32 maxCos ux))) (/.f32 #s(literal 1 binary32) (-.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (*.f32 maxCos ux))))
(+.f32 (*.f32 maxCos ux) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 maxCos ux))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (pow.f32 (.f32 (neg.f32 ux) maxCos) #s(literal 3 binary32))) (+.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)) (.f32 (-.f32 #s(literal 1 binary32) ux) (.f32 (neg.f32 ux) maxCos)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)))) (neg.f32 (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (neg.f32 (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))) (neg.f32 (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))))
(/.f32 (neg.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)))) (neg.f32 (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (*.f32 ux ux)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32))) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux))
(/.f32 (-.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)))
(/.f32 (-.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32))) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32)))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32))))
(/.f32 (+.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32))) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)) (/.f32 (*.f32 ux ux) (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 2 binary32)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32))))
(-.f32 (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux)))
(-.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))) (/.f32 (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux))))
(-.f32 (/.f32 (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux (+.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux) (pow.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) #s(literal 2 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 (-.f32 ux (.f32 maxCos ux)) #s(literal 3 binary32)) (fma.f32 (-.f32 ux (.f32 maxCos ux)) (+.f32 (-.f32 ux (*.f32 maxCos ux)) #s(literal 1 binary32)) #s(literal 1 binary32))))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
(fma.f32 (*.f32 maxCos ux) #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux (*.f32 maxCos #s(literal 1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 #s(literal 1 binary32) (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (.f32 maxCos ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (-.f32 #s(literal 1 binary32) ux) (-.f32 #s(literal 1 binary32) (fma.f32 maxCos ux ux)) (pow.f32 (*.f32 maxCos ux) #s(literal 2 binary32)))))
(+.f32 (/.f32 (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 3 binary32)) (fma.f32 (.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))) (/.f32 (pow.f32 (.f32 maxCos ux) #s(literal 3 binary32)) (fma.f32 (*.f32 maxCos ux) (+.f32 (fma.f32 maxCos ux #s(literal -1 binary32)) ux) (pow.f32 (-.f32 #s(literal 1 binary32) ux) #s(literal 2 binary32)))))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 (neg.f32 ux)) maxCos))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 maxCos ux))
(+.f32 (*.f32 maxCos ux) (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 1 binary32) (-.f32 (*.f32 maxCos ux) ux))

eval21.0ms (0.7%)

Memory: -21.8MiB live, 22.4MiB allocated; 22ms collecting garbage
Compiler: Compiled 1 987 to 333 computations (83.2% saved)

prune6.0ms (0.2%)

Memory

15.9MiB live, 15.9MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	138	2	140
Fresh	2	0	2
Picked	0	5	5
Done	0	0	0
Total	140	7	147

Accuracy

100.0%

Counts

147 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓	99.8%	(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
▶	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
▶	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
✓	97.3%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	74.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 86 to 69 computations (19.8% saved)

series8.0ms (0.3%)

Memory

16.4MiB live, 16.4MiB allocated; 0ms collecting garbage

Counts

13 → 59

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
#s(literal 1 binary32)
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(fma.f32 ux ux ux)
ux
(/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(pow.f32 ux #s(literal 3 binary32))
#s(literal 3 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 1))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (pow ux 2) 1)))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx ux #s(hole binary32 ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (pow ux 3)))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* -1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (pow ux 2) 1))))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1))))))
#s(approx (pow ux 3) #s(hole binary32 (pow ux 3)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 1))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 ux)))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ 1 (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- 1 (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))) (pow ux 2))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- 1 (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- 1 (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (/ 1 ux) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) 1) ux)) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) (+ 1 (/ 1 (pow ux 3)))) ux)) 1)))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	ux	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) (/ 1 (+ (+ (* ux ux) ux) 1)) 1 (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux) ux (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow ux 3) 3 (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (- 1 (pow ux 3)))
2.0ms	ux	@	0	((+ (- 1 ux) (* ux maxCos)) (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) (/ 1 (+ (+ (* ux ux) ux) 1)) 1 (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux) ux (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow ux 3) 3 (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (- 1 (pow ux 3)))
2.0ms	ux	@	inf	((+ (- 1 ux) (* ux maxCos)) (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) (/ 1 (+ (+ (* ux ux) ux) 1)) 1 (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux) ux (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow ux 3) 3 (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (- 1 (pow ux 3)))
0.0ms	maxCos	@	-inf	((+ (- 1 ux) (* ux maxCos)) (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) (/ 1 (+ (+ (* ux ux) ux) 1)) 1 (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux) ux (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow ux 3) 3 (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (- 1 (pow ux 3)))
0.0ms	maxCos	@	inf	((+ (- 1 ux) (* ux maxCos)) (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) (/ 1 (+ (+ (* ux ux) ux) 1)) 1 (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux) ux (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow ux 3) 3 (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (- 1 (pow ux 3)))

simplify178.0ms (6.4%)

Memory

-17.4MiB live, 168.4MiB allocated; 92ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	174	997
1	395	989
2	1213	977
3	4620	976
0	8251	904

Stop Event

1×	iter limit
1×	node limit

Counts

59 → 59

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 1))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (pow ux 2) 1)))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx ux #s(hole binary32 ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (pow ux 3)))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* -1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (pow ux 2) 1))))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1))))))
#s(approx (pow ux 3) #s(hole binary32 (pow ux 3)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 1))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 ux)))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ 1 (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- 1 (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))) (pow ux 2))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- 1 (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- 1 (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (/ 1 ux) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) 1) ux)) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) (+ 1 (/ 1 (pow ux 3)))) ux)) 1)))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(literal 1 binary32))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(literal 1 binary32))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (pow ux 2) 1)))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (fma.f32 (fma.f32 ux ux #s(literal -1 binary32)) ux #s(literal 1 binary32)))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1)))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (fma.f32 (fma.f32 (*.f32 ux ux) (-.f32 #s(literal 1 binary32) ux) #s(literal -1 binary32)) ux #s(literal 1 binary32)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(literal 1 binary32))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 ux #s(literal -1 binary32)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) ux)
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx (+ (* ux ux) ux) (fma.f32 ux ux ux))
#s(approx ux #s(hole binary32 ux))
#s(approx ux ux)
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (pow ux 3)))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (pow.f32 ux #s(literal 3 binary32)))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* -1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) ux) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (pow ux 2) 1))))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (*.f32 (fma.f32 (fma.f32 ux ux #s(literal -1 binary32)) ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* (pow ux 3) (+ 1 (* ux (- (* (pow ux 2) (+ 1 (* -1 ux))) 1))))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (.f32 (fma.f32 (fma.f32 (.f32 ux ux) (-.f32 #s(literal 1 binary32) ux) #s(literal -1 binary32)) ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (pow ux 3) #s(hole binary32 (pow ux 3)))
#s(approx (pow ux 3) (pow.f32 ux #s(literal 3 binary32)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(literal 1 binary32))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 1))
#s(approx (- 1 (pow ux 3)) #s(literal 1 binary32))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (- 1 (pow ux 3)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (neg.f32 ux))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) ux) ux))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ 1 (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 #s(literal 1 binary32) ux) ux))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- 1 (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux) ux))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 (+.f32 (-.f32 (/.f32 (/.f32 #s(literal 1 binary32) ux) ux) #s(literal 1 binary32)) ux) ux) (*.f32 ux ux)))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 (+.f32 (-.f32 (/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux) ux) #s(literal 1 binary32)) ux) ux) (*.f32 ux ux)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) (*.f32 ux ux))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) (fma.f32 ux ux ux))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) (*.f32 ux ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (* ux ux) ux) (fma.f32 ux ux ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) ux)
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- 1 (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (/ 1 ux)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (fma.f32 (/.f32 (-.f32 (/.f32 (/.f32 #s(literal 1 binary32) ux) ux) #s(literal 1 binary32)) ux) ux ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (+ 1 (/ 1 (pow ux 3))) (+ (/ 1 ux) (/ 1 (pow ux 4)))))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (fma.f32 (/.f32 (-.f32 (/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux) ux) #s(literal 1 binary32)) ux) ux ux))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (neg.f32 ux))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) ux) ux))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (pow ux 3)) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (- 1 (pow ux 3)) (*.f32 (-.f32 (/.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (fma.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) #s(literal -1 binary32) maxCos) ux))
#s(approx (- (/ 1 (+ (+ (* ux ux) ux) 1)) (/ (pow ux 3) (+ (+ (* ux ux) ux) 1))) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux)))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- 1 (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 (+.f32 (-.f32 (/.f32 (/.f32 #s(literal 1 binary32) ux) ux) #s(literal 1 binary32)) ux) ux) (*.f32 ux ux)))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (/ (+ 1 (* -1 (/ (- (+ 1 (/ 1 (pow ux 3))) (/ 1 (pow ux 2))) ux))) (pow ux 2))))
#s(approx (/ 1 (+ (+ (* ux ux) ux) 1)) (/.f32 (/.f32 (+.f32 (-.f32 (/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux) ux) #s(literal 1 binary32)) ux) ux) (*.f32 ux ux)))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (/ 1 ux) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (*.f32 (+.f32 (/.f32 #s(literal -1 binary32) ux) #s(literal 1 binary32)) ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) 1) ux)) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (fma.f32 (/.f32 (-.f32 (/.f32 (/.f32 #s(literal 1 binary32) ux) ux) #s(literal 1 binary32)) ux) ux ux))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- (* -1 (/ (- (/ 1 (pow ux 2)) (+ 1 (/ 1 (pow ux 3)))) ux)) 1)))))
#s(approx (/ (pow ux 3) (+ (+ (* ux ux) ux) 1)) (fma.f32 (/.f32 (-.f32 (/.f32 (/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux) ux) #s(literal 1 binary32)) ux) ux ux))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux)))
#s(approx (- 1 (pow ux 3)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (- 1 (pow ux 3)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (pow.f32 (neg.f32 ux) #s(literal 3 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (+.f32 (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) maxCos))

rewrite96.0ms (3.5%)

Memory

-86.9MiB live, 91.2MiB allocated; 60ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	117
0	26	103
1	131	67
0	1248	65

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

13 → 179

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
#s(literal 1 binary32)
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(fma.f32 ux ux ux)
ux
(/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(pow.f32 ux #s(literal 3 binary32))
#s(literal 3 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(/.f32 (/.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(/.f32 (neg.f32 (*.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32))))) (neg.f32 (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (neg.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))) (neg.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (neg.f32 (-.f32 ux #s(literal -1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal -1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal -1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 ux #s(literal 3 binary32)))) (*.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))) (*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (-.f32 #s(literal -1 binary32) (pow.f32 (neg.f32 ux) #s(literal 3 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 ux #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (*.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) ux)) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32)))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(-.f32 (/.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (/.f32 (/.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(-.f32 (/.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))) (/.f32 (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))))
(-.f32 (/.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux #s(literal -1 binary32))) (/.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
(neg.f32 (/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(*.f32 (/.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(*.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -1/2 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -1/2 binary32)))
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 #s(literal -1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 #s(literal 1 binary32) (neg.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 #s(literal 1 binary32) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -1 binary32))
(exp.f32 (*.f32 (log1p.f32 (fma.f32 ux ux ux)) #s(literal -1 binary32)))
(neg.f32 (/.f32 #s(literal -1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 #s(literal 1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
#s(literal 1 binary32)
(*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(/.f32 (*.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 (*.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(/.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 (-.f32 ux #s(literal -1 binary32)) (-.f32 ux #s(literal -1 binary32)))) (-.f32 (.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (-.f32 ux #s(literal -1 binary32)) #s(literal 3 binary32))) (+.f32 (pow.f32 ux #s(literal 4 binary32)) (-.f32 (.f32 (-.f32 ux #s(literal -1 binary32)) (-.f32 ux #s(literal -1 binary32))) (.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (neg.f32 (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(-.f32 (/.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 (-.f32 ux #s(literal -1 binary32))) ux))
(fma.f32 (pow.f32 ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 1 binary32)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (neg.f32 (neg.f32 ux)) (neg.f32 (neg.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (neg.f32 (fabs.f32 ux)) (neg.f32 (fabs.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (fabs.f32 (fabs.f32 ux)) (fabs.f32 (fabs.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (-.f32 ux #s(literal -1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (neg.f32 ux) (neg.f32 ux) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (fabs.f32 ux) (fabs.f32 ux) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (.f32 ux ux) #s(literal 1 binary32) (.f32 (-.f32 ux #s(literal -1 binary32)) #s(literal 1 binary32)))
(fma.f32 (fma.f32 ux ux ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 ux (-.f32 ux #s(literal -1 binary32)) #s(literal 1 binary32))
(fma.f32 ux ux (-.f32 ux #s(literal -1 binary32)))
(fma.f32 #s(literal 1 binary32) (.f32 ux ux) (.f32 #s(literal 1 binary32) (-.f32 ux #s(literal -1 binary32))))
(fma.f32 #s(literal 1 binary32) (fma.f32 ux ux ux) #s(literal 1 binary32))
(+.f32 (.f32 (.f32 ux ux) #s(literal 1 binary32)) (*.f32 (-.f32 ux #s(literal -1 binary32)) #s(literal 1 binary32)))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux ux)) ux)
(+.f32 (.f32 #s(literal 1 binary32) (.f32 ux ux)) (*.f32 #s(literal 1 binary32) (-.f32 ux #s(literal -1 binary32))))
(+.f32 (/.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))))
(+.f32 (-.f32 ux #s(literal -1 binary32)) (*.f32 ux ux))
(+.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32)))
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(+.f32 ux (fma.f32 ux ux #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))
(*.f32 (-.f32 ux #s(literal -1 binary32)) ux)
(*.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(*.f32 ux (-.f32 ux #s(literal -1 binary32)))
(*.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux)) #s(literal 1 binary32)) (-.f32 (*.f32 ux ux) ux))
(/.f32 (.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))))
(/.f32 (-.f32 (.f32 ux ux) (pow.f32 ux #s(literal 4 binary32))) (-.f32 ux (.f32 ux ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux))) (neg.f32 (-.f32 (.f32 ux ux) ux)))
(/.f32 (neg.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux (-.f32 ux (*.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux)) (-.f32 (.f32 ux ux) ux))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux (-.f32 ux (*.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))))
(-.f32 (/.f32 (pow.f32 ux #s(literal 4 binary32)) (-.f32 (.f32 ux ux) ux)) (/.f32 (.f32 ux ux) (-.f32 (*.f32 ux ux) ux)))
(-.f32 (.f32 ux ux) (.f32 #s(literal -1 binary32) ux))
(-.f32 ux (*.f32 (neg.f32 (neg.f32 ux)) (neg.f32 ux)))
(-.f32 ux (*.f32 (neg.f32 (fabs.f32 ux)) (fabs.f32 ux)))
(-.f32 ux (*.f32 (neg.f32 ux) ux))
(-.f32 ux (*.f32 ux (neg.f32 ux)))
(fma.f32 (pow.f32 ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 1 binary32)) ux)
(fma.f32 (neg.f32 (neg.f32 ux)) (neg.f32 (neg.f32 ux)) ux)
(fma.f32 (neg.f32 (fabs.f32 ux)) (neg.f32 (fabs.f32 ux)) ux)
(fma.f32 (fabs.f32 (fabs.f32 ux)) (fabs.f32 (fabs.f32 ux)) ux)
(fma.f32 (neg.f32 ux) (neg.f32 ux) ux)
(fma.f32 (fabs.f32 ux) (fabs.f32 ux) ux)
(fma.f32 ux ux ux)
(+.f32 (/.f32 (pow.f32 ux #s(literal 6 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))))
(+.f32 (*.f32 ux ux) ux)
(+.f32 ux (*.f32 ux ux))
ux
(*.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(*.f32 (pow.f32 ux #s(literal 3/2 binary32)) (/.f32 (pow.f32 ux #s(literal 3/2 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(.f32 (.f32 ux ux) (/.f32 ux (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(.f32 ux (/.f32 (.f32 ux ux) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (neg.f32 (pow.f32 (neg.f32 ux) #s(literal 3 binary32))) (neg.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (pow.f32 (neg.f32 ux) #s(literal 3 binary32)) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(neg.f32 (/.f32 (pow.f32 (neg.f32 ux) #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(.f32 (.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (*.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))))
(.f32 (.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (pow.f32 ux #s(literal 3/2 binary32)))
(.f32 (.f32 ux (neg.f32 ux)) (neg.f32 ux))
(.f32 (.f32 ux (fabs.f32 ux)) (fabs.f32 ux))
(.f32 (.f32 #s(literal 1 binary32) (*.f32 ux ux)) ux)
(*.f32 (neg.f32 (pow.f32 ux #s(literal 3/2 binary32))) (neg.f32 (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (fabs.f32 (pow.f32 ux #s(literal 3/2 binary32))) (fabs.f32 (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (pow.f32 ux #s(literal 3/2 binary32)) (pow.f32 ux #s(literal 3/2 binary32)))
(.f32 (neg.f32 ux) (.f32 (neg.f32 ux) ux))
(.f32 (fabs.f32 ux) (.f32 (fabs.f32 ux) ux))
(.f32 (.f32 ux ux) ux)
(*.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))
(.f32 ux (.f32 ux ux))
(*.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))
(pow.f32 (exp.f32 (log.f32 ux)) #s(literal 3 binary32))
(pow.f32 (pow.f32 ux #s(literal 3/2 binary32)) #s(literal 2 binary32))
(pow.f32 (*.f32 ux ux) #s(literal 3/2 binary32))
(pow.f32 ux #s(literal 3 binary32))
(+.f32 (cosh.f32 (.f32 (log.f32 ux) #s(literal 3 binary32))) (sinh.f32 (.f32 (log.f32 ux) #s(literal 3 binary32))))
(exp.f32 (+.f32 #s(literal 0 binary32) (*.f32 (log.f32 ux) #s(literal 3 binary32))))
(exp.f32 (*.f32 (log.f32 ux) #s(literal 3 binary32)))
#s(literal 3 binary32)
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(/.f32 (/.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(/.f32 (neg.f32 (*.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) ux))) (neg.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32))))) (neg.f32 (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (neg.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))) (neg.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (neg.f32 (-.f32 ux #s(literal -1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal -1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 (.f32 #s(literal -1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 ux #s(literal 3 binary32)))) (*.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))) (*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (-.f32 #s(literal -1 binary32) (pow.f32 (neg.f32 ux) #s(literal 3 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 ux #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (*.f32 (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (-.f32 #s(literal 1 binary32) ux)) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32)))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(-.f32 (/.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (/.f32 (/.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(-.f32 (/.f32 (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -3 binary32)) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))) (/.f32 (/.f32 (pow.f32 ux #s(literal 9 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 3 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal -2 binary32)))))
(-.f32 (/.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))) (/.f32 (*.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (pow.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) #s(literal 2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux #s(literal -1 binary32))) (/.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
(neg.f32 (/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(*.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32)))) (neg.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32)))) (neg.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 6 binary32)) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))
(+.f32 #s(literal 1 binary32) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))

eval29.0ms (1%)

Memory: 24.6MiB live, 70.9MiB allocated; 3ms collecting garbage
Compiler: Compiled 11 656 to 1 327 computations (88.6% saved)

prune9.0ms (0.3%)

Memory

-19.8MiB live, 26.9MiB allocated; 2ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	384	2	386
Fresh	0	0	0
Picked	2	0	2
Done	0	5	5
Total	386	7	393

Accuracy

100.0%

Counts

393 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓	99.8%	(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
▶	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
✓	97.3%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))))
✓	74.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 91 to 74 computations (18.7% saved)

series7.0ms (0.3%)

Memory

16.6MiB live, 16.6MiB allocated; 0ms collecting garbage

Counts

15 → 50

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux)))
(*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
#s(literal 1 binary32)
(/.f32 #s(literal 1 binary32) ux)
ux
(neg.f32 ux)
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux))
(.f32 (.f32 ux ux) ux)
(*.f32 ux ux)
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(fma.f32 ux ux ux)

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 1))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ -1 ux)))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ (- ux 1) ux)))
#s(approx (/ 1 ux) #s(hole binary32 (/ 1 ux)))
#s(approx ux #s(hole binary32 ux))
#s(approx (neg ux) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 1))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (* (* ux ux) ux) #s(hole binary32 (pow ux 3)))
#s(approx (* ux ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 ux)))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 1))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (- 1 (/ 1 ux))))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	ux	@	-inf	((+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (* (- 1 (/ 1 ux)) (neg ux)) (- 1 (/ 1 ux)) 1 (/ 1 ux) ux (neg ux) (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) (- 1 (* (* ux ux) ux)) (* (* ux ux) ux) (* ux ux) (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux))
2.0ms	ux	@	inf	((+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (* (- 1 (/ 1 ux)) (neg ux)) (- 1 (/ 1 ux)) 1 (/ 1 ux) ux (neg ux) (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) (- 1 (* (* ux ux) ux)) (* (* ux ux) ux) (* ux ux) (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux))
1.0ms	ux	@	0	((+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (* (- 1 (/ 1 ux)) (neg ux)) (- 1 (/ 1 ux)) 1 (/ 1 ux) ux (neg ux) (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) (- 1 (* (* ux ux) ux)) (* (* ux ux) ux) (* ux ux) (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux))
0.0ms	maxCos	@	-inf	((+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (* (- 1 (/ 1 ux)) (neg ux)) (- 1 (/ 1 ux)) 1 (/ 1 ux) ux (neg ux) (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) (- 1 (* (* ux ux) ux)) (* (* ux ux) ux) (* ux ux) (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux))
0.0ms	maxCos	@	inf	((+ (- 1 ux) (* ux maxCos)) (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (* (- 1 (/ 1 ux)) (neg ux)) (- 1 (/ 1 ux)) 1 (/ 1 ux) ux (neg ux) (+ (- 1 ux) (* ux maxCos)) (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) (- 1 (* (* ux ux) ux)) (* (* ux ux) ux) (* ux ux) (+ (+ (* ux ux) ux) 1) (+ (* ux ux) ux))

simplify120.0ms (4.3%)

Memory

-7.3MiB live, 132.6MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	623
1	271	613
2	703	604
3	2738	584
4	7658	584
0	8324	542

Stop Event

1×	iter limit
1×	node limit

Counts

50 → 50

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 1))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ -1 ux)))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ (- ux 1) ux)))
#s(approx (/ 1 ux) #s(hole binary32 (/ 1 ux)))
#s(approx ux #s(hole binary32 ux))
#s(approx (neg ux) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 1))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (* (* ux ux) ux) #s(hole binary32 (pow ux 3)))
#s(approx (* ux ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 ux)))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 1))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (- 1 (/ 1 ux))))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 1))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (+ 1 (* ux (- maxCos 1)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(literal 1 binary32))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 1))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(literal 1 binary32))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ -1 ux)))
#s(approx (- 1 (/ 1 ux)) (/.f32 #s(literal -1 binary32) ux))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (/ (- ux 1) ux)))
#s(approx (- 1 (/ 1 ux)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))
#s(approx (/ 1 ux) #s(hole binary32 (/ 1 ux)))
#s(approx (/ 1 ux) (/.f32 #s(literal 1 binary32) ux))
#s(approx ux #s(hole binary32 ux))
#s(approx ux ux)
#s(approx (neg ux) #s(hole binary32 (* -1 ux)))
#s(approx (neg ux) (neg.f32 ux))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 1))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(literal 1 binary32))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (+ 1 (* -1 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 1))
#s(approx (- 1 (* (* ux ux) ux)) #s(literal 1 binary32))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (+ 1 (* -1 (pow ux 3)))))
#s(approx (- 1 (* (* ux ux) ux)) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (* (* ux ux) ux) #s(hole binary32 (pow ux 3)))
#s(approx (* (* ux ux) ux) (pow.f32 ux #s(literal 3 binary32)))
#s(approx (* ux ux) #s(hole binary32 (pow ux 2)))
#s(approx (* ux ux) (*.f32 ux ux))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 1))
#s(approx (+ (+ (* ux ux) ux) 1) #s(literal 1 binary32))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 ux)))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 ux #s(literal -1 binary32)))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (+ 1 (* ux (+ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 ux))
#s(approx (+ (* ux ux) ux) ux)
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* ux (+ 1 ux))))
#s(approx (+ (* ux ux) ux) (fma.f32 ux ux ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- maxCos 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* ux (- (+ maxCos (/ 1 ux)) 1))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (neg.f32 ux))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 ux)))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) (neg.f32 ux))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 1))
#s(approx (- 1 (/ 1 ux)) #s(literal 1 binary32))
#s(approx (- 1 (/ 1 ux)) #s(hole binary32 (- 1 (/ 1 ux))))
#s(approx (- 1 (/ 1 ux)) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (neg.f32 ux))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* ux (- (/ 1 ux) 1))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (pow ux 3))))
#s(approx (- 1 (* (* ux ux) ux)) (pow.f32 (neg.f32 ux) #s(literal 3 binary32)))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* (pow ux 3) (- (/ 1 (pow ux 3)) 1))))
#s(approx (- 1 (* (* ux ux) ux)) (*.f32 (-.f32 (/.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (pow ux 2)))
#s(approx (+ (+ (* ux ux) ux) 1) (*.f32 ux ux))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (+ (* ux ux) ux) 1) (fma.f32 ux ux ux))
#s(approx (+ (+ (* ux ux) ux) 1) #s(hole binary32 (* (pow ux 2) (+ 1 (+ (/ 1 ux) (/ 1 (pow ux 2)))))))
#s(approx (+ (+ (* ux ux) ux) 1) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (pow ux 2)))
#s(approx (+ (* ux ux) ux) (*.f32 ux ux))
#s(approx (+ (* ux ux) ux) #s(hole binary32 (* (pow ux 2) (+ 1 (/ 1 ux)))))
#s(approx (+ (* ux ux) ux) (fma.f32 ux ux ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (+ 1 (* -1 maxCos))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 (-.f32 maxCos #s(literal 1 binary32)) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* ux (- (+ 1 (* -1 maxCos)) (/ 1 ux))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (* (- 1 (/ 1 ux)) (neg ux)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (/ (- 1 (* (* ux ux) ux)) (+ (+ (* ux ux) ux) 1)) #s(hole binary32 (* -1 (* ux (- 1 (/ 1 ux))))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (- 1 (* (* ux ux) ux)) #s(hole binary32 (* -1 (* (pow ux 3) (- 1 (/ 1 (pow ux 3)))))))
#s(approx (- 1 (* (* ux ux) ux)) (*.f32 (-.f32 (/.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (pow.f32 ux #s(literal 3 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- 1 ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (- (+ 1 (* maxCos ux)) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* maxCos (- (+ ux (/ 1 maxCos)) (/ ux maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(hole binary32 (* -1 (* maxCos (+ (* -1 ux) (* -1 (/ (- 1 ux) maxCos)))))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux)))

rewrite79.0ms (2.8%)

Memory

-0.2MiB live, 45.2MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	131
0	36	123
1	142	87
0	1146	85

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

15 → 157

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux)))
(*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
#s(literal 1 binary32)
(/.f32 #s(literal 1 binary32) ux)
ux
(neg.f32 ux)
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux))
(.f32 (.f32 ux ux) ux)
(*.f32 ux ux)
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(fma.f32 ux ux ux)

Outputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))))
#s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))))
(*.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))) ux)
(*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))
(*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (neg.f32 ux)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (*.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -3 binary32))) (neg.f32 ux)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux)))
(/.f32 (*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32)))) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (*.f32 (neg.f32 ux) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -3 binary32)))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux)))
(neg.f32 (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) ux))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32)))) (neg.f32 (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -3 binary32)))) (neg.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -3 binary32))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux)))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal -2 binary32)) (+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux))) (/.f32 (pow.f32 ux #s(literal -3 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal -2 binary32))) (/.f32 #s(literal 1 binary32) ux))))
(-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
#s(literal 1 binary32)
(*.f32 (pow.f32 ux #s(literal -1/2 binary32)) (pow.f32 ux #s(literal -1/2 binary32)))
(*.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
(/.f32 #s(literal -1 binary32) (neg.f32 ux))
(/.f32 #s(literal 1 binary32) (neg.f32 (neg.f32 ux)))
(/.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) ux)
(pow.f32 ux #s(literal -1 binary32))
(exp.f32 (*.f32 (log.f32 ux) #s(literal -1 binary32)))
(neg.f32 (/.f32 #s(literal -1 binary32) ux))
(neg.f32 (/.f32 #s(literal 1 binary32) (neg.f32 ux)))
ux
(neg.f32 ux)
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(*.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(/.f32 (-.f32 (.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))) (.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))) (+.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (-.f32 (pow.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) #s(literal 3 binary32)) (pow.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) #s(literal 3 binary32))) (fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (fma.f32 (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (*.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux))) (neg.f32 (-.f32 ux #s(literal -1 binary32))))
(/.f32 (neg.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))))) (neg.f32 (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(/.f32 (-.f32 (.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 ux ux)) (-.f32 ux #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (*.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (*.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 ux #s(literal -1 binary32))) (/.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(-.f32 #s(literal 1 binary32) ux)
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)) (/.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(fma.f32 (/.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)) (/.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(+.f32 (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))) (/.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))) (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))))
(neg.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)))))
(*.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32)) (-.f32 #s(literal 1 binary32) ux))
(/.f32 (+.f32 #s(literal 1 binary32) (pow.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) #s(literal 3 binary32))) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 ux #s(literal 6 binary32)) (*.f32 #s(literal 1 binary32) (neg.f32 (pow.f32 ux #s(literal 3 binary32)))))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32)))) (neg.f32 (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32)))) (neg.f32 (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 9 binary32))) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 6 binary32)) (+.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))) (/.f32 (pow.f32 ux #s(literal 9 binary32)) (+.f32 (+.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 6 binary32))) (pow.f32 ux #s(literal 3 binary32)))))
(-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))
(fma.f32 (*.f32 (neg.f32 ux) ux) ux #s(literal 1 binary32))
(fma.f32 ux (*.f32 (neg.f32 ux) ux) #s(literal 1 binary32))
(+.f32 (neg.f32 (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 (neg.f32 (pow.f32 ux #s(literal 3/2 binary32))) (pow.f32 ux #s(literal 3/2 binary32))))
(+.f32 #s(literal 1 binary32) (.f32 (neg.f32 ux) (.f32 ux ux)))
(+.f32 #s(literal 1 binary32) (neg.f32 (pow.f32 ux #s(literal 3 binary32))))
(.f32 (.f32 ux (fabs.f32 ux)) (fabs.f32 ux))
(.f32 (.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (*.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))))
(.f32 (.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3/2 binary32))) (pow.f32 ux #s(literal 3/2 binary32)))
(.f32 (.f32 #s(literal 1 binary32) (*.f32 ux ux)) ux)
(.f32 (.f32 (neg.f32 ux) ux) (neg.f32 ux))
(*.f32 (neg.f32 (pow.f32 ux #s(literal 3/2 binary32))) (neg.f32 (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (fabs.f32 (pow.f32 ux #s(literal 3/2 binary32))) (fabs.f32 (pow.f32 ux #s(literal 3/2 binary32))))
(*.f32 (pow.f32 ux #s(literal 3/2 binary32)) (pow.f32 ux #s(literal 3/2 binary32)))
(.f32 (fabs.f32 ux) (.f32 (fabs.f32 ux) ux))
(*.f32 (pow.f32 ux #s(literal 3 binary32)) #s(literal 1 binary32))
(.f32 (.f32 ux ux) ux)
(.f32 (neg.f32 ux) (.f32 (neg.f32 ux) ux))
(.f32 ux (.f32 ux ux))
(*.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32)))
(pow.f32 (exp.f32 (log.f32 ux)) #s(literal 3 binary32))
(pow.f32 (pow.f32 ux #s(literal 3/2 binary32)) #s(literal 2 binary32))
(pow.f32 (*.f32 ux ux) #s(literal 3/2 binary32))
(pow.f32 ux #s(literal 3 binary32))
(+.f32 (cosh.f32 (.f32 (log.f32 ux) #s(literal 3 binary32))) (sinh.f32 (.f32 (log.f32 ux) #s(literal 3 binary32))))
(exp.f32 (+.f32 #s(literal 0 binary32) (*.f32 (log.f32 ux) #s(literal 3 binary32))))
(exp.f32 (*.f32 (log.f32 ux) #s(literal 3 binary32)))
(*.f32 (neg.f32 (fabs.f32 ux)) (neg.f32 (fabs.f32 ux)))
(*.f32 (neg.f32 (neg.f32 ux)) (neg.f32 (neg.f32 ux)))
(*.f32 (fabs.f32 (fabs.f32 ux)) (fabs.f32 (fabs.f32 ux)))
(*.f32 (pow.f32 ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 1 binary32)))
(*.f32 (fabs.f32 ux) (fabs.f32 ux))
(*.f32 (neg.f32 ux) (neg.f32 ux))
(*.f32 ux ux)
(pow.f32 (fabs.f32 ux) #s(literal 2 binary32))
(pow.f32 (neg.f32 ux) #s(literal 2 binary32))
(pow.f32 ux #s(literal 2 binary32))
(fabs.f32 (*.f32 ux ux))
(exp.f32 (*.f32 (log.f32 ux) #s(literal 2 binary32)))
(neg.f32 (*.f32 (neg.f32 ux) ux))
(/.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 (-.f32 ux #s(literal -1 binary32)) (-.f32 ux #s(literal -1 binary32)))) (-.f32 (.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))
(/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32))) (-.f32 #s(literal 1 binary32) (fma.f32 ux ux ux)))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 (-.f32 ux #s(literal -1 binary32)) #s(literal 3 binary32))) (+.f32 (pow.f32 ux #s(literal 4 binary32)) (-.f32 (.f32 (-.f32 ux #s(literal -1 binary32)) (-.f32 ux #s(literal -1 binary32))) (.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32))))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32))) (neg.f32 (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(/.f32 (neg.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32))) (neg.f32 (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (+.f32 #s(literal 1 binary32) (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) (fma.f32 ux ux ux))))
(/.f32 (-.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) #s(literal -1 binary32)) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux)))
(-.f32 (/.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (-.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(-.f32 (fma.f32 ux ux ux) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 (-.f32 ux #s(literal -1 binary32))) ux))
(fma.f32 (neg.f32 (fabs.f32 ux)) (neg.f32 (fabs.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (neg.f32 (neg.f32 ux)) (neg.f32 (neg.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (fabs.f32 (fabs.f32 ux)) (fabs.f32 (fabs.f32 ux)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (pow.f32 ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 1 binary32)) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (-.f32 ux #s(literal -1 binary32)) ux #s(literal 1 binary32))
(fma.f32 (fabs.f32 ux) (fabs.f32 ux) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 (fma.f32 ux ux ux) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 ux) (neg.f32 ux) (-.f32 ux #s(literal -1 binary32)))
(fma.f32 ux (-.f32 ux #s(literal -1 binary32)) #s(literal 1 binary32))
(fma.f32 ux ux (-.f32 ux #s(literal -1 binary32)))
(fma.f32 #s(literal 1 binary32) (fma.f32 ux ux ux) #s(literal 1 binary32))
(+.f32 (+.f32 #s(literal 1 binary32) (*.f32 ux ux)) ux)
(+.f32 (/.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 3 binary32)) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))) (/.f32 #s(literal 1 binary32) (-.f32 (+.f32 (pow.f32 (fma.f32 ux ux ux) #s(literal 2 binary32)) #s(literal 1 binary32)) (fma.f32 ux ux ux))))
(+.f32 (-.f32 ux #s(literal -1 binary32)) (*.f32 ux ux))
(+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(+.f32 (*.f32 ux ux) (-.f32 ux #s(literal -1 binary32)))
(+.f32 ux (fma.f32 ux ux #s(literal 1 binary32)))
(+.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))
(*.f32 (-.f32 ux #s(literal -1 binary32)) ux)
(*.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))
(*.f32 ux (-.f32 ux #s(literal -1 binary32)))
(*.f32 #s(literal 1 binary32) (fma.f32 ux ux ux))
(/.f32 (.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux)) #s(literal 1 binary32)) (-.f32 (*.f32 ux ux) ux))
(/.f32 (.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) #s(literal 1 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))))
(/.f32 (-.f32 (.f32 ux ux) (pow.f32 ux #s(literal 4 binary32))) (-.f32 ux (.f32 ux ux)))
(/.f32 (neg.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux))) (neg.f32 (-.f32 (.f32 ux ux) ux)))
(/.f32 (neg.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32)))) (neg.f32 (fma.f32 ux (-.f32 ux (*.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))))
(/.f32 (-.f32 (pow.f32 ux #s(literal 4 binary32)) (.f32 ux ux)) (-.f32 (.f32 ux ux) ux))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux ux (-.f32 (pow.f32 ux #s(literal 4 binary32)) (pow.f32 ux #s(literal 3 binary32)))))
(/.f32 (+.f32 (pow.f32 ux #s(literal 6 binary32)) (pow.f32 ux #s(literal 3 binary32))) (fma.f32 ux (-.f32 ux (*.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32))))
(-.f32 (/.f32 (pow.f32 ux #s(literal 4 binary32)) (-.f32 (.f32 ux ux) ux)) (/.f32 (.f32 ux ux) (-.f32 (*.f32 ux ux) ux)))
(-.f32 (.f32 ux ux) (.f32 #s(literal -1 binary32) ux))
(-.f32 ux (*.f32 (neg.f32 ux) ux))
(fma.f32 (neg.f32 (fabs.f32 ux)) (neg.f32 (fabs.f32 ux)) ux)
(fma.f32 (neg.f32 (neg.f32 ux)) (neg.f32 (neg.f32 ux)) ux)
(fma.f32 (fabs.f32 (fabs.f32 ux)) (fabs.f32 (fabs.f32 ux)) ux)
(fma.f32 (pow.f32 ux #s(literal 1 binary32)) (pow.f32 ux #s(literal 1 binary32)) ux)
(fma.f32 (fabs.f32 ux) (fabs.f32 ux) ux)
(fma.f32 (neg.f32 ux) (neg.f32 ux) ux)
(fma.f32 ux ux ux)
(+.f32 (/.f32 (pow.f32 ux #s(literal 6 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (fma.f32 ux (-.f32 ux (.f32 ux ux)) (pow.f32 ux #s(literal 4 binary32)))))
(+.f32 (*.f32 ux ux) ux)
(+.f32 ux (*.f32 ux ux))

eval15.0ms (0.5%)

Memory: 20.2MiB live, 20.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 5 720 to 834 computations (85.4% saved)

prune25.0ms (0.9%)

Memory

-30.8MiB live, 15.6MiB allocated; 2ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	204	7	211

Accuracy

100.0%

Counts

211 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
✓	99.8%	(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
✓	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
✓	97.3%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	96.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))))
✓	74.0%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 275 to 124 computations (54.9% saved)

regimes15.0ms (0.5%)

Memory

15.4MiB live, 15.4MiB allocated; 0ms collecting garbage

Counts

12 → 1

Calls

Call 1

Inputs
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
(-.f32 (fma.f32 maxCos ux #s(literal 1 binary32)) ux)
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 maxCos ux)))
#s(approx (+ (- 1 ux) (* ux maxCos)) #s(approx (/ (- 1 (pow ux 3)) (+ (+ (* ux ux) ux) 1)) (*.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)) (neg.f32 ux))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 ux ux) ux)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))))
(+.f32 (/.f32 (-.f32 #s(literal 1 binary32) (pow.f32 ux #s(literal 3 binary32))) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))))
(+.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32))) (/.f32 (pow.f32 ux #s(literal 3 binary32)) (+.f32 (fma.f32 ux ux ux) #s(literal 1 binary32)))) (*.f32 ux maxCos))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes9.0ms (0.3%)

Memory

10.4MiB live, 10.4MiB allocated; 0ms collecting garbage

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes7.0ms (0.2%)

Memory

9.0MiB live, 9.0MiB allocated; 0ms collecting garbage

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes18.0ms (0.7%)

Memory

-40.3MiB live, 10.6MiB allocated; 7ms collecting garbage

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

regimes4.0ms (0.2%)

Memory

12.3MiB live, 12.3MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 16 computations (-60% saved)

simplify36.0ms (1.3%)

Memory

-1.3MiB live, 41.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	34	39
2	67	39
3	115	39
4	200	39
5	561	39
6	4136	39

Stop Event

1×	node limit

Calls

Call 1

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

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

derivations72.0ms (2.6%)

Memory

30.9MiB live, 76.7MiB allocated; 4ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 39 to 17 computations (56.4% saved)

preprocess21.0ms (0.8%)

Memory: -26.6MiB live, 17.7MiB allocated; 7ms collecting garbage
Remove: (abs uy)
Compiler: Compiled 106 to 62 computations (41.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze73.0ms (2.6%)

sample1.3s (46.7%)

explain59.0ms (2.1%)

preprocess201.0ms (7.3%)

eval0.0ms (0%)

prune0.0ms (0%)

series5.0ms (0.2%)

simplify91.0ms (3.3%)

rewrite63.0ms (2.3%)

eval5.0ms (0.2%)

prune5.0ms (0.2%)

series5.0ms (0.2%)

simplify145.0ms (5.2%)

rewrite52.0ms (1.9%)

eval21.0ms (0.7%)

prune6.0ms (0.2%)

series8.0ms (0.3%)

simplify178.0ms (6.4%)

rewrite96.0ms (3.5%)

eval29.0ms (1%)

prune9.0ms (0.3%)

series7.0ms (0.3%)

simplify120.0ms (4.3%)

rewrite79.0ms (2.8%)

eval15.0ms (0.5%)

prune25.0ms (0.9%)

regimes15.0ms (0.5%)

regimes9.0ms (0.3%)

regimes7.0ms (0.2%)

regimes18.0ms (0.7%)

regimes4.0ms (0.2%)

simplify36.0ms (1.3%)

derivations72.0ms (2.6%)

preprocess21.0ms (0.8%)

end0.0ms (0%)

Profiling