normal distribution

Time bar (total: 9.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze29.0ms (0.3%)

Memory
-14.2MiB live, 21.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%6.2%93.8%0%0%0%0
0%0%6.2%93.8%0%0%0%1
50%3.1%3.1%93.8%0%0%0%2
50%3.1%3.1%93.8%0%0%0%3
75%4.7%1.6%93.8%0%0%0%4
75%4.7%1.6%93.8%0%0%0%5
87.5%5.5%0.8%93.8%0%0%0%6
87.5%5.5%0.8%93.8%0%0%0%7
93.8%5.8%0.4%93.8%0%0%0%8
93.8%5.8%0.4%93.8%0%0%0%9
96.9%6%0.2%93.8%0%0%0%10
96.9%6%0.2%93.8%0%0%0%11
98.4%6.1%0.1%93.8%0%0%0%12
Compiler

Compiled 35 to 23 computations (34.3% saved)

sample1.8s (19.9%)

Memory
71.2MiB live, 1 538.0MiB allocated
Samples
1.2s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 886.0ms
ival-add: 197.0ms (22.2% of total)
ival-mult: 183.0ms (20.7% of total)
ival-log: 139.0ms (15.7% of total)
ival-<=: 109.0ms (12.3% of total)
ival-cosu: 86.0ms (9.7% of total)
ival-div: 72.0ms (8.1% of total)
ival-sqrt: 55.0ms (6.2% of total)
ival-and: 21.0ms (2.4% of total)
exact: 21.0ms (2.4% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

explain193.0ms (2.1%)

Memory
-11.5MiB live, 262.5MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))
00-0-(*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)
00-0-#s(literal 1 binary64)
00-0-(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)))
00-0-u1
00-0-(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
00-0-#s(literal 1/2 binary64)
00-0-(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)))
00-0-(PI.f64)
00-0-u2
00-0-(*.f64 #s(literal -2 binary64) (log.f64 u1))
00-0-#s(literal 6 binary64)
00-0-(/.f64 #s(literal 1 binary64) #s(literal 6 binary64))
00-0-#s(literal 2 binary64)
00-0-#s(literal -2 binary64)
00-0-(log.f64 u1)
00-0-(*.f64 #s(literal 2 binary64) (PI.f64))
00-0-(pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
61.0ms512×0valid
Compiler

Compiled 191 to 58 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 41.0ms
ival-mult: 15.0ms (37% of total)
ival-log: 7.0ms (17.3% of total)
ival-cosu: 6.0ms (14.8% of total)
ival-div: 4.0ms (9.9% of total)
ival-sqrt: 3.0ms (7.4% of total)
ival-pi: 2.0ms (4.9% of total)
ival-add: 2.0ms (4.9% of total)
exact: 1.0ms (2.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess30.0ms (0.3%)

Memory
2.9MiB live, 40.9MiB allocated
Algorithm
1×egg-herbie
Rules
118×sub-neg
110×associate-*l*
92×*-commutative
86×associate-*r*
82×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03986
18882
219482
337482
444082
550382
658582
762682
868282
970482
1070482
01817
03016
14316
25716
36116
06115
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
Outputs
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
(fma.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1))) (*.f64 #s(literal 1/6 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) (*.f64 (PI.f64) u2)))) #s(literal 1/2 binary64))
Symmetry

(abs u2)

Samples
0.0ms1×0valid
0.0ms1×0invalid
Compiler

Compiled 74 to 55 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-pi: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)
ival-cos: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
1.8MiB live, 1.8MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.4%
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify512.0ms (5.6%)

Memory
-16.9MiB live, 897.6MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)))
cost-diff128
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
cost-diff704
(/.f64 #s(literal 1 binary64) #s(literal 6 binary64))
cost-diff5824
(pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))
Rules
52×lower-*.f32
42×lower-*.f64
22×*-commutative
12×lower-fma.f64
12×associate-*r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01875
03071
14371
25771
36171
06170
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)))
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) #s(literal 6 binary64))
#s(literal 1 binary64)
#s(literal 6 binary64)
(pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))
(*.f64 #s(literal -2 binary64) (log.f64 u1))
#s(literal -2 binary64)
(log.f64 u1)
u1
#s(literal 1/2 binary64)
(cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))
(*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)
(*.f64 #s(literal 2 binary64) (PI.f64))
#s(literal 2 binary64)
(PI.f64)
u2
Outputs
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
(fma.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1))) (*.f64 #s(literal 1/6 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) (*.f64 (PI.f64) u2)))) #s(literal 1/2 binary64))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)))
(*.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1))) (*.f64 #s(literal 1/6 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) (*.f64 (PI.f64) u2)))))
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/6 binary64) (sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1))))
(/.f64 #s(literal 1 binary64) #s(literal 6 binary64))
#s(literal 1/6 binary64)
#s(literal 1 binary64)
#s(literal 6 binary64)
(pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)))
(*.f64 #s(literal -2 binary64) (log.f64 u1))
#s(literal -2 binary64)
(log.f64 u1)
u1
#s(literal 1/2 binary64)
(cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))
(cos.f64 (*.f64 #s(literal 2 binary64) (*.f64 (PI.f64) u2)))
(*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)
(*.f64 #s(literal 2 binary64) (*.f64 (PI.f64) u2))
(*.f64 #s(literal 2 binary64) (PI.f64))
#s(literal 2 binary64)
(PI.f64)
u2
Samples
194.0ms4 908×0valid
2.0ms12×2valid
1.0ms12×0invalid
Compiler

Compiled 30 920 to 30 591 computations (1.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 113.0ms
ival-mult: 36.0ms (31.8% of total)
ival-log: 23.0ms (20.3% of total)
const: 15.0ms (13.3% of total)
ival-cos: 12.0ms (10.6% of total)
ival-pi: 8.0ms (7.1% of total)
ival-sqrt: 8.0ms (7.1% of total)
ival-true: 4.0ms (3.5% of total)
ival-assert: 2.0ms (1.8% of total)
ival-sub: 2.0ms (1.8% of total)
exact: 2.0ms (1.8% of total)
ival-add: 1.0ms (0.9% of total)
adjust: 0.0ms (0% of total)

localize48.0ms (0.5%)

Memory
39.6MiB live, 78.5MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.03515625
(+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
accuracy0.1171875
(pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))
accuracy0.28125
(*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2)
accuracy0.3828125
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)))
Samples
30.0ms256×0valid
Compiler

Compiled 85 to 20 computations (76.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0ms
ival-mult: 7.0ms (34.9% of total)
ival-cosu: 3.0ms (15% of total)
ival-log: 3.0ms (15% of total)
ival-div: 2.0ms (10% of total)
ival-sqrt: 2.0ms (10% of total)
ival-pi: 1.0ms (5% of total)
ival-add: 1.0ms (5% of total)
exact: 1.0ms (5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series83.0ms (0.9%)

Memory
-31.3MiB live, 123.4MiB allocated
Counts
6 → 84
Calls
Call 1
Inputs
#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (patch (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())
#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())
#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())
#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())
#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())
Outputs
#s(alt (* (sqrt (log u1)) (sqrt -2)) (taylor 0 u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log u1)) (sqrt -2)) (taylor 0 u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log u1)) (sqrt -2)) (taylor 0 u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log u1)) (sqrt -2)) (taylor 0 u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log (/ 1 u1))) (sqrt 2)) (taylor inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log (/ 1 u1))) (sqrt 2)) (taylor inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log (/ 1 u1))) (sqrt 2)) (taylor inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt (log (/ 1 u1))) (sqrt 2)) (taylor inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))) (taylor -inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))) (taylor -inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))) (taylor -inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))) (taylor -inf u1) (#s(alt (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) (patch (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor 0 u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor 0 u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor 0 u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor 0 u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1)))))) (taylor inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1)))))) (taylor inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1)))))) (taylor inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1)))))) (taylor inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))))) (taylor -inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))))) (taylor -inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))))) (taylor -inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1)))))))) (taylor -inf u1) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (sqrt (log u1)) (sqrt -2)))) (taylor 0 u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (+ (* -1/3 (* (* (pow u2 2) (* (pow (PI) 2) (sqrt -2))) (sqrt (log u1)))) (* 1/6 (* (sqrt (log u1)) (sqrt -2))))) (taylor 0 u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (+ (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (* (pow u2 2) (+ (* -1/3 (* (* (pow (PI) 2) (sqrt -2)) (sqrt (log u1)))) (* 1/9 (* (* (pow u2 2) (* (pow (PI) 4) (sqrt -2))) (sqrt (log u1)))))))) (taylor 0 u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (+ (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (* (pow u2 2) (+ (* -1/3 (* (* (pow (PI) 2) (sqrt -2)) (sqrt (log u1)))) (* (pow u2 2) (+ (* -2/135 (* (* (pow u2 2) (* (pow (PI) 6) (sqrt -2))) (sqrt (log u1)))) (* 1/9 (* (* (pow (PI) 4) (sqrt -2)) (sqrt (log u1)))))))))) (taylor 0 u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor -inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor -inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor -inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/2 (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1))))) (taylor -inf u2) (#s(alt (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) (patch (+.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor 0 u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor 0 u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor 0 u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor 0 u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1))))) (taylor inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1))))) (taylor inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1))))) (taylor inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (* (sqrt -2) (sqrt -1))) (sqrt (log (/ 1 u1))))) (taylor inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (+ (* -1/3 (* (* (pow u2 2) (* (pow (PI) 2) (sqrt -2))) (sqrt (log u1)))) (* 1/6 (* (sqrt (log u1)) (sqrt -2)))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (+ (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (* (pow u2 2) (+ (* -1/3 (* (* (pow (PI) 2) (sqrt -2)) (sqrt (log u1)))) (* 1/9 (* (* (pow u2 2) (* (pow (PI) 4) (sqrt -2))) (sqrt (log u1))))))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (+ (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (* (pow u2 2) (+ (* -1/3 (* (* (pow (PI) 2) (sqrt -2)) (sqrt (log u1)))) (* (pow u2 2) (+ (* -2/135 (* (* (pow u2 2) (* (pow (PI) 6) (sqrt -2))) (sqrt (log u1)))) (* 1/9 (* (* (pow (PI) 4) (sqrt -2)) (sqrt (log u1))))))))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (* (cos (* 2 (* u2 (PI)))) (sqrt -2)) (sqrt (log u1)))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) (patch (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (taylor 0 u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (taylor 0 u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (taylor 0 u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log u1)) (sqrt -2))) (taylor 0 u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log (/ 1 u1))) (* (sqrt -2) (sqrt -1)))) (taylor inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log (/ 1 u1))) (* (sqrt -2) (sqrt -1)))) (taylor inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log (/ 1 u1))) (* (sqrt -2) (sqrt -1)))) (taylor inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt (log (/ 1 u1))) (* (sqrt -2) (sqrt -1)))) (taylor inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 1/6 (* (sqrt -2) (sqrt (+ (log -1) (* -1 (log (/ -1 u1))))))) (taylor -inf u1) (#s(alt (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) (patch (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 6 binary64)) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal 1/2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor 0 u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
#s(alt (* 2 (* u2 (PI))) (taylor -inf u2) (#s(alt (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) (patch (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2) #<representation binary64>) () ())) ())
Calls

21 calls:

TimeVariablePointExpression
28.0ms
u1
@0
(pow (* -2 (log u1)) 1/2)
20.0ms
u1
@-inf
(pow (* -2 (log u1)) 1/2)
12.0ms
u2
@inf
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2)
7.0ms
u1
@inf
(pow (* -2 (log u1)) 1/2)
2.0ms
u1
@0
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2)

simplify6.4s (70.2%)

Memory
136.4MiB live, 10 028.5MiB allocated
Algorithm
1×egg-herbie
Rules
43 450×lower-fma.f64
43 450×lower-fma.f32
7 804×lower-+.f64
7 804×lower-+.f32
5 834×lower-*.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0831292
12051260
26231232
322011204
428111198
539221198
653521198
754801198
855421198
955591198
1055651198
1155651198
1279931198
1379931198
1479931198
080131162
Stop Event
1×iter limit
1×node limit
Samples
2.5s17 410×0invalid
185.0ms4 096×0valid
Compiler

Compiled 354 369 to 336 678 computations (5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult: 516.0ms (30% of total)
ival-log: 292.0ms (17% of total)
const: 280.0ms (16.3% of total)
ival-sqrt: 277.0ms (16.1% of total)
ival-cos: 88.0ms (5.1% of total)
ival-pi: 60.0ms (3.5% of total)
ival-add: 49.0ms (2.8% of total)
ival-div: 39.0ms (2.3% of total)
ival-neg: 33.0ms (1.9% of total)
exact: 24.0ms (1.4% of total)
ival-sub: 23.0ms (1.3% of total)
ival-true: 18.0ms (1% of total)
ival-pow: 15.0ms (0.9% of total)
ival-assert: 9.0ms (0.5% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...