Sample trimmed logistic on [-pi, pi]

Time bar (total: 11.9s)

start0.0ms (0.0%)

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

analyze2.0s (16.4%)

Memory
28.9MiB live, 312.1MiB allocated; 38ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%1.6%98.4%0.0%0.0%0.0%0
0.0%0.0%1.6%98.4%0.0%0.0%0.0%1
0.0%0.0%1.6%98.4%0.0%0.0%0.0%2
0.0%0.0%1.6%98.4%0.0%0.0%0.0%3
0.0%0.0%1.6%98.4%0.0%0.0%0.0%4
25.0%0.4%1.2%98.4%0.0%0.0%0.0%5
37.5%0.6%1.0%98.4%0.0%0.0%0.0%6
56.2%0.9%0.7%98.4%0.0%0.0%0.0%7
65.6%1.0%0.5%98.4%0.0%0.0%0.0%8
76.6%1.2%0.4%98.4%0.0%0.0%0.0%9
82.0%1.3%0.3%98.4%0.0%0.0%0.0%10
87.9%1.4%0.2%98.4%0.0%0.0%0.0%11
90.8%1.4%0.1%98.4%0.0%0.0%0.0%12
Compiler

Compiled 53 to 32 computations (39.6% saved)

sample4.5s (37.5%)

Memory
17.3MiB live, 3 315.4MiB allocated; 529ms collecting garbage
Samples
4.1s8 255×0valid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-div!: 1.8s (52.7% of total, 493.1 MiB)
ival-add!: 674.0ms (19.9% of total, 198.0 MiB)
ival-exp: 547.0ms (16.1% of total, 397.4 MiB)
ival-log: 123.0ms (3.6% of total, 250.8 MiB)
ival-mult!: 111.0ms (3.3% of total, 204.4 MiB)
ival-neg: 76.0ms (2.2% of total, 146.3 MiB)
ival-sub!: 52.0ms (1.5% of total, 133.9 MiB)
adjust: 18.0ms (0.5% of total, 16.1 MiB)
ival-<=: 2.0ms (0.1% of total, 5.3 MiB)
ival-and: 1.0ms (0.0% of total, 4.5 MiB)
ival-pi: 0.0ms (0.0% of total, 0.0 MiB)
ival-assert: 0.0ms (0.0% of total, 1.2 MiB)
Bogosity

preprocess295.0ms (2.5%)

Memory
-40.7MiB live, 58.1MiB allocated; 11ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061224
1532222
23581210
330922198
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.8%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Compiler

Compiled 74 to 42 computations (43.2% saved)

sample0.0ms (0.0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
(PI)
(neg (PI))
Outputs
#s(literal 1 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal -13176795/4194304 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 6 to 5 computations (16.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series443.0ms (3.7%)

Memory
25.8MiB live, 159.6MiB allocated; 14ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0101218251
Stop Event
1×iter-limit
Counts
21 → 11
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
(neg.f32 (PI.f32))
(/.f32 (neg.f32 (PI.f32)) s)
(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))
(/.f32 (PI.f32) s)
(exp.f32 (/.f32 (PI.f32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs
#s(approx s #s(literal 0 binary32))
#s(approx u u)
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) #s(literal -1 binary32))
#s(approx s s)
#s(approx (neg s) (*.f32 #s(literal -1 binary32) s))
#s(approx (exp (/ (neg (PI)) s)) #s(literal 1 binary32))
#s(approx (+ 1 (exp (/ (neg (PI)) s))) #s(literal 2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
Calls

6 calls:

TimeVariablePoint
195.0ms
s
0
6.0ms
s
inf
3.0ms
s
-inf
3.0ms
u
inf
3.0ms
u
0

rewrite812.0ms (6.8%)

Memory
-17.1MiB live, 171.7MiB allocated; 20ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
021256
039256
1181256
21298244
317199178
432353178
05051722
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
21 → 0
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
(neg.f32 (PI.f32))
(/.f32 (neg.f32 (PI.f32)) s)
(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))
(/.f32 (PI.f32) s)
(exp.f32 (/.f32 (PI.f32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs

eval2.0ms (0.0%)

Memory
4.8MiB live, 4.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 390 to 113 computations (71.0% saved)

prune2.0ms (0.0%)

Memory
5.1MiB live, 5.1MiB allocated; 0ms collecting garbage
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New10414
Fresh000
Picked101
Done000
Total11415
Accuracy
98.8%
Counts
15 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.8%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
▶37.5%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
▶12.0%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
▶11.8%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
Compiler

Compiled 83 to 40 computations (51.8% saved)

sample1.0ms (0.0%)

Memory
2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
(PI)
-13176795/4194304
-1
(* -1 (PI))
1/2
4
1/4
(* 1/4 (PI))
-1/4
(* -1/4 (PI))
(- (* 1/4 (PI)) (* -1/4 (PI)))
Outputs
#s(literal 1 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal -13176795/4194304 binary32)
#s(literal -1 binary32)
#s(literal -13176795/4194304 binary32)
#s(literal 1/2 binary32)
#s(literal 4 binary32)
#s(literal 1/4 binary32)
#s(literal 13176795/16777216 binary32)
#s(literal -1/4 binary32)
#s(literal -13176795/16777216 binary32)
#s(literal 13176795/8388608 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 26 to 14 computations (46.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series1.0s (8.5%)

Memory
27.9MiB live, 318.2MiB allocated; 50ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0176833814
Stop Event
1×iter-limit
Counts
43 → 18
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
(/.f32 (PI.f32) s)
(exp.f32 (/.f32 (PI.f32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))
#s(literal -13176795/4194304 binary32)
#s(literal -1 binary32)
(*.f32 #s(literal -1 binary32) (PI.f32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(literal 4 binary32)
#s(literal 1/4 binary32)
(*.f32 #s(literal 1/4 binary32) (PI.f32))
#s(literal -1/4 binary32)
(*.f32 #s(literal -1/4 binary32) (PI.f32))
(-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
(*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))
(-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))
(*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
(/.f32 #s(literal -13176795/4194304 binary32) s)
(exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs
#s(approx s #s(literal 0 binary32))
#s(approx u u)
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
#s(approx (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI))) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))))
#s(approx (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ -13176795/4194304 s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) #s(literal -1 binary32))
#s(approx s s)
#s(approx (neg s) (*.f32 #s(literal -1 binary32) s))
#s(approx (exp (/ (PI) s)) #s(literal 1 binary32))
#s(approx (+ 1 (exp (/ (PI) s))) #s(literal 2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ -13176795/4194304 s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (+.f32 #s(literal 13176795/16777216 binary32) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ -13176795/4194304 s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) #s(literal 13176795/16777216 binary32))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
Calls

6 calls:

TimeVariablePoint
544.0ms
s
0
115.0ms
u
-inf
5.0ms
s
inf
4.0ms
u
inf
4.0ms
u
0

rewrite687.0ms (5.8%)

Memory
11.6MiB live, 148.5MiB allocated; 16ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
061623
094601
1422601
23156579
336252579
05088158
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
43 → 0
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
(/.f32 (PI.f32) s)
(exp.f32 (/.f32 (PI.f32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))
#s(literal -13176795/4194304 binary32)
#s(literal -1 binary32)
(*.f32 #s(literal -1 binary32) (PI.f32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(literal 4 binary32)
#s(literal 1/4 binary32)
(*.f32 #s(literal 1/4 binary32) (PI.f32))
#s(literal -1/4 binary32)
(*.f32 #s(literal -1/4 binary32) (PI.f32))
(-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
(*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))
(-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))
(*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
(/.f32 #s(literal -13176795/4194304 binary32) s)
(exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs

eval20.0ms (0.2%)

Memory
-24.9MiB live, 10.2MiB allocated; 19ms collecting garbage
Compiler

Compiled 718 to 171 computations (76.2% saved)

prune4.0ms (0.0%)

Memory
14.3MiB live, 14.3MiB allocated; 0ms collecting garbage
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New31536
Fresh000
Picked224
Done000
Total33740
Accuracy
98.8%
Counts
40 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.8%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
▶8.7%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
✓37.5%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
▶9.9%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
▶12.0%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
▶4.9%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
▶11.8%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
Compiler

Compiled 181 to 92 computations (49.2% saved)

sample1.0ms (0.0%)

Memory
2.0MiB live, 2.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
(PI)
-13176795/4194304
1/2
4
1/4
(* 1/4 (PI))
-1/4
(* -1/4 (PI))
(- (* 1/4 (PI)) (* -1/4 (PI)))
13176795/8388608
Outputs
#s(literal 1 binary32)
#s(literal 13176795/4194304 binary32)
#s(literal -13176795/4194304 binary32)
#s(literal 1/2 binary32)
#s(literal 4 binary32)
#s(literal 1/4 binary32)
#s(literal 13176795/16777216 binary32)
#s(literal -1/4 binary32)
#s(literal -13176795/16777216 binary32)
#s(literal 13176795/8388608 binary32)
#s(literal 13176795/8388608 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 23 to 13 computations (43.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series228.0ms (1.9%)

Memory
24.4MiB live, 307.3MiB allocated; 79ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0174933601
Stop Event
1×iter-limit
Counts
43 → 21
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
#s(literal -13176795/4194304 binary32)
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(literal 4 binary32)
#s(literal 1/4 binary32)
(*.f32 #s(literal 1/4 binary32) (PI.f32))
#s(literal -1/4 binary32)
(*.f32 #s(literal -1/4 binary32) (PI.f32))
(-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
(*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))
(/.f32 #s(literal -13176795/4194304 binary32) s)
(exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))))
#s(literal 13176795/8388608 binary32)
(*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))))
#s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
(*.f32 u #s(literal 13176795/8388608 binary32))
(-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))
(*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
(-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
Outputs
#s(approx s #s(literal 0 binary32))
#s(approx u u)
#s(approx (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (* 4 (* u (- (* 1/4 (PI)) (* -1/4 (PI))))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
#s(approx (* u 13176795/8388608) (*.f32 #s(literal 13176795/8388608 binary32) u))
#s(approx (- (* u 13176795/8388608) (* 1/4 (PI))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
#s(approx (- (* u 13176795/8388608) (* 1/4 (PI))) (-.f32 (*.f32 #s(literal 13176795/8388608 binary32) u) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) #s(literal -1 binary32))
#s(approx s s)
#s(approx (neg s) (*.f32 #s(literal -1 binary32) s))
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(approx (exp (/ -13176795/4194304 s)) #s(literal 1 binary32))
#s(approx (+ 1 (exp (/ -13176795/4194304 s))) #s(literal 2 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ -13176795/4194304 s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (+.f32 #s(literal 13176795/16777216 binary32) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ -13176795/4194304 s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) #s(literal 13176795/16777216 binary32))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
Calls

6 calls:

TimeVariablePoint
93.0ms
s
inf
58.0ms
s
0
19.0ms
u
inf
3.0ms
u
0
3.0ms
u
-inf

rewrite662.0ms (5.6%)

Memory
-42.0MiB live, 103.3MiB allocated; 16ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067743
099715
1432715
23030705
329336699
05158065
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
43 → 0
Calls
Call 1
Inputs
s
(neg.f32 s)
#s(literal 1 binary32)
u
(PI.f32)
#s(literal -13176795/4194304 binary32)
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32))
#s(literal 4 binary32)
#s(literal 1/4 binary32)
(*.f32 #s(literal 1/4 binary32) (PI.f32))
#s(literal -1/4 binary32)
(*.f32 #s(literal -1/4 binary32) (PI.f32))
(-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))
(*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))
(/.f32 #s(literal -13176795/4194304 binary32) s)
(exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s))))
#s(literal 13176795/8388608 binary32)
(*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
#s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32))))))
#s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
(*.f32 u #s(literal 13176795/8388608 binary32))
(-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))
(*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
(-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32))))
(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))
(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32)))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
Outputs

eval3.0ms (0.0%)

Memory
7.0MiB live, 7.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 446 to 118 computations (73.5% saved)

prune3.0ms (0.0%)

Memory
7.8MiB live, 7.8MiB allocated; 0ms collecting garbage
Pruning

7 alts after pruning (2 fresh and 5 done)

PrunedKeptTotal
New35237
Fresh000
Picked235
Done022
Total37744
Accuracy
98.8%
Counts
44 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.8%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
✓8.7%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
✓37.5%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
✓9.9%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
▶12.0%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
▶4.9%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
✓11.8%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
Compiler

Compiled 112 to 47 computations (58.0% saved)

sample0.0ms (0.0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
(PI)
-1
13176795/2097152
Outputs
#s(literal 13176795/4194304 binary32)
#s(literal -1 binary32)
#s(literal 13176795/2097152 binary32)
Samples
0.0ms1×0valid
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)

series27.0ms (0.2%)

Memory
6.2MiB live, 51.0MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04065095
Stop Event
1×iter-limit
Counts
10 → 7
Calls
Call 1
Inputs
u
(PI.f32)
#s(literal -1 binary32)
#s(literal 13176795/2097152 binary32)
(*.f32 #s(literal 13176795/2097152 binary32) u)
(fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
Outputs
#s(approx u #s(literal 0 binary32))
#s(approx u u)
#s(approx (* 13176795/2097152 u) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (+ (* -1 (PI)) (* 13176795/2097152 u)) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (+ (* -1 (PI)) (* 13176795/2097152 u)) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal -1/4 binary32) (PI.f32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))
Calls

6 calls:

TimeVariablePoint
12.0ms
s
0
1.0ms
u
inf
1.0ms
u
0
1.0ms
u
-inf
0.0ms
s
inf

rewrite1.0s (8.7%)

Memory
-22.5MiB live, 170.4MiB allocated; 64ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037147
042147
1232144
21724124
320056100
438728100
05069622
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 0
Calls
Call 1
Inputs
u
(PI.f32)
#s(literal -1 binary32)
#s(literal 13176795/2097152 binary32)
(*.f32 #s(literal 13176795/2097152 binary32) u)
(fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
Outputs

eval1.0ms (0.0%)

Memory
2.4MiB live, 2.4MiB allocated; 0ms collecting garbage
Compiler

Compiled 81 to 26 computations (67.9% saved)

prune3.0ms (0.0%)

Memory
11.6MiB live, 11.6MiB allocated; 0ms collecting garbage
Pruning

7 alts after pruning (1 fresh and 6 done)

PrunedKeptTotal
New12113
Fresh000
Picked022
Done145
Total13720
Accuracy
98.8%
Counts
20 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.8%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
✓8.7%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
✓37.5%
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
✓12.0%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
9.9%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx u #s(literal 0 binary32)))))
✓4.9%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
✓11.8%
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
Compiler

Compiled 100 to 42 computations (58.0% saved)

regimes193.0ms (1.6%)

Memory
17.1MiB live, 151.4MiB allocated; 17ms collecting garbage
Counts
4 → 1
10 → 1
11 → 1
13 → 1
Calls
Call 1
Inputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx u #s(literal 0 binary32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
Outputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
Call 2
Inputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx u #s(literal 0 binary32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
Outputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
Call 3
Inputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx u #s(literal 0 binary32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Call 4
Inputs
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(literal -13176795/4194304 binary32))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) u)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (*.f32 #s(literal 13176795/2097152 binary32) #s(approx u #s(literal 0 binary32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal -1 binary32) (PI.f32)))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u 13176795/8388608) (* 1/4 (PI)))) (fma.f32 #s(literal -1 binary32) (PI.f32) (*.f32 #s(literal 13176795/2097152 binary32) u))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u #s(literal 13176795/8388608 binary32)) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) #s(approx (* 4 (- (* u (- (* 1/4 (PI)) (* -1/4 (PI)))) (* 1/4 (PI)))) (*.f32 #s(literal 4 binary32) (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))))))
#s(approx (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (*.f32 #s(literal 4 binary32) (-.f32 (*.f32 u (-.f32 (*.f32 #s(literal 1/4 binary32) (PI.f32)) (*.f32 #s(literal -1/4 binary32) (PI.f32)))) (*.f32 #s(literal 1/4 binary32) (PI.f32)))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(approx (/ 1 (+ 1 (exp (/ (PI) s)))) #s(literal 1/2 binary32)))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 #s(approx (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) #s(literal 1/2 binary32)) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Outputs
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 #s(literal -13176795/4194304 binary32) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
Calls

12 calls:

145.0ms
s
10.0ms
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
4.0ms
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
4.0ms
s
4.0ms
u
Results
AccuracySegmentsBranch
11.8%1s
11.8%1(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
11.8%1u
12.0%1u
12.0%1(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
12.0%1s
37.5%1(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
37.5%1u
37.5%1s
98.8%1(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
98.8%1u
98.8%1s
Compiler

Compiled 346 to 168 computations (51.4% saved)

derivations10.0ms (0.1%)

Memory
14.6MiB live, 14.6MiB allocated; 0ms collecting garbage
Stop Event
1×fuel
Compiler

Compiled 72 to 33 computations (54.2% saved)

preprocess42.0ms (0.4%)

Memory
-31.1MiB live, 60.3MiB allocated; 21ms collecting garbage
Compiler

Compiled 109 to 54 computations (50.5% saved)

end0.0ms (0.0%)

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

Profiling

Loading profile data...