Herbie run

Date:Wednesday, February 26th, 2025
Commit:39784a29 on chassis-platforms-cleanup
Seed:2025057
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:2 254 238.2 MB

Time bar (total: 30.1min)

prune26.9min (89.1%)

Memory
2 701.5MiB live, 2 007 944.6MiB allocated; 1.5min collecting garbage
Counts
88 810 → 1 147
Compiler

Compiled 174 963 to 68 271 computations (61% saved)

sample1.1min (3.8%)

Memory
838.7MiB live, 85 060.8MiB allocated; 12.5s collecting garbage
Samples
35.1s262 147×0valid
14.9s1 604×5exit
3.0s8 052×1valid
1.2s11 204×0invalid
670.0ms2 249×2valid
384.0ms702×1invalid
Precisions
Click to see histograms. Total time spent on operations: 44.1s
ival-pow: 13.7s (31% of total)
ival-mult: 8.0s (18.2% of total)
ival-div: 3.2s (7.3% of total)
ival-e: 2.4s (5.4% of total)
ival-sub: 1.8s (4.1% of total)
const: 1.7s (3.8% of total)
ival-add: 1.6s (3.6% of total)
ival-sqrt: 1.3s (3% of total)
ival-log: 1.1s (2.5% of total)
ival-sin: 869.0ms (2% of total)
ival-fabs: 851.0ms (1.9% of total)
adjust: 848.0ms (1.9% of total)
ival-exp: 716.0ms (1.6% of total)
ival-floor: 600.0ms (1.4% of total)
ival-sinu: 539.0ms (1.2% of total)
ival-pow2: 453.0ms (1% of total)
ival-<=: 451.0ms (1% of total)
ival-neg: 421.0ms (1% of total)
ival-log1p: 405.0ms (0.9% of total)
ival-tan: 367.0ms (0.8% of total)
ival-cosu: 367.0ms (0.8% of total)
ival-cos: 357.0ms (0.8% of total)
ival-and: 331.0ms (0.8% of total)
exact: 307.0ms (0.7% of total)
ival-fmax: 254.0ms (0.6% of total)
ival-if: 222.0ms (0.5% of total)
ival-pi: 209.0ms (0.5% of total)
ival-log2: 197.0ms (0.4% of total)
ival-atan: 156.0ms (0.4% of total)
ival-asin: 116.0ms (0.3% of total)
ival-sinh: 86.0ms (0.2% of total)
ival-assert: 82.0ms (0.2% of total)
ival->: 48.0ms (0.1% of total)
ival->=: 47.0ms (0.1% of total)
ival-<: 27.0ms (0.1% of total)
ival-==: 4.0ms (0% of total)
Bogosity

rewrite34.5s (1.9%)

Memory
290.2MiB live, 39 771.7MiB allocated; 7.0s collecting garbage
Stop Event
247×iter limit
113×node limit
1×unsound
Counts
44 295 → 61 219

series30.5s (1.7%)

Memory
196.3MiB live, 38 570.8MiB allocated; 6.1s collecting garbage
Counts
5 954 → 38 341
Calls

1188 calls:

TimeVariablePointExpression
912.0ms
sinTheta_O
@inf
((/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (+ (* (/ cosTheta_i (* v v)) (/ cosTheta_O (* (sinh (/ 1 v)) 2))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)))) (* (- (/ (/ cosTheta_O (* v v)) (/ (- (exp (/ 2 v)) (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v))))) (+ (exp (/ 1 v)) (exp (neg (/ 1 v)))))) (/ (/ (* (* sinTheta_O sinTheta_i) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v))))) cosTheta_i) (- (/ (/ cosTheta_O (* v v)) (/ (- (exp (/ 2 v)) (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v))))) (+ (exp (/ 1 v)) (exp (neg (/ 1 v)))))) (/ (/ (* (* sinTheta_O sinTheta_i) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v))))) (/ (/ cosTheta_O (* v v)) (/ (- (exp (/ 2 v)) (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v))))) (+ (exp (/ 1 v)) (exp (neg (/ 1 v)))))) (/ cosTheta_O (* v v)) cosTheta_O (* v v) v (/ (- (exp (/ 2 v)) (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v))))) (+ (exp (/ 1 v)) (exp (neg (/ 1 v))))) (- (exp (/ 2 v)) (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v))))) (exp (/ 2 v)) (/ 2 v) 2 (* (exp (neg (/ 1 v))) (exp (neg (/ 1 v)))) (exp (neg (/ 1 v))) (neg (/ 1 v)) (/ 1 v) 1 (+ (exp (/ 1 v)) (exp (neg (/ 1 v)))) (exp (/ 1 v)) (/ (/ (* (* sinTheta_O sinTheta_i) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v)))) (/ (* (* sinTheta_O sinTheta_i) cosTheta_O) (pow v 3)) (* (* sinTheta_O sinTheta_i) cosTheta_O) (* sinTheta_O sinTheta_i) sinTheta_O sinTheta_i (pow v 3) 3 (* 2 (sinh (/ 1 v))) (sinh (/ 1 v)) cosTheta_i (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (+ (* (/ cosTheta_i (* v v)) (/ cosTheta_O (* (sinh (/ 1 v)) 2))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)))) (neg (* (- (/ (neg (* cosTheta_O cosTheta_i)) (* (* sinTheta_i (* v v)) (* 2 (sinh (/ 1 v))))) (neg (/ (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v)))))) sinTheta_i)) (* (- (/ (neg (* cosTheta_O cosTheta_i)) (* (* sinTheta_i (* v v)) (* 2 (sinh (/ 1 v))))) (neg (/ (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v)))))) sinTheta_i) (/ (+ (* -1 (/ (* (* cosTheta_O cosTheta_i) v) (* 2 (sinh (/ 1 v))))) (/ (* cosTheta_O (* (* cosTheta_i sinTheta_O) sinTheta_i)) (* 2 (sinh (/ 1 v))))) (pow v 3)) (+ (* -1 (/ (* (* cosTheta_O cosTheta_i) v) (* 2 (sinh (/ 1 v))))) (/ (* cosTheta_O (* (* cosTheta_i sinTheta_O) sinTheta_i)) (* 2 (sinh (/ 1 v))))) -1 (/ (* (* cosTheta_O cosTheta_i) v) (* 2 (sinh (/ 1 v)))) (* (* cosTheta_O cosTheta_i) v) (* cosTheta_O cosTheta_i) (/ (* cosTheta_O (* (* cosTheta_i sinTheta_O) sinTheta_i)) (* 2 (sinh (/ 1 v)))) (* cosTheta_O (* (* cosTheta_i sinTheta_O) sinTheta_i)) (* (* cosTheta_i sinTheta_O) sinTheta_i) (* cosTheta_i sinTheta_O) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (+ (* (/ cosTheta_i (* v v)) (/ cosTheta_O (* (sinh (/ 1 v)) 2))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)))) (* (- (* (/ cosTheta_O sinTheta_i) (/ (/ cosTheta_i (* v v)) (* 2 (sinh (/ 1 v))))) (/ (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v))))) sinTheta_i) (- (* (/ cosTheta_O sinTheta_i) (/ (/ cosTheta_i (* v v)) (* 2 (sinh (/ 1 v))))) (/ (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v))))) (* (/ cosTheta_O sinTheta_i) (/ (/ cosTheta_i (* v v)) (* 2 (sinh (/ 1 v))))) (/ cosTheta_O sinTheta_i) (/ (/ cosTheta_i (* v v)) (* 2 (sinh (/ 1 v)))) (/ cosTheta_i (* v v)) (/ (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* 2 (sinh (/ 1 v)))) (/ (* (* cosTheta_i sinTheta_O) cosTheta_O) (pow v 3)) (* (* cosTheta_i sinTheta_O) cosTheta_O) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (+ (* (/ cosTheta_i (exp (* (log v) 2))) (/ cosTheta_O (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (+ (* (exp (/ 1 v)) (exp (/ 1 v))) (+ (* (exp (/ -1 v)) (exp (/ -1 v))) (* (exp (/ 1 v)) (exp (/ -1 v)))))))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)))) (/ cosTheta_i (exp (* (log v) 2))) (exp (* (log v) 2)) (* (log v) 2) (log v) (/ cosTheta_O (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (+ (* (exp (/ 1 v)) (exp (/ 1 v))) (+ (* (exp (/ -1 v)) (exp (/ -1 v))) (* (exp (/ 1 v)) (exp (/ -1 v))))))) (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (+ (* (exp (/ 1 v)) (exp (/ 1 v))) (+ (* (exp (/ -1 v)) (exp (/ -1 v))) (* (exp (/ 1 v)) (exp (/ -1 v)))))) (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3) (exp (/ -1 v)) (/ -1 v) (+ (* (exp (/ 1 v)) (exp (/ 1 v))) (+ (* (exp (/ -1 v)) (exp (/ -1 v))) (* (exp (/ 1 v)) (exp (/ -1 v))))) (+ (* (exp (/ -1 v)) (exp (/ -1 v))) (* (exp (/ 1 v)) (exp (/ -1 v)))) (* (exp (/ 1 v)) (exp (/ -1 v))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2))) (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)) (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (* (* sinTheta_O sinTheta_i) cosTheta_i) (* (sinh (/ 1 v)) 2) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (+ (* (/ cosTheta_i (* v v)) (/ cosTheta_O (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (/ (- (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (- (exp (/ 2 v)) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v))))))))) (neg (/ (/ (* (* (* sinTheta_O sinTheta_i) cosTheta_i) cosTheta_O) (pow v 3)) (* (sinh (/ 1 v)) 2)))) (/ cosTheta_O (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (/ (- (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (- (exp (/ 2 v)) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))))) (/ (- (pow (exp (/ 1 v)) 3) (pow (exp (/ -1 v)) 3)) (/ (- (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (- (exp (/ 2 v)) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v))))))) (/ (- (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (- (exp (/ 2 v)) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (- (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))))) (* (exp (/ 2 v)) (exp (/ 2 v))) (* (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v))))) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v)))) (+ (exp (/ -1 v)) (exp (/ 1 v))) (- (exp (/ 2 v)) (* (exp (/ -1 v)) (+ (exp (/ -1 v)) (exp (/ 1 v))))))
708.0ms
s
@-inf
((* (neg s) (log (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (neg s) s (log (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1))) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1)) (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1) (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))))) (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3 (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (+ 1 (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)))) (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s))) 1/6 (pow (/ (PI) s) 3) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)) 1/2 (/ (* (PI) (PI)) (* s s)) (* (PI) (PI)) (* s s) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)))) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1) (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1) (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1 (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (+ 1 (/ (PI) s)) (* (neg s) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 2 (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))
684.0ms
s
@-inf
((* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)))) (neg s) s (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1) (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ (* 1/2 (+ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))))))) 1/2 (+ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))))) (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp -1) -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))) (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (+ 1 (pow (exp -1) (/ (PI) s))) (pow (exp -1) (/ (PI) s)) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (* -1 (neg (log u))) (neg (log u)) (log u) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))) (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))) (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (+ (* 1/2 (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)))))) (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))))) (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u) (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)))) (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u) (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)) (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) 2 (* (neg s) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))))) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))))) (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 3 (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))
664.0ms
s
@inf
((* (neg s) (log (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (neg s) s (log (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (/ (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (- (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (/ 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1 (* (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1))) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1)) (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1) (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))))) (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3 (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (+ 1 (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)))) (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s))) 1/6 (pow (/ (PI) s) 3) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)) 1/2 (/ (* (PI) (PI)) (* s s)) (* (PI) (PI)) (* s s) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)))) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1) (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1) (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1 (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (+ 1 (/ (PI) s)) (* (neg s) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1)) (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 2) 2 (log (+ (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))
442.0ms
s
@inf
((* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)))) (neg s) s (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1))) (/ (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1)) (- (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u (+ (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) 1) (+ (cosh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1)) (sinh (* (log (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) -1))) (+ (* 1/2 (+ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))))))) 1/2 (+ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))))) (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp -1) -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))) (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (+ 1 (pow (exp -1) (/ (PI) s))) (pow (exp -1) (/ (PI) s)) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (* -1 (neg (log u))) (neg (log u)) (log u) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))) (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))) (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (+ (* 1/2 (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)))))) (- (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (exp (neg (* -1 (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u)))))))) (+ (* 1/2 (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))))) (/ (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u) (+ (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))) (+ (* 1/2 (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u)) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)))) (/ (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) u) (- (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (* (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) (* -1 (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ (pow (exp -1) (+ (log (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* -1 (neg (log u))))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2))) (* (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2)) (* u u) (pow (* (+ 1 (exp (/ (PI) s))) (- (/ 1 (+ 1 (pow (exp -1) (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) 2 (* (neg s) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))))) (- (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))))) (log (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1)) (- (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 1) (pow (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 3) 3 (log (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)))) (+ (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (+ 1 (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (* (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))

eval24.4s (1.3%)

Memory
307.6MiB live, 36 025.1MiB allocated; 7.0s collecting garbage
Compiler

Compiled 21 278 068 to 641 037 computations (97% saved)

analyze12.6s (0.7%)

Memory
14.8MiB live, 16 208.6MiB allocated; 3.5s collecting garbage
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

preprocess7.6s (0.4%)

Memory
20.8MiB live, 8 361.4MiB allocated; 509ms collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 64 262 to 17 455 computations (72.8% saved)

explain7.4s (0.4%)

Memory
-312.6MiB live, 10 277.1MiB allocated; 631ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity99382
-.f32#fcancellation39829
sqrt.f32#foflow-rescue3620
sqrt.f64#foflow-rescue2900
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2050
cos.f32(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))sensitivity19214
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19015
-.f64#fcancellation1620
/.f32#fo/n1280
exp.f32#fsensitivity4527
/.f32#fu/n220
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue160
↳(*.f32 sinTheta_O sinTheta_O)underflow302
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow16
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow151
↳(*.f32 eta eta)underflow15
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u130
/.f32#fo/o120
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o60
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow12
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow12
sqrt.f64#fuflow-rescue60
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
*.f64#fn*o20
sin.f32(sin.f32 (*.f32 (*.f32 x (PI.f32)) tau))cancellation10
*.f32(*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta))n*o10
Confusion
Predicted +Predicted -
+216854
-4635763
Precision
0.8240212846826301
Recall
0.9756975697569757
Confusion?
Predicted +Predicted MaybePredicted -
+21683222
-4631115652
Precision?
0.7930785868781542
Recall?
0.9900990099009901
Freqs
test
numberfreq
05817
12228
2391
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+2511
-303
Precision?
0.896551724137931
Recall?
0.9629629629629629
Samples
2.2s16 146×0valid
242.0ms632×1valid
40.0ms118×2valid
Compiler

Compiled 16 934 to 1 875 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 451.0ms (27.4% of total)
ival-div: 239.0ms (14.5% of total)
ival-sub: 111.0ms (6.7% of total)
ival-add: 96.0ms (5.8% of total)
ival-pow: 91.0ms (5.5% of total)
ival-sqrt: 71.0ms (4.3% of total)
ival-log: 67.0ms (4.1% of total)
ival-pi: 43.0ms (2.6% of total)
ival-sin: 42.0ms (2.5% of total)
adjust: 41.0ms (2.5% of total)
ival-floor: 41.0ms (2.5% of total)
ival-exp: 39.0ms (2.4% of total)
ival-sinu: 35.0ms (2.1% of total)
ival-pow2: 25.0ms (1.5% of total)
ival-neg: 25.0ms (1.5% of total)
ival-e: 23.0ms (1.4% of total)
ival-cosu: 23.0ms (1.4% of total)
const: 22.0ms (1.3% of total)
ival-cos: 20.0ms (1.2% of total)
ival-tan: 17.0ms (1% of total)
ival-fabs: 17.0ms (1% of total)
ival-fmax: 16.0ms (1% of total)
ival-true: 16.0ms (1% of total)
exact: 15.0ms (0.9% of total)
ival-if: 13.0ms (0.8% of total)
ival-log2: 12.0ms (0.7% of total)
ival-assert: 7.0ms (0.4% of total)
ival-log1p: 7.0ms (0.4% of total)
ival-atan: 5.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

regimes4.9s (0.3%)

Memory
-52.4MiB live, 6 844.7MiB allocated; 186ms collecting garbage
Counts
1 964 → 226
Calls

134 calls:

138.0ms
u1
111.0ms
cosTheta_i
104.0ms
uy
103.0ms
maxCos
101.0ms
ux
Compiler

Compiled 7 942 to 8 712 computations (-9.7% saved)

derivations4.1s (0.2%)

Memory
-32.7MiB live, 3 263.4MiB allocated; 89ms collecting garbage
Stop Event
18×fuel
7×done
Compiler

Compiled 21 421 to 3 341 computations (84.4% saved)

simplify1.4s (0.1%)

Memory
88.0MiB live, 1 332.2MiB allocated; 51ms collecting garbage
Stop Event
25×node limit

bsearch637.0ms (0%)

Memory
0.7MiB live, 569.1MiB allocated; 25ms collecting garbage
Algorithm
47×binary-search
11×left-value
Stop Event
46×narrow-enough
1×predicate-same
Samples
267.0ms717×1valid
88.0ms929×0valid
70.0ms226×2valid
38.0ms101×1invalid
9.0ms114×0invalid
Compiler

Compiled 11 569 to 8 365 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 396.0ms
ival-pow: 155.0ms (39.2% of total)
adjust: 46.0ms (11.6% of total)
ival-e: 44.0ms (11.1% of total)
ival-mult: 34.0ms (8.6% of total)
ival-pow2: 28.0ms (7.1% of total)
ival-sub: 21.0ms (5.3% of total)
ival-add: 18.0ms (4.5% of total)
ival-sqrt: 14.0ms (3.5% of total)
ival-log1p: 12.0ms (3% of total)
ival-fabs: 11.0ms (2.8% of total)
ival-div: 8.0ms (2% of total)
ival-true: 2.0ms (0.5% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.3% of total)

start4.0ms (0%)

Memory
8.1MiB live, 8.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...