Metrics for UniformSampleCone, z

start0.0ms (0%)

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

analyze316.0ms (20.3%)

Memory

29.9MiB live, 72.7MiB allocated; 705ms 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)

sample429.0ms (27.6%)

Memory

9.1MiB live, 564.1MiB allocated; 71ms collecting garbage

Samples

268.0ms	8 181×	0	valid
4.0ms	75×	1	valid

Precisions

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

ival-mult!: 38.0ms (42.5% of total)

ival-sub!: 24.0ms (26.8% of total)

ival-add!: 18.0ms (20.1% of total)

ival-and: 3.0ms (3.4% of total)

ival-<=: 3.0ms (3.4% of total)

adjust: 2.0ms (2.2% of total)

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

Bogosity

preprocess73.0ms (4.7%)

Memory

-15.2MiB live, 30.0MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	75
1	101	70
2	337	70
3	799	70
4	2934	70

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs uy)

Compiler

Compiled 14 to 14 computations (0% saved)

series78.0ms (5%)

Memory

3.9MiB live, 53.9MiB allocated; 19ms collecting garbage

Counts

6 → 17

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(literal 1 binary32))
#s(approx (+ (- 1 ux) (* ux maxCos)) (+.f32 #s(literal 1 binary32) (*.f32 ux (-.f32 maxCos #s(literal 1 binary32)))))
#s(approx (- 1 ux) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) ux)))
#s(approx ux ux)
#s(approx (* ux maxCos) (*.f32 maxCos ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 maxCos #s(literal 1 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
#s(approx (- 1 ux) (*.f32 #s(literal -1 binary32) ux))
#s(approx (- 1 ux) (*.f32 ux (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(literal -1 binary32) (.f32 ux (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) maxCos)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(literal -1 binary32) (.f32 ux (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) maxCos)) (/.f32 #s(literal 1 binary32) ux)))))
#s(approx (- 1 ux) (.f32 #s(literal -1 binary32) (.f32 ux (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 (+.f32 #s(literal 1 binary32) (*.f32 maxCos ux)) ux))
#s(approx maxCos maxCos)
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (.f32 #s(literal -1 binary32) (.f32 maxCos (fma.f32 #s(literal -1 binary32) ux (*.f32 #s(literal -1 binary32) (/.f32 (-.f32 #s(literal 1 binary32) ux) maxCos))))))

Calls

9 calls:

Time	Variable	Point
1.0ms	ux	-inf
1.0ms	ux	inf
1.0ms	maxCos	0
1.0ms	maxCos	-inf
1.0ms	maxCos	inf

rewrite130.0ms (8.4%)

Memory

17.0MiB live, 107.1MiB allocated; 12ms collecting garbage

Counts

6 → 17

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) ux) (*.f32 ux maxCos))
(+.f32 (*.f32 ux maxCos) (-.f32 #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 ux maxCos)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 (*.f32 ux maxCos)))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(+.f32 #s(literal 1 binary32) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) ux)
(neg.f32 (-.f32 ux #s(literal 1 binary32)))
#s(literal 1 binary32)
(cosh.f32 #s(literal 0 binary32))
(exp.f32 #s(literal 0 binary32))
ux
(*.f32 ux maxCos)
(*.f32 maxCos ux)
maxCos

eval3.0ms (0.2%)

Memory: 4.4MiB live, 4.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 327 to 95 computations (70.9% saved)

prune4.0ms (0.3%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	22	6	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	6	29

Accuracy

100.0%

Counts

29 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
▶	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
▶	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	98.8%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
	98.4%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
▶	71.2%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 138 to 118 computations (14.5% saved)

series102.0ms (6.6%)

Memory

-30.1MiB live, 68.9MiB allocated; 66ms collecting garbage

Counts

15 → 37

Calls

Call 1

Inputs
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
#s(literal 1 binary32)
(-.f32 ux (*.f32 ux maxCos))
ux
(*.f32 ux maxCos)
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)
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))
(+.f32 maxCos (/.f32 #s(literal 1 binary32) ux))
(/.f32 #s(literal 1 binary32) ux)

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

Calls

9 calls:

Time	Variable	Point
3.0ms	ux	-inf
2.0ms	ux	0
1.0ms	ux	inf
1.0ms	maxCos	-inf
1.0ms	maxCos	inf

rewrite122.0ms (7.8%)

Memory

18.3MiB live, 108.8MiB allocated; 12ms collecting garbage

Counts

15 → 54

Calls

Call 1

Inputs
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
#s(literal 1 binary32)
(-.f32 ux (*.f32 ux maxCos))
ux
(*.f32 ux maxCos)
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)
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))
(+.f32 maxCos (/.f32 #s(literal 1 binary32) ux))
(/.f32 #s(literal 1 binary32) ux)

Outputs
(+.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 #s(literal 1 binary32) (neg.f32 (-.f32 ux (*.f32 ux maxCos))))
(-.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux)
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 (*.f32 ux maxCos)))
(-.f32 (*.f32 ux maxCos) (neg.f32 (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(neg.f32 (-.f32 (-.f32 ux (*.f32 ux maxCos)) #s(literal 1 binary32)))
#s(literal 1 binary32)
(cosh.f32 #s(literal 0 binary32))
(exp.f32 #s(literal 0 binary32))
(+.f32 ux (*.f32 (neg.f32 ux) maxCos))
(+.f32 ux (neg.f32 (*.f32 ux maxCos)))
(-.f32 ux (*.f32 ux maxCos))
(neg.f32 (-.f32 (*.f32 ux maxCos) ux))
ux
(*.f32 ux maxCos)
(*.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) (neg.f32 ux))
(-.f32 #s(literal 1 binary32) ux)
(neg.f32 (-.f32 ux #s(literal 1 binary32)))
(+.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 #s(literal 1 binary32) (neg.f32 (-.f32 ux (*.f32 ux maxCos))))
(-.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux)
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 (*.f32 ux maxCos)))
(-.f32 (*.f32 ux maxCos) (neg.f32 (-.f32 #s(literal 1 binary32) ux)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 (neg.f32 ux) maxCos))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(neg.f32 (-.f32 (-.f32 ux (*.f32 ux maxCos)) #s(literal 1 binary32)))
#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
(*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)))
(*.f32 (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32)) ux)
(+.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal -1 binary32))
(+.f32 maxCos (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))
(neg.f32 (-.f32 #s(literal 1 binary32) (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux))))
(+.f32 maxCos (/.f32 #s(literal 1 binary32) ux))
(+.f32 (/.f32 #s(literal 1 binary32) ux) maxCos)
(-.f32 maxCos (neg.f32 (/.f32 #s(literal 1 binary32) ux)))
(/.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) ux)
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux) maxCos)
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
(/.f32 #s(literal 1 binary32) ux)
(/.f32 #s(literal -1 binary32) (neg.f32 ux))
(pow.f32 ux #s(literal -1 binary32))

eval5.0ms (0.3%)

Memory: 10.0MiB live, 10.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 283 to 279 computations (78.3% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	81	7	88

Accuracy

100.0%

Counts

88 → 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 ux maxCos #s(literal 1 binary32)) ux)
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
▶	98.4%	#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
✓	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
▶	96.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux #s(approx (- (+ maxCos (/ 1 ux)) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
✓	71.2%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 81 to 68 computations (16% saved)

series90.0ms (5.8%)

Memory

-18.0MiB live, 74.3MiB allocated; 23ms collecting garbage

Counts

16 → 52

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable	Point
2.0ms	maxCos	0
2.0ms	ux	-inf
2.0ms	maxCos	-inf
1.0ms	ux	0
1.0ms	ux	inf

rewrite122.0ms (7.8%)

Memory

19.5MiB live, 109.7MiB allocated; 12ms collecting garbage

Counts

16 → 53

Calls

Call 1

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

Outputs
#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 ux #s(approx (+ (+ maxCos (/ 1 ux)) -1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
(*.f32 ux #s(approx (+ (+ maxCos (/ 1 ux)) -1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))))
ux
#s(approx (+ (+ maxCos (/ 1 ux)) -1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))
(+.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal -1 binary32))
(-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux) #s(literal -1 binary32))
(neg.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux)))
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) ux))
(/.f32 #s(literal 1 binary32) ux)
(/.f32 #s(literal -1 binary32) (neg.f32 ux))
(pow.f32 ux #s(literal -1 binary32))
#s(literal 1 binary32)
(cosh.f32 #s(literal 0 binary32))
(exp.f32 #s(literal 0 binary32))
#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
(*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos)))
(*.f32 (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos)) maxCos)
maxCos
(+.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (neg.f32 (/.f32 ux maxCos)))
(+.f32 ux (-.f32 (/.f32 #s(literal 1 binary32) maxCos) (/.f32 ux maxCos)))
(-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))
(/.f32 (-.f32 (*.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) maxCos) ux) maxCos)
(neg.f32 (-.f32 (/.f32 ux maxCos) (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos))))
(+.f32 ux (/.f32 #s(literal 1 binary32) maxCos))
(+.f32 (/.f32 #s(literal 1 binary32) maxCos) ux)
(-.f32 ux (neg.f32 (/.f32 #s(literal 1 binary32) maxCos)))
(/.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) maxCos)
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) maxCos) ux)
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) maxCos))
(/.f32 #s(literal 1 binary32) maxCos)
(/.f32 #s(literal -1 binary32) (neg.f32 maxCos))
(pow.f32 maxCos #s(literal -1 binary32))
(*.f32 ux (/.f32 #s(literal 1 binary32) maxCos))
(/.f32 ux maxCos)
(/.f32 (neg.f32 ux) (neg.f32 maxCos))
(+.f32 (*.f32 ux maxCos) (-.f32 #s(literal 1 binary32) ux))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
(+.f32 (fma.f32 ux maxCos #s(literal 1 binary32)) (neg.f32 ux))
(+.f32 #s(literal 1 binary32) (neg.f32 (-.f32 ux (*.f32 ux maxCos))))
(-.f32 (fma.f32 ux maxCos #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 ux maxCos)))
(-.f32 (-.f32 #s(literal 1 binary32) ux) (neg.f32 (*.f32 ux maxCos)))
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(fma.f32 maxCos ux (-.f32 #s(literal 1 binary32) ux))
(neg.f32 (-.f32 ux (fma.f32 ux maxCos #s(literal 1 binary32))))
(neg.f32 (-.f32 (-.f32 ux (*.f32 ux maxCos)) #s(literal 1 binary32)))
(+.f32 (*.f32 ux maxCos) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 ux maxCos))
(-.f32 (*.f32 ux maxCos) #s(literal -1 binary32))
(fma.f32 ux maxCos #s(literal 1 binary32))
(fma.f32 maxCos ux #s(literal 1 binary32))

eval6.0ms (0.4%)

Memory: 12.2MiB live, 12.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 995 to 402 computations (79.8% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	95	7	102

Accuracy

100.0%

Counts

102 → 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 ux maxCos #s(literal 1 binary32)) ux)
✓	100.0%	(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
✓	98.4%	#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
✓	97.7%	#s(approx (+ (- 1 ux) (* ux maxCos)) (-.f32 #s(literal 1 binary32) ux))
✓	96.6%	#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux #s(approx (- (+ maxCos (/ 1 ux)) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
✓	71.2%	#s(approx (+ (- 1 ux) (* ux maxCos)) #s(literal 1 binary32))

Compiler

Compiled 81 to 68 computations (16% saved)

regimes43.0ms (2.8%)

Memory

-16.1MiB live, 77.3MiB allocated; 14ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

2 → 1

3 → 1

4 → 1

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

Call 2

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

Call 3

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 ux maxCos #s(literal 1 binary32)) ux)

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

Call 4

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 ux maxCos #s(literal 1 binary32)) ux)
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))

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

Call 5

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 ux maxCos #s(literal 1 binary32)) ux)
(fma.f32 ux maxCos (-.f32 #s(literal 1 binary32) ux))
(-.f32 #s(literal 1 binary32) (-.f32 ux (*.f32 ux maxCos)))
(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux #s(approx (- (+ maxCos (/ 1 ux)) 1) (-.f32 (/.f32 #s(literal 1 binary32) ux) #s(literal 1 binary32)))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 ux (-.f32 (+.f32 maxCos (/.f32 #s(literal 1 binary32) ux)) #s(literal 1 binary32))))
#s(approx (+ (- 1 ux) (* ux maxCos)) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))
#s(approx (- 1 (- ux (* ux maxCos))) (*.f32 maxCos (-.f32 (+.f32 ux (/.f32 #s(literal 1 binary32) maxCos)) (/.f32 ux maxCos))))

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

Calls

20 calls:

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

Results

Accuracy	Segments	Branch
71.2%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`
71.2%	1	`ux`
71.2%	1	`uy`
71.2%	1	`maxCos`
97.7%	1	`(+.f32 (-.f32 #s(literal 1 binary32) ux) (*.f32 ux maxCos))`
97.7%	1	`ux`
97.7%	1	`uy`
97.7%	1	`maxCos`
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`
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`
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 174 to 119 computations (31.6% saved)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 39 to 17 computations (56.4% saved)

preprocess22.0ms (1.4%)

Memory: 5.6MiB live, 49.4MiB allocated; 6ms collecting garbage
Remove: (abs uy)
Compiler: Compiled 124 to 100 computations (19.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze316.0ms (20.3%)

sample429.0ms (27.6%)

preprocess73.0ms (4.7%)

series78.0ms (5%)

rewrite130.0ms (8.4%)

eval3.0ms (0.2%)

prune4.0ms (0.3%)

series102.0ms (6.6%)

rewrite122.0ms (7.8%)

eval5.0ms (0.3%)

prune3.0ms (0.2%)

series90.0ms (5.8%)

rewrite122.0ms (7.8%)

eval6.0ms (0.4%)

prune4.0ms (0.2%)

regimes43.0ms (2.8%)

derivations1.0ms (0%)

preprocess22.0ms (1.4%)

end0.0ms (0%)

Profiling