Herbie run

Date:Wednesday, February 12th, 2025
Commit:f63971dc on main
Seed:2025043
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:283 759.1 MB

Time bar (total: 6.9min)

sample2.8min (40.4%)

Memory
961.7MiB live, 115 912.8MiB allocated; 1.3min collecting garbage
Samples
1.2min224 565×0valid
17.7s65 307×0invalid
15.8s23 635×1valid
8.1s13 544×1invalid
7.6s9 702×2valid
5.2s6 282×3valid
1.8s1 654×2invalid
50.0ms256×0exit
6.0ms8×4valid
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-mult: 29.7s (31.1% of total)
ival-div: 13.1s (13.7% of total)
adjust: 7.4s (7.8% of total)
ival-sub: 6.8s (7.1% of total)
ival-add: 6.2s (6.5% of total)
ival-pow2: 5.0s (5.3% of total)
ival-sqrt: 4.0s (4.2% of total)
ival-exp: 3.6s (3.7% of total)
ival-pow: 3.6s (3.7% of total)
ival-sin: 3.4s (3.6% of total)
ival-cos: 2.7s (2.9% of total)
ival-tan: 1.7s (1.8% of total)
ival-neg: 1.4s (1.4% of total)
ival-pi: 1.2s (1.3% of total)
ival-log: 1.2s (1.2% of total)
ival-acos: 1.0s (1.1% of total)
ival-tanu: 868.0ms (0.9% of total)
ival-hypot: 732.0ms (0.8% of total)
exact: 654.0ms (0.7% of total)
ival-asin: 393.0ms (0.4% of total)
const: 348.0ms (0.4% of total)
ival-assert: 186.0ms (0.2% of total)
ival-atan: 157.0ms (0.2% of total)
ival-fabs: 132.0ms (0.1% of total)
ival-<: 3.0ms (0% of total)
ival-and: 2.0ms (0% of total)
Bogosity

rewrite1.1min (15.7%)

Memory
488.2MiB live, 36 101.0MiB allocated; 17.6s collecting garbage
Stop Event
298×iter limit
124×node limit
4×unsound
Counts
29 484 → 48 434

regimes26.7s (6.5%)

Memory
-194.3MiB live, 19 368.8MiB allocated; 6.2s collecting garbage
Counts
9 972 → 761
Calls

156 calls:

1.3s
k
1.3s
l
1.1s
t
937.0ms
x
616.0ms
F
Compiler

Compiled 13 076 to 12 503 computations (4.4% saved)

eval25.9s (6.3%)

Memory
77.0MiB live, 19 346.2MiB allocated; 9.6s collecting garbage
Compiler

Compiled 4 692 273 to 322 603 computations (93.1% saved)

series25.6s (6.2%)

Memory
-8.2MiB live, 19 665.8MiB allocated; 7.3s collecting garbage
Counts
4 655 → 24 829
Calls

1200 calls:

TimeVariablePointExpression
494.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) (/ 2 (PI)) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f) (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) (/ (PI) (* (PI) 1/2)) 0 (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f) (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2))) -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)) (* (pow (PI) 3) 1/192) (pow (PI) 3) 3 1/192 (pow (* (PI) 1/2) 2) (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))))
346.0ms
f
@0
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (/ (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) f) (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 (* (PI) (PI)) (PI) 1/4 (* 1/128 (pow (PI) 3)) 1/128 (pow (PI) 3) 3 (* 1/2 (PI)) 1/2 (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* 1/32 (* (PI) (PI))) (PI)) (* 1/32 (* (PI) (PI))) 1/32 -1/4 (* (pow (PI) 3) 1/192) 1/192 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8)) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8) 1/8 -2 (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI))) (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (* (* (PI) (PI)) 1/16) 1/16 (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2)) (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) 2 (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) (pow (* 1/2 (PI)) 2) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 4 1/6144 (+ (* (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))))) (* (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) (+ (* (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (PI)) (* 1/32 (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2))) (* (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2)) (pow (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2) (cbrt (PI)) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))) 1/2048 (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) f (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)) (/ 2 (* 1/2 (PI))) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (* (PI) 1/12) f) (* (PI) 1/12) 1/12 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (+ (/ (neg (log f)) (PI)) (/ (log (/ 4 (PI))) (PI))) -4) (+ (/ (neg (log f)) (PI)) (/ (log (/ 4 (PI))) (PI))) (/ (neg (log f)) (PI)) (neg (log f)) (log f) (/ (log (/ 4 (PI))) (PI)) (log (/ 4 (PI))) (/ 4 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (/ (log 2) (PI)) (/ (+ (* (log f) (PI)) (log (pow (* 1/2 (PI)) (PI)))) (* (PI) (PI)))) -4) (- (/ (log 2) (PI)) (/ (+ (* (log f) (PI)) (log (pow (* 1/2 (PI)) (PI)))) (* (PI) (PI)))) (/ (log 2) (PI)) (log 2) (/ (+ (* (log f) (PI)) (log (pow (* 1/2 (PI)) (PI)))) (* (PI) (PI))) (+ (* (log f) (PI)) (log (pow (* 1/2 (PI)) (PI)))) (log (pow (* 1/2 (PI)) (PI))) (pow (* 1/2 (PI)) (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (/ (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) 0)) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) f) (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) 0)) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) 0)) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) 0)) (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2))) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))))) (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) (+ (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) 0) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) (- (* (pow (PI) 3) 1/384) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* 1/32 (pow (PI) 3)) -1/4) (* (pow (PI) 3) 1/192)) (* 1/32 (pow (PI) 3)) 0)
327.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (/ (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) f) (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 (* (PI) (PI)) (PI) 1/4 (* 1/128 (pow (PI) 3)) 1/128 (pow (PI) 3) 3 (* 1/2 (PI)) 1/2 (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* 1/32 (* (PI) (PI))) (PI)) (* 1/32 (* (PI) (PI))) 1/32 -1/4 (* (pow (PI) 3) 1/192) 1/192 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8)) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8) 1/8 -2 (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI))) (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (* (* (PI) (PI)) 1/16) 1/16 (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2)) (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) 2 (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) (pow (* 1/2 (PI)) 2) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 4 1/6144 (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))))) (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))) 1/2048 (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) f (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)) (/ 2 (* 1/2 (PI))) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) (* f (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) f) (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) 1/12 (/ 4 (* (* f f) (PI))) (* (* f f) (PI)) (* f f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) (/ (log (* (* 1/2 (PI)) f)) (PI)) (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (+ (* (/ (log f) (PI)) -1) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI)))) (/ (log f) (PI)) (log f) -1 (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))))
268.0ms
n
@-inf
((* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (* (cos M) (exp (- (fabs (- n m)) (+ (pow (- (* 1/2 (+ n m)) M) 2) l)))) (cos M) M (exp (- (fabs (- n m)) (+ (pow (- (* 1/2 (+ n m)) M) 2) l))) (- (fabs (- n m)) (+ (pow (- (* 1/2 (+ n m)) M) 2) l)) (fabs (- n m)) (- n m) n m (+ (pow (- (* 1/2 (+ n m)) M) 2) l) (pow (- (* 1/2 (+ n m)) M) 2) (- (* 1/2 (+ n m)) M) (* 1/2 (+ n m)) 1/2 (+ n m) 2 l (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (cos (- (/ (* K (+ m n)) 2) M)) (- (/ (* K (+ m n)) 2) M) (/ (* K (+ m n)) 2) (* K (+ m n)) K (+ m n) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (neg l) (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (* (* m m) -1/4) (* m m) -1/4 (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))) (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))) (neg (pow (- (/ (+ m n) 2) M) 2)) (pow (- (/ (+ m n) 2) M) 2) (* M M) (- l (fabs (- m n))) (fabs (- m n)) (- m n) (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (* (exp (- (fabs (- n m)) (+ (pow (- (* 1/2 m) M) 2) l))) (cos (- (* (* m K) 1/2) M))) (exp (- (fabs (- n m)) (+ (pow (- (* 1/2 m) M) 2) l))) (- (fabs (- n m)) (+ (pow (- (* 1/2 m) M) 2) l)) (+ (pow (- (* 1/2 m) M) 2) l) (pow (- (* 1/2 m) M) 2) (- (* 1/2 m) M) (* 1/2 m) (cos (- (* (* m K) 1/2) M)) (- (* (* m K) 1/2) M) (* (* m K) 1/2) (* m K))
263.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (/ (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) f) (+ (* (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) f) (/ 2 (* 1/2 (PI)))) (+ (* (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) f) (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)))) (- (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (+ (* (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) f) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI)))) (- (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)))) (/ (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (* 1/2 (PI))) (neg (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3)))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) 1/4) (* 1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 (* (PI) (PI)) (PI) 1/4 (* 1/128 (pow (PI) 3)) 1/128 (pow (PI) 3) 3 (* 1/2 (PI)) 1/2 (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) -2) (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* 1/32 (* (PI) (PI))) (PI)) (* 1/32 (* (PI) (PI))) 1/32 -1/4 (* (pow (PI) 3) 1/192) 1/192 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8)) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* (pow (PI) 3) 1/8) 1/8 -2 (+ (* (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2)) (/ (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (* 1/2 (PI))) (- (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2))) (/ (* (* (PI) (PI)) 1/16) (* 1/2 (PI))) (* (* (PI) (PI)) 1/16) 1/16 (+ (* (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2)) (/ (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) (* (pow (PI) 3) 1/8)) (pow (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) 2) 2 (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (pow (* 1/2 (PI)) 2)) (pow (* 1/2 (PI)) 2) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (pow (* 1/2 (PI)) 2)) (- (* (pow (PI) 4) 1/6144) (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 4 1/6144 (+ (* (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) -1/4) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))))) (* (+ (* (* (* 1/32 (* (PI) (PI))) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (PI)) (+ (* (pow (PI) 4) 1/2048) (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI))))) 1/2048 (* (* -1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) f (* -2 (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2))) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (pow (* 1/2 (PI)) 2)) (/ 2 (* 1/2 (PI))) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) (* f (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (/ 2 (PI)) 2) (* (+ (* (/ (PI) (* (PI) 1/2)) 0) (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (pow (PI) 3) 1/192) (pow (* (PI) 1/2) 2)))) f)) f)) f) (* (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) f) (+ (* (PI) 1/12) (/ 4 (* (* f f) (PI)))) 1/12 (/ 4 (* (* f f) (PI))) (* (* f f) (PI)) (* f f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) (/ (log (* (* 1/2 (PI)) f)) (PI)) (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (+ (* (/ (log f) (PI)) -1) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI)))) (/ (log f) (PI)) (log f) -1 (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))))

derivations22.7s (5.5%)

Memory
51.8MiB live, 12 030.1MiB allocated; 4.3s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 35 991 to 4 310 computations (88% saved)

preprocess19.7s (4.8%)

Memory
285.0MiB live, 13 024.6MiB allocated; 4.5s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 88 031 to 16 937 computations (80.8% saved)

explain18.6s (4.5%)

Memory
-28.2MiB live, 14 953.8MiB allocated; 4.8s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4430
-.f64#fcancellation4420
cos.f64#fsensitivity4011
*.f64#fn*o2570
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2540
+.f64#fnan-rescue2350
sqrt.f64#fuflow-rescue1650
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1331
pow.f64#foflow-rescue1320
-.f64#fnan-rescue1300
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1230
*.f64#fu*o1170
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity10623
+.f64#fcancellation800
/.f64#fo/o780
*.f64#fo*u620
pow.f64#fuflow-rescue610
*.f64#fn*u610
/.f64#fu/u520
/.f64#fo/n520
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue500
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow50
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow50
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fn/o380
/.f64#fn/u270
/.f64#fu/n250
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity70
exp.f64(exp.f64 (neg.f64 l))sensitivity10
Confusion
Predicted +Predicted -
+192829
-11635072
Precision
0.6237463604011647
Recall
0.9851814001021972
Confusion?
Predicted +Predicted MaybePredicted -
+1928029
-1163255047
Precision?
0.6187419768934531
Recall?
0.9851814001021972
Freqs
test
numberfreq
05101
12695
2359
330
46
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-006
Precision?
1.0
Recall?
1.0
Samples
4.5s13 296×0valid
1.3s1 908×1valid
889.0ms794×2valid
479.0ms370×3valid
13.0ms14×5exit
2.0ms2×4valid
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-mult: 1.1s (20.4% of total)
ival-div: 780.0ms (15.1% of total)
ival-sub: 538.0ms (10.4% of total)
adjust: 518.0ms (10% of total)
ival-add: 496.0ms (9.6% of total)
ival-pow2: 375.0ms (7.3% of total)
ival-sin: 260.0ms (5% of total)
ival-sqrt: 248.0ms (4.8% of total)
ival-exp: 142.0ms (2.7% of total)
ival-pow: 133.0ms (2.6% of total)
ival-cos: 128.0ms (2.5% of total)
ival-asin: 87.0ms (1.7% of total)
ival-tan: 75.0ms (1.5% of total)
ival-acos: 63.0ms (1.2% of total)
ival-neg: 47.0ms (0.9% of total)
ival-true: 37.0ms (0.7% of total)
exact: 37.0ms (0.7% of total)
ival-hypot: 36.0ms (0.7% of total)
ival-pi: 25.0ms (0.5% of total)
ival-log: 23.0ms (0.4% of total)
ival-tanu: 18.0ms (0.3% of total)
ival-assert: 17.0ms (0.3% of total)
const: 14.0ms (0.3% of total)
ival-atan: 9.0ms (0.2% of total)
ival-fabs: 8.0ms (0.2% of total)

analyze17.3s (4.2%)

Memory
-79.7MiB live, 14 074.6MiB allocated; 7.1s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

prune11.2s (2.7%)

Memory
201.0MiB live, 10 494.2MiB allocated; 2.8s collecting garbage
Counts
65 328 → 2 646
Compiler

Compiled 273 929 to 132 002 computations (51.8% saved)

bsearch9.7s (2.3%)

Memory
60.6MiB live, 6 450.9MiB allocated; 2.1s collecting garbage
Algorithm
227×binary-search
187×left-value
Stop Event
214×narrow-enough
13×predicate-same
Samples
5.1s16 439×0valid
644.0ms1 797×0invalid
371.0ms521×1valid
155.0ms128×2valid
110.0ms64×3valid
32.0ms85×1invalid
1.0ms1×2invalid
Compiler

Compiled 153 224 to 107 821 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.6s
ival-mult: 1.1s (23.5% of total)
ival-div: 730.0ms (15.8% of total)
ival-add: 625.0ms (13.5% of total)
ival-sub: 300.0ms (6.5% of total)
ival-sin: 281.0ms (6.1% of total)
ival-pow: 273.0ms (5.9% of total)
ival-tan: 265.0ms (5.7% of total)
ival-pow2: 207.0ms (4.5% of total)
adjust: 146.0ms (3.2% of total)
ival-atan: 121.0ms (2.6% of total)
ival-fabs: 110.0ms (2.4% of total)
ival-neg: 105.0ms (2.3% of total)
ival-cos: 95.0ms (2.1% of total)
ival-exp: 85.0ms (1.8% of total)
ival-sqrt: 64.0ms (1.4% of total)
exact: 32.0ms (0.7% of total)
ival-tanu: 29.0ms (0.6% of total)
ival-true: 24.0ms (0.5% of total)
const: 16.0ms (0.3% of total)
ival-assert: 14.0ms (0.3% of total)
ival-hypot: 10.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)

simplify4.1s (1%)

Memory
160.7MiB live, 2 331.5MiB allocated; 461ms collecting garbage
Stop Event
31×node limit
1×saturated

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...