Metrics for HairBSDF, sample

start0.0ms (0.0%)

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

analyze70.0ms (0.6%)

Memory

-1.6MiB live, 137.8MiB allocated; 18ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	0.9%	99.1%	0.0%	0.0%	0.0%	0
0.0%	0.0%	0.9%	99.1%	0.0%	0.0%	0.0%	1
0.0%	0.0%	0.9%	99.1%	0.0%	0.0%	0.0%	2
0.0%	0.0%	0.9%	99.1%	0.0%	0.0%	0.0%	3
0.0%	0.0%	0.9%	99.1%	0.0%	0.0%	0.0%	4
37.5%	0.3%	0.5%	99.1%	0.0%	0.0%	0.0%	5
43.7%	0.4%	0.5%	99.1%	0.0%	0.0%	0.0%	6
65.6%	0.6%	0.3%	99.1%	0.0%	0.0%	0.0%	7
70.3%	0.6%	0.3%	99.1%	0.0%	0.0%	0.0%	8
82.0%	0.7%	0.2%	99.1%	0.0%	0.0%	0.0%	9
84.8%	0.7%	0.1%	99.1%	0.0%	0.0%	0.0%	10
90.8%	0.8%	0.1%	99.1%	0.0%	0.0%	0.0%	11
92.3%	0.8%	0.1%	99.1%	0.0%	0.0%	0.0%	12

Compiler

Compiled 31 to 23 computations (25.8% saved)

sample1.2s (9.9%)

Memory

99.1MiB live, 1 847.9MiB allocated; 528ms collecting garbage

Samples

937.0ms

8 256×

valid

Precisions

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

ival-exp: 203.0ms (34.8% of total, 179.8 MiB)

ival-log: 115.0ms (19.7% of total, 199.2 MiB)

ival-mult!: 90.0ms (15.4% of total, 167.3 MiB)

ival-add!: 62.0ms (10.6% of total, 109.2 MiB)

ival-div!: 55.0ms (9.4% of total, 108.5 MiB)

ival-sub!: 45.0ms (7.7% of total, 64.7 MiB)

adjust: 11.0ms (1.9% of total, 12.5 MiB)

ival-<=: 2.0ms (0.3% of total, 3.7 MiB)

ival-and: 1.0ms (0.2% of total, 3.0 MiB)

ival-assert: 0.0ms (0.0% of total, 1.0 MiB)

Bogosity

preprocess740.0ms (6.3%)

Memory

-23.4MiB live, 19.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	96
1	261	90
2	1991	90
3	16382	90
4	41560	90

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.5%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Compiler

Compiled 30 to 24 computations (20.0% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-2

Outputs
#s(literal 1 binary32)
#s(literal -2 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series54.0ms (0.5%)

Memory

40.6MiB live, 82.8MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	460	3869

Stop Event

1×	iter-limit

Counts

12 → 11

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
(*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u u)
#s(approx (- 1 u) #s(literal 1 binary32))
#s(approx (- 1 u) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u)))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(literal -2 binary32))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
#s(approx (- 1 u) (*.f32 #s(literal -1 binary32) u))
#s(approx v v)
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))

Calls

6 calls:

Time	Variable	Point
33.0ms	v	0
2.0ms	v	inf
2.0ms	u	inf
1.0ms	u	-inf
1.0ms	v	-inf

rewrite1.3s (11.1%)

Memory

-22.2MiB live, 60.5MiB allocated; 34ms collecting garbage

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	71
0	20	71
1	87	71
2	569	71
3	4739	71
4	38190	71
0	51327	12

Stop Event

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

Counts

12 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
(*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Outputs

eval19.0ms (0.2%)

Memory: 38.2MiB live, 38.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 133 to 44 computations (66.9% saved)

prune2.0ms (0.0%)

Memory

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

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	5	13

Accuracy

99.5%

Counts

13 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.5%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
▶	96.2%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
▶	87.8%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
▶	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
▶	5.0%	#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Compiler

Compiled 46 to 24 computations (47.8% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-2
-1

Outputs
#s(literal 1 binary32)
#s(literal -2 binary32)
#s(literal -1 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 5 to 5 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series39.0ms (0.3%)

Memory

-11.2MiB live, 80.6MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	472	3913

Stop Event

1×	iter-limit

Counts

23 → 13

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
#s(literal -1 binary32)
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
(*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(log.f32 (+.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))
(log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u u)
#s(approx (- 1 u) #s(literal 1 binary32))
#s(approx (- 1 u) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u)))
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
#s(approx (* -2 (- 1 u)) #s(literal -2 binary32))
#s(approx (* -2 (- 1 u)) (-.f32 (*.f32 #s(literal 2 binary32) u) #s(literal 2 binary32)))
#s(approx (- 1 u) (*.f32 #s(literal -1 binary32) u))
#s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))
#s(approx v v)
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))

Calls

6 calls:

Time	Variable	Point
10.0ms	v	0
4.0ms	u	0
1.0ms	u	inf
1.0ms	u	-inf
1.0ms	v	-inf

rewrite2.1s (18.1%)

Memory

116.2MiB live, 1 820.0MiB allocated; 520ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	226
0	45	226
1	192	226
2	1330	226
3	10926	226
4	38077	226
0	50647	216

Stop Event

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

Counts

23 → 505

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
#s(literal -1 binary32)
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
(*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(log.f32 (+.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))
(log.f32 (+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))

Outputs
#s(literal 1 binary32)
v
u
(*.f32 (fma.f32 #s(literal -2 binary32) u #s(literal 2 binary32)) #s(literal 1/2 binary32))
(*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) u))
(/.f32 (fma.f32 u u #s(literal -1 binary32)) (-.f32 #s(literal -1 binary32) u))
(/.f32 (-.f32 #s(literal 1 binary32) (*.f32 u u)) (-.f32 u #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(literal -2 binary32) u #s(literal 2 binary32))))
(-.f32 (+.f32 (neg.f32 u) (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (/.f32 #s(literal 1 binary32) (pow.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32))))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 3 binary32)) #s(literal 3 binary32))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) u))
(-.f32 (neg.f32 u) #s(literal -1 binary32))
(-.f32 #s(literal 0 binary32) (-.f32 u #s(literal 1 binary32)))
(-.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 0 binary32))
(-.f32 #s(literal 1 binary32) u)
(fma.f32 (*.f32 #s(literal -2 binary32) u) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (fma.f32 #s(literal -2 binary32) u #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 u) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) u #s(literal 1 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 u #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (neg.f32 u) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) u) #s(literal 0 binary32))
(+.f32 (neg.f32 u) #s(literal 1 binary32))
(+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 0 binary32))
(+.f32 #s(literal 1 binary32) (neg.f32 u))
(neg.f32 (-.f32 u #s(literal 1 binary32)))
#s(literal -2 binary32)
(.f32 #s(literal 1/4 binary32) (log.f32 (exp.f32 (.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 4 binary32)))))
(.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 1/2 binary32))
(.f32 (.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 #s(literal 1/2 binary32) (log.f32 (exp.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)))))
(*.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32))
(.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (log.f32 (*.f32 (E.f32) (E.f32))))
(.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32))
(.f32 (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (log.f32 (/.f32 #s(literal 1 binary32) (/.f32 (*.f32 (E.f32) (E.f32)) #s(literal 1 binary32)))))
(.f32 (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32))
(*.f32 #s(literal 2 binary32) (log.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 #s(literal 2 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(*.f32 #s(literal -1 binary32) (log.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)))))
(*.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal -2 binary32) v)))
(*.f32 (/.f32 #s(literal -2 binary32) v) (log.f32 (E.f32)))
(*.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 1 binary32))
(.f32 #s(literal -2 binary32) (log.f32 (exp.f32 (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)))))
(.f32 #s(literal -2 binary32) (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(*.f32 #s(literal 1 binary32) (log.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(*.f32 #s(literal 1 binary32) (/.f32 #s(literal -2 binary32) v))
(/.f32 #s(literal -2 binary32) v)
(/.f32 #s(literal 1 binary32) (/.f32 (neg.f32 v) #s(literal 2 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 v #s(literal -2 binary32)))
(-.f32 (+.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 9 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 3 binary32)) #s(literal 3 binary32))
(-.f32 (+.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(-.f32 #s(literal 0 binary32) (neg.f32 (/.f32 #s(literal -2 binary32) v)))
(-.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32))
(fma.f32 #s(literal 1/4 binary32) (log.f32 (exp.f32 (*.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 4 binary32)))) #s(literal 0 binary32))
(fma.f32 #s(literal -1/2 binary32) (neg.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 1/2 binary32) (log.f32 (exp.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (log.f32 (.f32 (E.f32) (E.f32))) #s(literal 0 binary32))
(fma.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (log.f32 (/.f32 #s(literal 1 binary32) (/.f32 (.f32 (E.f32) (E.f32)) #s(literal 1 binary32)))) #s(literal 0 binary32))
(fma.f32 (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (*.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 2 binary32) (log.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (log.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (neg.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (/.f32 #s(literal -2 binary32) v) (log.f32 (E.f32)) #s(literal 0 binary32))
(fma.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal -2 binary32) (log.f32 (exp.f32 (*.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal -2 binary32) (*.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (log.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal 1 binary32) (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32))
(+.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))
(+.f32 #s(literal 0 binary32) (/.f32 #s(literal -2 binary32) v))
(+.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32))
(neg.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)))
(*.f32 (neg.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))) (neg.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(.f32 (.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 (.f32 #s(literal 2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32))
(.f32 (.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32)) #s(literal -1 binary32))
(.f32 (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32))
(.f32 (fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32))
(.f32 (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32))) #s(literal 1/4 binary32))
(.f32 (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32))) #s(literal 1/4 binary32))
(.f32 (.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32))
(.f32 (fma.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32))
(.f32 (fma.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32))
(.f32 (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))) #s(literal 1/4 binary32))
(.f32 (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))) #s(literal 1/4 binary32))
(*.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(.f32 #s(literal 2 binary32) (.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(*.f32 #s(literal -1 binary32) (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(/.f32 (.f32 (-.f32 (cosh.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (exp.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)))))))
(/.f32 (.f32 (-.f32 (cosh.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (exp.f32 (/.f32 #s(literal -2 binary32) v))) (-.f32 (cosh.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))))
(/.f32 #s(literal -1 binary32) (neg.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v)))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 4 binary32) (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 4 binary32) (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32)))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 4 binary32) (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 4 binary32) (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))))))
(/.f32 #s(literal 1 binary32) (/.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 (exp.f32 (*.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32)))
(/.f32 #s(literal 1 binary32) (pow.f32 (.f32 (E.f32) (E.f32)) (.f32 #s(literal -1/2 binary32) (/.f32 #s(literal -2 binary32) v))))
(/.f32 #s(literal 1 binary32) (pow.f32 (/.f32 #s(literal 1 binary32) (/.f32 (.f32 (E.f32) (E.f32)) #s(literal 1 binary32))) (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v))))
(/.f32 #s(literal 1 binary32) (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))))
(sqrt.f32 (*.f32 (exp.f32 (fma.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32))) #s(literal 1 binary32)))
(sqrt.f32 (.f32 (exp.f32 (+.f32 #s(literal 0 binary32) (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)))) #s(literal 1 binary32)))
(sqrt.f32 (*.f32 #s(literal 1 binary32) (exp.f32 (fma.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32)))))
(sqrt.f32 (.f32 #s(literal 1 binary32) (exp.f32 (+.f32 #s(literal 0 binary32) (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))))))
(sqrt.f32 (exp.f32 (fma.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v) #s(literal 0 binary32))))
(sqrt.f32 (exp.f32 (+.f32 #s(literal 0 binary32) (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)))))
(sqrt.f32 (exp.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))))
(-.f32 (+.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)))) (.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32)))
(-.f32 (*.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32) (neg.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)))))
(-.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (neg.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v))))
(-.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))))
(-.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(fma.f32 (neg.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))) (neg.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 0 binary32))
(fma.f32 (*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 #s(literal 2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32)) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32))) #s(literal 1/4 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32))) #s(literal 1/4 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))) #s(literal 1/4 binary32) #s(literal 0 binary32))
(fma.f32 (fma.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))) #s(literal 1/4 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 #s(literal 2 binary32) (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal -1/2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (neg.f32 (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal -1/2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) (sqrt.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 0 binary32))
(fma.f32 (*.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (*.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal 2 binary32) (*.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 0 binary32))
(fma.f32 #s(literal 2 binary32) (.f32 (sinh.f32 (.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v))) (cosh.f32 (*.f32 #s(literal 1/2 binary32) (/.f32 #s(literal -2 binary32) v)))) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 1 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 1 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal -1 binary32) (neg.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v))) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal -1 binary32) (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal -1 binary32) (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 0 binary32))
(fma.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal 1 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(fma.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(+.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 #s(literal 0 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(+.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal 0 binary32))
(fabs.f32 (-.f32 (.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32)) (+.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
(fabs.f32 (-.f32 (fma.f32 (exp.f32 (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32) (neg.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (*.f32 #s(literal 1/2 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(fabs.f32 (-.f32 #s(literal 0 binary32) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(fabs.f32 (neg.f32 (*.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal -1 binary32))))
(fabs.f32 (neg.f32 (*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32))))
(fabs.f32 (*.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal -1 binary32)))
(fabs.f32 (*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -1 binary32)))
(fabs.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(fabs.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(exp.f32 (.f32 (fma.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v) (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (fma.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v) (.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32))) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (fma.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (fma.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32) (.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32))) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (.f32 (*.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v)) #s(literal 2 binary32)) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (.f32 (*.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 2 binary32)) #s(literal 2 binary32)) #s(literal 1/4 binary32)))
(exp.f32 (.f32 (.f32 #s(literal -2 binary32) (neg.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1/2 binary32)))
(exp.f32 (/.f32 #s(literal -2 binary32) v))
(neg.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(*.f32 #s(literal 1 binary32) #s(approx (- 1 u) #s(literal 1 binary32)))
#s(approx (- 1 u) #s(literal 1 binary32))
(neg.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))))
#s(literal -1 binary32)
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
(neg.f32 (neg.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(*.f32 (-.f32 u #s(literal 1 binary32)) #s(literal 2 binary32))
(*.f32 #s(literal 2 binary32) (-.f32 u #s(literal 1 binary32)))
(.f32 (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)) #s(literal 1 binary32))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
(*.f32 (-.f32 #s(literal 1 binary32) u) #s(literal -2 binary32))
(.f32 #s(literal 1 binary32) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
(/.f32 (-.f32 #s(literal 4 binary32) (.f32 (.f32 #s(literal -2 binary32) u) (.f32 #s(literal -2 binary32) u))) (+.f32 #s(literal -2 binary32) (.f32 #s(literal -2 binary32) u)))
(/.f32 (+.f32 #s(literal -8 binary32) (neg.f32 (.f32 (.f32 (.f32 (neg.f32 u) u) u) #s(literal 8 binary32)))) (+.f32 #s(literal 4 binary32) (-.f32 (.f32 (.f32 #s(literal -2 binary32) u) (.f32 #s(literal -2 binary32) u)) (.f32 #s(literal -2 binary32) (.f32 (neg.f32 u) #s(literal -2 binary32))))))
(-.f32 (fma.f32 (neg.f32 u) #s(literal -2 binary32) #s(literal 1 binary32)) #s(literal 3 binary32))
(-.f32 (*.f32 (neg.f32 u) #s(literal -2 binary32)) #s(literal 2 binary32))
(-.f32 #s(literal -2 binary32) (*.f32 #s(literal -2 binary32) u))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))
(fma.f32 (fma.f32 u #s(literal 2 binary32) #s(literal -2 binary32)) #s(literal 1/2 binary32) (-.f32 u #s(literal 1 binary32)))
(fma.f32 (*.f32 (neg.f32 u) #s(literal -2 binary32)) #s(literal 1 binary32) #s(literal -2 binary32))
(fma.f32 (neg.f32 u) #s(literal -2 binary32) #s(literal -2 binary32))
(fma.f32 (-.f32 u #s(literal 1 binary32)) #s(literal 1 binary32) (-.f32 u #s(literal 1 binary32)))
(fma.f32 #s(literal -2 binary32) (neg.f32 u) #s(literal -2 binary32))
(fma.f32 (-.f32 #s(literal 1 binary32) u) #s(literal -1 binary32) (-.f32 u #s(literal 1 binary32)))
(fma.f32 #s(literal 1 binary32) (*.f32 (neg.f32 u) #s(literal -2 binary32)) #s(literal -2 binary32))
(fma.f32 #s(literal 1 binary32) (-.f32 u #s(literal 1 binary32)) (-.f32 u #s(literal 1 binary32)))
(+.f32 (*.f32 (neg.f32 u) #s(literal -2 binary32)) #s(literal -2 binary32))
(+.f32 (-.f32 u #s(literal 1 binary32)) (-.f32 u #s(literal 1 binary32)))
(+.f32 #s(literal -2 binary32) (*.f32 (neg.f32 u) #s(literal -2 binary32)))
(neg.f32 (fma.f32 #s(literal -2 binary32) u #s(literal 2 binary32)))
(.f32 (.f32 #s(literal 2 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 1/2 binary32))
(.f32 (.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 (neg.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal -1 binary32))
(.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32))
(.f32 #s(literal -1 binary32) (neg.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(.f32 #s(literal 1 binary32) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32))))
(-.f32 #s(literal 9 binary32) (+.f32 #s(literal 9 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))))
(-.f32 #s(literal 3 binary32) (+.f32 #s(literal 3 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))))
(-.f32 #s(literal 0 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
(fma.f32 (.f32 #s(literal 2 binary32) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 0 binary32))
(+.f32 #s(literal 0 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(+.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 0 binary32))
(neg.f32 (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(*.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))))
(*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1 binary32))
(*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))
(*.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))
(.f32 #s(literal 1 binary32) (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(/.f32 (-.f32 (.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))) (/.f32 #s(literal 1 binary32) (pow.f32 (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal -2 binary32)))) (-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))))
(/.f32 (fma.f32 (pow.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 2 binary32)) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (pow.f32 (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 2 binary32)) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))) (-.f32 (fma.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (/.f32 #s(literal 1 binary32) (pow.f32 (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal -2 binary32)))) (.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))))
(-.f32 (.f32 (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32)))) (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))
(-.f32 (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (cosh.f32 (/.f32 #s(literal -2 binary32) v))))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))
(fma.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 (.f32 (.f32 #s(literal 2 binary32) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 1/2 binary32) (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 (.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 1/2 binary32) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (*.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(+.f32 (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(+.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(neg.f32 (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(*.f32 (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) #s(literal 0 binary32)) (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(/.f32 (-.f32 (.f32 (.f32 (exp.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(approx (- 1 u) #s(literal 1 binary32))) (.f32 u u)) (-.f32 (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) u))
(/.f32 (-.f32 (.f32 u u) (.f32 (.f32 (exp.f32 (.f32 #s(literal 2 binary32) (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(approx (- 1 u) #s(literal 1 binary32)))) (-.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))
(/.f32 (fma.f32 (.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) #s(approx (- 1 u) #s(literal 1 binary32))) #s(approx (- 1 u) #s(literal 1 binary32))) (exp.f32 (.f32 (/.f32 #s(literal -2 binary32) v) #s(literal 3 binary32))) (.f32 (.f32 u u) u)) (fma.f32 (-.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) u) (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) (.f32 u u)))
(/.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) #s(literal -1 binary32)))
(-.f32 (+.f32 u (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))) (.f32 (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))))
(-.f32 (+.f32 u (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))) (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))))
(-.f32 (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (fma.f32 (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32)) (neg.f32 u)))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (-.f32 (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u))
(-.f32 (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) (neg.f32 u))
(-.f32 u (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(fma.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) (neg.f32 (-.f32 (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u)))
(fma.f32 (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) #s(literal 1/2 binary32) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u))
(fma.f32 (.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 1/2 binary32) (neg.f32 (-.f32 (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u)))
(fma.f32 (.f32 (.f32 #s(literal 2 binary32) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) #s(approx (- 1 u) #s(literal 1 binary32))) #s(literal 1/2 binary32) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u))
(fma.f32 (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) u)
(fma.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (neg.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v))) u)
(fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) (neg.f32 (-.f32 (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u)))
(fma.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u))
(fma.f32 (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) #s(literal 1 binary32) u)
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (neg.f32 (-.f32 (*.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u)))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)
(fma.f32 (exp.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u)
(fma.f32 #s(literal 1 binary32) (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) u)
(+.f32 (+.f32 u (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))) (.f32 (neg.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v))) (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32)))))
(+.f32 (+.f32 u (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)))) (.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))))
(+.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (neg.f32 (-.f32 (.f32 (neg.f32 #s(approx (- 1 u) #s(literal 1 binary32))) (sinh.f32 (/.f32 #s(literal -2 binary32) v))) u)))
(+.f32 (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32))) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(approx (- 1 u) #s(literal 1 binary32)) u))
(+.f32 (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))) u)
(+.f32 u (*.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v))))
(neg.f32 (neg.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))
(log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(.f32 (.f32 #s(literal 2 binary32) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 1/2 binary32))
(*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) #s(literal 1 binary32))
(*.f32 #s(literal -1 binary32) (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(*.f32 #s(literal 1 binary32) (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(*.f32 #s(literal 1 binary32) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (*.f32 #s(literal 2 binary32) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))))
(neg.f32 (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) (neg.f32 v)))))
(.f32 (.f32 #s(literal 2 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)) #s(literal 1/2 binary32))
(.f32 (.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(*.f32 (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) (neg.f32 v))
(*.f32 (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) v)
(.f32 (.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal -1 binary32))
(*.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) #s(literal 1 binary32))))))
(*.f32 (neg.f32 v) (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32))
(*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)
(*.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) v)))))
(.f32 #s(literal -1 binary32) (.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(*.f32 v (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(*.f32 v (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))
(.f32 #s(literal 1 binary32) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 2 binary32))))
(-.f32 #s(literal 9 binary32) (+.f32 #s(literal 9 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))))
(-.f32 #s(literal 3 binary32) (+.f32 #s(literal 3 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))))
(-.f32 #s(literal 0 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)))
(fma.f32 (.f32 #s(literal 2 binary32) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) (neg.f32 v) #s(literal 0 binary32))
(fma.f32 (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) v #s(literal 0 binary32))
(fma.f32 (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) #s(literal 1 binary32))))) #s(literal 0 binary32))
(fma.f32 (neg.f32 v) (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 0 binary32))
(fma.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 0 binary32))
(fma.f32 v (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 0 binary32))
(fma.f32 v (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 0 binary32))
(+.f32 #s(literal 0 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v))
(+.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 0 binary32))
(neg.f32 (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(.f32 (.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(*.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32))
(*.f32 #s(literal 1 binary32) (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)))
(/.f32 (-.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -2 binary32))) #s(literal 1 binary32)) (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (/.f32 #s(literal 1 binary32) (pow.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -2 binary32)))) (-.f32 #s(literal 1 binary32) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)))
(/.f32 (fma.f32 (pow.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 2 binary32)) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32)) (fma.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal -1 binary32)) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (*.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32))))
(-.f32 (+.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 3 binary32)) #s(literal 3 binary32))
(-.f32 (+.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (/.f32 #s(literal 1 binary32) (pow.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32))))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)))))
(-.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)))
(-.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))))
(fma.f32 (.f32 #s(literal 2 binary32) (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (*.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 (.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) (neg.f32 v) #s(literal 1 binary32))
(fma.f32 (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) v #s(literal 1 binary32))
(fma.f32 (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) #s(literal 1 binary32))))) #s(literal 1 binary32))
(fma.f32 (neg.f32 v) (neg.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 1 binary32))
(fma.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u) v)))) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (*.f32 (neg.f32 v) (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 1 binary32))
(fma.f32 v (log.f32 (fabs.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))) #s(literal 1 binary32))
(fma.f32 v (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32))
(+.f32 (fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(+.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v))
(neg.f32 (-.f32 #s(literal -1 binary32) (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)))
(.f32 (pow.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(literal 0 binary32)) (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))
(/.f32 (.f32 (-.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) (-.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))
(/.f32 (.f32 (-.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))) (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) (-.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(/.f32 (fma.f32 (.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))) #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) (.f32 (.f32 u u) u)) (fma.f32 (-.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) (*.f32 u u)))
(/.f32 #s(literal 1 binary32) (pow.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(literal -1 binary32)))
(-.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) (neg.f32 u))
(-.f32 u (neg.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(fma.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) #s(literal 1 binary32) u)
(fma.f32 #s(literal 1 binary32) #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)
(+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)
(+.f32 u #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)))
(neg.f32 (-.f32 (neg.f32 u) #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))
(log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))
(.f32 (.f32 #s(literal 2 binary32) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 1/2 binary32))
(.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) #s(literal 1 binary32))
(.f32 #s(literal -1 binary32) (neg.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 #s(literal 1 binary32) (log.f32 (fabs.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 #s(literal 1 binary32) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))))
(neg.f32 (neg.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) (neg.f32 v)))))
(.f32 (.f32 #s(literal 2 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)) #s(literal 1/2 binary32))
(.f32 (.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 (neg.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) (neg.f32 v))
(.f32 (log.f32 (fabs.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) v)
(.f32 (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal -1 binary32))
(.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(literal 1 binary32))))))
(.f32 (neg.f32 v) (neg.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32))
(.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)
(.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) v)))))
(.f32 #s(literal -1 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 v (log.f32 (fabs.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 v (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))
(.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 #s(literal 2 binary32) (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 2 binary32))))
(-.f32 #s(literal 9 binary32) (+.f32 #s(literal 9 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))))
(-.f32 #s(literal 3 binary32) (+.f32 #s(literal 3 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))))
(-.f32 #s(literal 0 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(-.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)))
(fma.f32 (.f32 #s(literal 2 binary32) (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) (neg.f32 v) #s(literal 0 binary32))
(fma.f32 (log.f32 (fabs.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) v #s(literal 0 binary32))
(fma.f32 (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal -1 binary32) #s(literal 0 binary32))
(fma.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(literal 1 binary32))))) #s(literal 0 binary32))
(fma.f32 (neg.f32 v) (neg.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 0 binary32))
(fma.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) v)))) #s(literal 0 binary32))
(fma.f32 #s(literal -1 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 0 binary32))
(fma.f32 v (log.f32 (fabs.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 0 binary32))
(fma.f32 v (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 0 binary32))
(+.f32 #s(literal 0 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v))
(+.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 0 binary32))
(neg.f32 (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(.f32 (.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 (fma.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (fma.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)))
(/.f32 (fma.f32 (.f32 (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) v #s(literal -1 binary32)) (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal -1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) v)) (-.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)))
(/.f32 (fma.f32 (pow.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 2 binary32)) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32)) (fma.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal -1 binary32)) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (.f32 (fma.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32))))
(-.f32 (+.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 3 binary32)) #s(literal 3 binary32))
(-.f32 (+.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v (*.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (/.f32 #s(literal 1 binary32) (pow.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32))))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)))))
(-.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)))
(-.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(-.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))))
(fma.f32 (.f32 #s(literal 2 binary32) (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (.f32 (fma.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 (.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) (neg.f32 v) #s(literal 1 binary32))
(fma.f32 (log.f32 (fabs.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) v #s(literal 1 binary32))
(fma.f32 (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 v) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (/.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) #s(literal 1 binary32))))) #s(literal 1 binary32))
(fma.f32 (neg.f32 v) (neg.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 1 binary32))
(fma.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (log.f32 (fabs.f32 (/.f32 #s(literal 1 binary32) (pow.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u) v)))) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (.f32 (neg.f32 v) (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 1 binary32))
(fma.f32 v (log.f32 (fabs.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))) #s(literal 1 binary32))
(fma.f32 v (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32))
(+.f32 (fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32)) #s(literal 0 binary32))
(+.f32 (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v))
(neg.f32 (-.f32 #s(literal -1 binary32) (.f32 (log.f32 (+.f32 #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v)))
(.f32 (fma.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32)) #s(literal 1/2 binary32))
(.f32 (-.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 1 binary32))
(.f32 #s(literal 1 binary32) (-.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)))
(/.f32 (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) (-.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32)))
(/.f32 (-.f32 #s(literal 1 binary32) (.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))) (-.f32 #s(literal 1 binary32) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(/.f32 (fma.f32 (.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32)) (fma.f32 (-.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32)) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 3 binary32)) #s(literal 3 binary32))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 1 binary32)) #s(literal 1 binary32))
(-.f32 (+.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v)))) (/.f32 #s(literal 1 binary32) (pow.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) #s(literal -2 binary32))))
(-.f32 (.f32 (cosh.f32 (/.f32 #s(literal -2 binary32) v)) (cosh.f32 (/.f32 #s(literal -2 binary32) v))) (fma.f32 (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (sinh.f32 (/.f32 #s(literal -2 binary32) v)) (neg.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))))
(-.f32 #s(literal 0 binary32) (-.f32 #s(literal -1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(-.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 0 binary32))
(-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32))
(-.f32 #s(literal 1 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))
(fma.f32 (.f32 #s(literal 2 binary32) #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 0 binary32))
(fma.f32 (.f32 #s(approx ( v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32)) #s(literal 1/2 binary32) #s(literal 1 binary32))
(fma.f32 (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal -1 binary32) #s(literal 1 binary32))
(fma.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 1 binary32) #s(literal 0 binary32))
(fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32) #s(literal 1 binary32))
(fma.f32 #s(literal -1 binary32) (neg.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 1 binary32))
(fma.f32 #s(literal 1 binary32) (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 0 binary32))
(fma.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32))
(+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 0 binary32))
(+.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(neg.f32 (-.f32 #s(literal -1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))))

eval46.0ms (0.4%)

Memory: 16.5MiB live, 103.8MiB allocated; 19ms collecting garbage
Compiler: Compiled 8 486 to 2 202 computations (74.1% saved)

prune167.0ms (1.4%)

Memory

-64.0MiB live, 38.9MiB allocated; 219ms collecting garbage

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	520	11	531
Fresh	0	0	0
Picked	2	2	4
Done	0	1	1
Total	522	14	536

Accuracy

99.5%

Counts

536 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	96.2%	(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
▶	87.8%	(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
	7.6%	(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
▶	7.6%	(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
▶	96.2%	(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
	20.4%	(+.f32 #s(approx 1 #s(literal 0 binary32)) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(approx 1 #s(literal 0 binary32)) u))))
✓	99.5%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
	87.7%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) #s(approx (- 1 u) #s(literal 1 binary32)))))))
▶	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
▶	45.5%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))
✓	5.0%	#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Compiler

Compiled 249 to 110 computations (55.8% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-2
-1
2
9
3

Outputs
#s(literal 1 binary32)
#s(literal -2 binary32)
#s(literal -1 binary32)
#s(literal 2 binary32)
#s(literal 9 binary32)
#s(literal 3 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 8 to 8 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series881.0ms (7.5%)

Memory

-9.6MiB live, 80.1MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	530	5074

Stop Event

1×	iter-limit

Counts

34 → 19

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
#s(literal -1 binary32)
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(literal 2 binary32)
(*.f32 #s(literal 2 binary32) u)
#s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))
#s(literal 9 binary32)
#s(literal 3 binary32)
(*.f32 #s(literal -2 binary32) u)
(+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)
(log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
(+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)
(log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32))
(+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u)))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u u)
#s(approx (- 1 u) #s(literal 1 binary32))
#s(approx (- 1 u) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u)))
#s(approx (* -2 (- 1 u)) #s(literal -2 binary32))
#s(approx (* -2 (- 1 u)) (-.f32 (*.f32 #s(literal 2 binary32) u) #s(literal 2 binary32)))
#s(approx (* 2 u) (*.f32 #s(literal 2 binary32) u))
#s(approx (* -2 u) (*.f32 #s(literal -2 binary32) u))
#s(approx (+ 3 (* -2 u)) #s(literal 3 binary32))
#s(approx (+ 3 (* -2 u)) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))
#s(approx (- (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v) -1) #s(literal -1 binary32))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 8 binary32))
#s(approx (- 1 u) (*.f32 #s(literal -1 binary32) u))
#s(approx v v)
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32))
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(approx (- (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v) -1) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))

Calls

6 calls:

Time	Variable	Point
15.0ms	v	0
1.0ms	u	inf
1.0ms	u	0
1.0ms	u	-inf
1.0ms	v	inf

rewrite1.7s (14.4%)

Memory

33.2MiB live, 127.2MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	347
0	65	335
1	284	335
2	2112	335
3	18811	335
4	41937	335
0	50816	34

Stop Event

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

Counts

34 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
#s(literal -1 binary32)
#s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(literal 2 binary32)
(*.f32 #s(literal 2 binary32) u)
#s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))
#s(literal 9 binary32)
#s(literal 3 binary32)
(*.f32 #s(literal -2 binary32) u)
(+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u))
(-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)
(log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v)
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
(+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)
(log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32))
(+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u)))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))

Outputs

eval2.0ms (0.0%)

Memory: 4.8MiB live, 4.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 288 to 83 computations (71.2% saved)

prune8.0ms (0.1%)

Memory

-36.0MiB live, 9.2MiB allocated; 5ms collecting garbage

Pruning

11 alts after pruning (6 fresh and 5 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	2	4	6
Picked	3	2	5
Done	0	3	3
Total	37	11	48

Accuracy

99.5%

Counts

48 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.2%	(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
▶	7.6%	(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
✓	96.2%	(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
▶	7.6%	(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))
▶	87.8%	(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
✓	99.5%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
▶	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
✓	5.0%	#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Compiler

Compiled 172 to 79 computations (54.1% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-2
2
9
10

Outputs
#s(literal 1 binary32)
#s(literal -2 binary32)
#s(literal 2 binary32)
#s(literal 9 binary32)
#s(literal 10 binary32)

Samples

0.0ms

1×

valid

Compiler

Compiled 7 to 7 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total, 0.0 MiB)

series673.0ms (5.7%)

Memory

31.9MiB live, 73.3MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	890	9682

Stop Event

1×	iter-limit

Counts

29 → 20

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(literal 2 binary32)
#s(literal 9 binary32)
(+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)
(log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
(fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))
(/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
#s(literal 10 binary32)
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32))
(+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))

Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx u u)
#s(approx (- 1 u) #s(literal 1 binary32))
#s(approx (- 1 u) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -1 binary32) u)))
#s(approx (* -2 (- 1 u)) #s(literal -2 binary32))
#s(approx (* -2 (- 1 u)) (-.f32 (*.f32 #s(literal 2 binary32) u) #s(literal 2 binary32)))
#s(approx (+ (- 1 u) 9) #s(literal 10 binary32))
#s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -1 binary32) u)))
#s(approx (+ (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v) 1) #s(literal -1 binary32))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 8 binary32))
#s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))
#s(approx (- 1 u) (*.f32 #s(literal -1 binary32) u))
#s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))
#s(approx v v)
#s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) #s(literal 2 binary32))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(approx (+ (* (log (+ (* (- 1 u) (exp (/ -2 v))) u)) v) 1) (+.f32 #s(literal 1 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
#s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))
#s(approx (/ 1 (/ 2 (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2))) (.f32 #s(literal 1/2 binary32) (+.f32 #s(literal 2 binary32) (.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u)))))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))

Calls

6 calls:

Time	Variable	Point
10.0ms	v	0
2.0ms	u	inf
2.0ms	u	-inf
2.0ms	v	inf
1.0ms	u	0

rewrite1.8s (15.3%)

Memory

-4.6MiB live, 123.4MiB allocated; 37ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	324
0	59	301
1	300	293
2	2191	286
3	21068	286
4	42208	286
0	50098	29

Stop Event

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

Counts

29 → 0

Calls

Call 1

Inputs
#s(literal 1 binary32)
v
u
(-.f32 #s(literal 1 binary32) u)
#s(literal -2 binary32)
(/.f32 #s(literal -2 binary32) v)
(exp.f32 (/.f32 #s(literal -2 binary32) v))
#s(approx (- 1 u) #s(literal 1 binary32))
(*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(literal 2 binary32)
#s(literal 9 binary32)
(+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32))
(-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32))
(fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)
(log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
(fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))
(/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32)))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))
#s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
#s(literal 10 binary32)
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32))
(+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))
#s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))

Outputs

eval2.0ms (0.0%)

Memory: 7.8MiB live, 7.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 351 to 109 computations (68.9% saved)

prune4.0ms (0.0%)

Memory

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

Pruning

12 alts after pruning (4 fresh and 8 done)

	Pruned	Kept	Total
New	35	3	38
Fresh	0	1	1
Picked	2	3	5
Done	0	5	5
Total	37	12	49

Accuracy

99.5%

Counts

49 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.2%	(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
	7.6%	(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) #s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))))
✓	96.2%	(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
	7.6%	(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))) #s(literal 9 binary32))
✓	87.8%	(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
✓	99.5%	(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (.f32 #s(literal -1 binary32) u))) #s(literal 9 binary32)))))
✓	7.6%	(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
✓	5.0%	#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Compiler

Compiled 116 to 55 computations (52.6% saved)

regimes278.0ms (2.4%)

Memory

-3.1MiB live, 328.2MiB allocated; 85ms collecting garbage

Counts

1 → 1

17 → 1

18 → 1

20 → 1

21 → 1

Calls

Call 1

Inputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Outputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))

Call 2

Inputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(+.f32 #s(approx 1 #s(literal 0 binary32)) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(approx 1 #s(literal 0 binary32)) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (.f32 #s(literal -1 binary32) u))) #s(literal 9 binary32)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) #s(approx (- 1 u) #s(literal 1 binary32)))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) #s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))

Outputs
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))

Call 3

Inputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(+.f32 #s(approx 1 #s(literal 0 binary32)) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(approx 1 #s(literal 0 binary32)) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (.f32 #s(literal -1 binary32) u))) #s(literal 9 binary32)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) #s(approx (- 1 u) #s(literal 1 binary32)))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) #s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))

Outputs
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))

Call 4

Inputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(+.f32 #s(approx 1 #s(literal 0 binary32)) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(approx 1 #s(literal 0 binary32)) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (.f32 #s(literal -1 binary32) u))) #s(literal 9 binary32)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) #s(approx (- 1 u) #s(literal 1 binary32)))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) #s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Outputs
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))

Call 5

Inputs
#s(approx (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) #s(literal -1 binary32))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(literal 10 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) #s(approx (* -2 (- 1 u)) (*.f32 #s(literal 2 binary32) u))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))))
(+.f32 #s(approx 1 #s(literal 0 binary32)) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(approx 1 #s(literal 0 binary32)) u))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) #s(approx (+ 10 (* -2 (- 1 u))) (+.f32 #s(literal 8 binary32) (*.f32 #s(literal 2 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (-.f32 #s(literal 1 binary32) (+.f32 #s(literal 3 binary32) (*.f32 #s(literal -2 binary32) u)))))
(-.f32 #s(approx (+ (- (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) -1) 9) (+.f32 #s(literal 10 binary32) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u)))) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 (+.f32 (-.f32 #s(literal 1 binary32) u) #s(literal 9 binary32)) #s(literal 9 binary32)))))
(-.f32 (+.f32 (-.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal -1 binary32)) #s(literal 9 binary32)) #s(literal 9 binary32))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (-.f32 #s(approx (+ (- 1 u) 9) (+.f32 #s(literal 10 binary32) (.f32 #s(literal -1 binary32) u))) #s(literal 9 binary32)))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) #s(approx (- 1 u) #s(literal 1 binary32)))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) #s(approx (+ (* (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) 2) 2) (+.f32 #s(literal 2 binary32) (*.f32 #s(literal -4 binary32) (-.f32 #s(literal 1 binary32) u))))))
(fma.f32 (log.f32 (+.f32 #s(approx (* (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u)) u)) v #s(literal 1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u #s(approx ( (- 1 u) (exp (/ -2 v))) (-.f32 #s(literal 1 binary32) u))))))
(/.f32 #s(literal 1 binary32) (/.f32 #s(literal 2 binary32) (fma.f32 #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (*.f32 #s(literal -2 binary32) (-.f32 #s(literal 1 binary32) u))) #s(literal 2 binary32) #s(literal 2 binary32))))
(+.f32 #s(literal 1 binary32) #s(approx (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (.f32 #s(literal -2 binary32) (/.f32 (-.f32 #s(literal 1 binary32) (.f32 (*.f32 u u) u)) (-.f32 (fma.f32 u u u) #s(literal -1 binary32))))))
(fma.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v #s(literal 1 binary32))
(-.f32 (*.f32 (log.f32 (fma.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)) u)) v) #s(literal -1 binary32))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 #s(approx (- 1 u) #s(literal 1 binary32)) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Outputs
(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))

Calls

20 calls:

138.0ms	u
19.0ms	v
7.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))
6.0ms	v
6.0ms	u

Results

Accuracy	Segments	Branch
5.0%	1	`(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))`
5.0%	1	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`
5.0%	1	`v`
5.0%	1	`u`
87.8%	1	`(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))`
87.8%	1	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`
87.8%	1	`u`
87.8%	1	`v`
96.2%	1	`v`
96.2%	1	`(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))`
96.2%	1	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`
96.2%	1	`u`
96.2%	1	`(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))`
96.2%	1	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`
96.2%	1	`u`
96.2%	1	`v`
99.5%	1	`(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v))))))`
99.5%	1	`(+.f32 #s(literal 1 binary32) (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))`
99.5%	1	`u`
99.5%	1	`v`

Compiler

Compiled 350 to 209 computations (40.3% saved)

derivations662.0ms (5.6%)

Memory

17.8MiB live, 141.0MiB allocated; 20ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 42 to 21 computations (50.0% saved)

preprocess37.0ms (0.3%)

Memory: 17.7MiB live, 78.5MiB allocated; 20ms collecting garbage
Compiler: Compiled 57 to 33 computations (42.1% saved)

end0.0ms (0.0%)

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

HairBSDF, sample_f, cosTheta

start0.0ms (0.0%)

analyze70.0ms (0.6%)

sample1.2s (9.9%)

preprocess740.0ms (6.3%)

sample0.0ms (0.0%)

series54.0ms (0.5%)

rewrite1.3s (11.1%)

eval19.0ms (0.2%)

prune2.0ms (0.0%)

sample0.0ms (0.0%)

series39.0ms (0.3%)

rewrite2.1s (18.1%)

eval46.0ms (0.4%)

prune167.0ms (1.4%)

sample0.0ms (0.0%)

series881.0ms (7.5%)

rewrite1.7s (14.4%)

eval2.0ms (0.0%)

prune8.0ms (0.1%)

sample0.0ms (0.0%)

series673.0ms (5.7%)

rewrite1.8s (15.3%)

eval2.0ms (0.0%)

prune4.0ms (0.0%)

regimes278.0ms (2.4%)

derivations662.0ms (5.6%)

preprocess37.0ms (0.3%)

end0.0ms (0.0%)

Profiling