Herbie run

Date:Wednesday, February 26th, 2025
Commit:3f31581c 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:745 632.4 MB

Time bar (total: 10.2min)

prune7.8min (75.9%)

Memory
739.8MiB live, 569 926.1MiB allocated; 42.9s collecting garbage
Counts
58 945 → 842
Compiler

Compiled 89 405 to 40 466 computations (54.7% saved)

sample1.2min (11.4%)

Memory
736.6MiB live, 82 411.7MiB allocated; 17.7s collecting garbage
Samples
28.5s224 421×0valid
7.5s65 913×0invalid
6.1s23 686×1valid
3.5s13 632×1invalid
3.5s9 773×2valid
2.7s6 303×3valid
541.0ms1 579×2invalid
54.0ms247×0exit
4.0ms9×4valid
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 39.3s
ival-mult: 9.8s (25% of total)
ival-div: 6.5s (16.6% of total)
adjust: 3.2s (8.1% of total)
ival-sub: 2.8s (7.1% of total)
ival-add: 2.3s (5.8% of total)
ival-pow2: 2.1s (5.5% of total)
ival-sqrt: 2.0s (5.1% of total)
ival-pow: 1.9s (4.8% of total)
ival-sin: 1.8s (4.7% of total)
ival-exp: 1.8s (4.5% of total)
ival-cos: 770.0ms (2% of total)
ival-tan: 755.0ms (1.9% of total)
ival-acos: 554.0ms (1.4% of total)
ival-neg: 508.0ms (1.3% of total)
exact: 394.0ms (1% of total)
ival-hypot: 388.0ms (1% of total)
ival-pi: 380.0ms (1% of total)
ival-log: 313.0ms (0.8% of total)
ival-tanu: 283.0ms (0.7% of total)
ival-asin: 195.0ms (0.5% of total)
const: 157.0ms (0.4% of total)
ival-atan: 126.0ms (0.3% of total)
ival-assert: 121.0ms (0.3% of total)
ival-fabs: 103.0ms (0.3% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
Bogosity

rewrite21.7s (3.5%)

Memory
427.7MiB live, 24 092.6MiB allocated; 3.6s collecting garbage
Stop Event
248×iter limit
102×node limit
4×unsound
Counts
25 607 → 39 841

series12.9s (2.1%)

Memory
292.3MiB live, 16 879.5MiB allocated; 1.5s collecting garbage
Counts
4 037 → 21 570
Calls

1005 calls:

TimeVariablePointExpression
303.0ms
f
@-inf
((log (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1))) (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1)) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (/ (PI) 4) (PI) 4 f (sinh (* (/ (PI) 4) f)) (/ (/ 4 (PI)) 2) (/ 4 (PI)) 2 -1 (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (+ (* (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) f) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)) (- (log (/ 2 (* 1/2 (PI)))) (log f)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (* 1/2 (PI)) 1/2 (log f) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) 1/32) (* (PI) (PI)) 1/32 3 (pow (* (* 1/2 (PI)) (PI)) 3) (* (* 1/2 (PI)) (PI)) -32/3 (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)) (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)))) (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 -1/4 (* -1/128 (pow (PI) 3)) -1/128 (pow (PI) 3) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* (* (PI) (PI)) 1/32) (PI)) (* (pow (PI) 3) 1/192) 1/192 (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3)) (pow (* 1/2 (PI)) 3) -2 (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (* 1/16 (* (PI) (PI))) 1/16 (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2)) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) (* (* (PI) (PI)) 1/4) 1/4 (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 1/6144 (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048))) (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)) (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) (* (pow (PI) 4) 1/2048) 1/2048 (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2) (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 2/3 (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8) (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI)))) (* (* (PI) (PI)) (* 1/2 (PI))) -8 (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2))) 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)) (pow (* (* 1/2 (PI)) (PI)) 2) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4) (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI))) -4 (log (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)))) (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2))) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2) -1/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))))))) (/ 1 (/ (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))))
184.0ms
f
@0
((log (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1))) (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1)) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (/ (PI) 4) (PI) 4 f (sinh (* (/ (PI) 4) f)) (/ (/ 4 (PI)) 2) (/ 4 (PI)) 2 -1 (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (+ (* (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) f) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)) (- (log (/ 2 (* 1/2 (PI)))) (log f)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (* 1/2 (PI)) 1/2 (log f) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) 1/32) (* (PI) (PI)) 1/32 3 (pow (* (* 1/2 (PI)) (PI)) 3) (* (* 1/2 (PI)) (PI)) -32/3 (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)) (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)))) (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 -1/4 (* -1/128 (pow (PI) 3)) -1/128 (pow (PI) 3) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* (* (PI) (PI)) 1/32) (PI)) (* (pow (PI) 3) 1/192) 1/192 (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3)) (pow (* 1/2 (PI)) 3) -2 (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (* 1/16 (* (PI) (PI))) 1/16 (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2)) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) (* (* (PI) (PI)) 1/4) 1/4 (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 1/6144 (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048))) (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)) (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) (* (pow (PI) 4) 1/2048) 1/2048 (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2) (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 2/3 (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8) (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI)))) (* (* (PI) (PI)) (* 1/2 (PI))) -8 (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2))) 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)) (pow (* (* 1/2 (PI)) (PI)) 2) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4) (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI))) -4 (log (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)))) (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2))) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2) -1/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))))))) (/ 1 (/ (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))))
166.0ms
n
@0
((/ (* (pow (* n (* (PI) 2)) (/ (/ (- 1 k) 2) 2)) (pow (* n (* (PI) 2)) (/ (/ (- 1 k) 2) 2))) (sqrt k)) (* (pow (* n (* (PI) 2)) (/ (/ (- 1 k) 2) 2)) (pow (* n (* (PI) 2)) (/ (/ (- 1 k) 2) 2))) (pow (* n (* (PI) 2)) (/ (/ (- 1 k) 2) 2)) (* n (* (PI) 2)) n (* (PI) 2) (PI) 2 (/ (/ (- 1 k) 2) 2) (/ (- 1 k) 2) (- 1 k) 1 k (sqrt k) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ (+ (* (+ (* (+ (* (* -1/48 (sqrt (* (* (pow k 3) n) (PI)))) (* (pow (log (* (* (PI) 2) n)) 3) (sqrt 2))) (* (* 1/8 (sqrt (* (* (PI) n) k))) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2)))) k) (* (* -1/2 (sqrt (* (* (PI) n) k))) (* (log (* (* (PI) 2) n)) (sqrt 2)))) k) (sqrt (* (* (* (PI) n) k) 2))) k) (+ (* (+ (* (+ (* (* -1/48 (sqrt (* (* (pow k 3) n) (PI)))) (* (pow (log (* (* (PI) 2) n)) 3) (sqrt 2))) (* (* 1/8 (sqrt (* (* (PI) n) k))) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2)))) k) (* (* -1/2 (sqrt (* (* (PI) n) k))) (* (log (* (* (PI) 2) n)) (sqrt 2)))) k) (sqrt (* (* (* (PI) n) k) 2))) (+ (* (+ (* (* -1/48 (sqrt (* (* (pow k 3) n) (PI)))) (* (pow (log (* (* (PI) 2) n)) 3) (sqrt 2))) (* (* 1/8 (sqrt (* (* (PI) n) k))) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2)))) k) (* (* -1/2 (sqrt (* (* (PI) n) k))) (* (log (* (* (PI) 2) n)) (sqrt 2)))) (+ (* (* -1/48 (sqrt (* (* (pow k 3) n) (PI)))) (* (pow (log (* (* (PI) 2) n)) 3) (sqrt 2))) (* (* 1/8 (sqrt (* (* (PI) n) k))) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2)))) (* -1/48 (sqrt (* (* (pow k 3) n) (PI)))) -1/48 (sqrt (* (* (pow k 3) n) (PI))) (* (* (pow k 3) n) (PI)) (* (pow k 3) n) (pow k 3) 3 (* (pow (log (* (* (PI) 2) n)) 3) (sqrt 2)) (pow (log (* (* (PI) 2) n)) 3) (log (* (* (PI) 2) n)) (* (* (PI) 2) n) (sqrt 2) (* (* 1/8 (sqrt (* (* (PI) n) k))) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2))) (* 1/8 (sqrt (* (* (PI) n) k))) 1/8 (sqrt (* (* (PI) n) k)) (* (* (PI) n) k) (* (PI) n) (* (pow (log (* (* (PI) 2) n)) 2) (sqrt 2)) (pow (log (* (* (PI) 2) n)) 2) (* (* -1/2 (sqrt (* (* (PI) n) k))) (* (log (* (* (PI) 2) n)) (sqrt 2))) (* -1/2 (sqrt (* (* (PI) n) k))) -1/2 (* (log (* (* (PI) 2) n)) (sqrt 2)) (sqrt (* (* (* (PI) n) k) 2)) (* (* (* (PI) n) k) 2) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (* (pow (exp 1/2) (/ (* (+ (* -1 k) 1) (log (* n (* (PI) 2)))) 2)) (pow (exp 1/2) (/ (* (+ (* -1 k) 1) (log (* n (* (PI) 2)))) 2))) (pow (exp 1/2) (/ (* (+ (* -1 k) 1) (log (* n (* (PI) 2)))) 2)) (exp 1/2) 1/2 (/ (* (+ (* -1 k) 1) (log (* n (* (PI) 2)))) 2) (* (+ (* -1 k) 1) (log (* n (* (PI) 2)))) (+ (* -1 k) 1) -1 (log (* n (* (PI) 2))) (* (/ 1 (sqrt k)) (* (* (pow (PI) (/ (- 1 k) 2)) (pow 2 (/ (- 1 k) 2))) (pow n (/ (- 1 k) 2)))) (* (* (pow (PI) (/ (- 1 k) 2)) (pow 2 (/ (- 1 k) 2))) (pow n (/ (- 1 k) 2))) (* (pow (PI) (/ (- 1 k) 2)) (pow 2 (/ (- 1 k) 2))) (pow (PI) (/ (- 1 k) 2)) (pow 2 (/ (- 1 k) 2)) (pow n (/ (- 1 k) 2)) (* (/ 1 (sqrt k)) (* (pow (* (* (PI) 2) n) (/ (/ (- 1 k) 2) 2)) (pow (* (* (PI) 2) n) (/ (/ (- 1 k) 2) 2)))) (* (pow (* (* (PI) 2) n) (/ (/ (- 1 k) 2) 2)) (pow (* (* (PI) 2) n) (/ (/ (- 1 k) 2) 2))) (pow (* (* (PI) 2) n) (/ (/ (- 1 k) 2) 2)))
156.0ms
f
@inf
((log (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1))) (* (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1)) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) -1) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (/ (/ 4 (PI)) 2)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (/ (PI) 4) (PI) 4 f (sinh (* (/ (PI) 4) f)) (/ (/ 4 (PI)) 2) (/ 4 (PI)) 2 -1 (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (+ (* (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) f) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) f) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4)) (+ (* (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)))) (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))))) (* f (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)) (- (log (/ 2 (* 1/2 (PI)))) (log f)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (* 1/2 (PI)) 1/2 (log f) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) -32/3) (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (pow (* (* 1/2 (PI)) (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 3) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) 1/32) (* (PI) (PI)) 1/32 3 (pow (* (* 1/2 (PI)) (PI)) 3) (* (* 1/2 (PI)) (PI)) -32/3 (+ (* (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) 2/3) (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8)) (/ (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (PI)) (+ (* 3 (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2)) (+ (* (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (* 1/2 (PI))) (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)))) (- (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)))) (neg (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI)))) (/ (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* 1/2 (PI))) (+ (* (* (* -1/32 (* (PI) (PI))) (PI)) -1/4) (* -1/128 (pow (PI) 3))) (* (* -1/32 (* (PI) (PI))) (PI)) (* -1/32 (* (PI) (PI))) -1/32 -1/4 (* -1/128 (pow (PI) 3)) -1/128 (pow (PI) 3) (+ (* (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) -2) (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2))) (* (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3))) (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (pow (PI) 3) 1/384) 1/384 (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192)) (* (* (* (PI) (PI)) 1/32) (PI)) (* (pow (PI) 3) 1/192) 1/192 (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (pow (* 1/2 (PI)) 3)) (pow (* 1/2 (PI)) 3) -2 (+ (* (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI)))) (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2)) (/ (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (* 1/16 (* (PI) (PI))) 1/16 (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2)) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) (* (* (PI) (PI)) 1/4) 1/4 (* (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) 2) (/ (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (* (PI) (PI)) 1/4)) (- (* (pow (PI) 4) 1/6144) (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)))) (* (pow (PI) 4) 1/6144) (pow (PI) 4) 1/6144 (+ (* (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048))) (* -1/4 (PI)) (+ (* (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) -1/32) (* (pow (PI) 4) 1/2048)) (* (* (* (PI) (PI)) 1/32) (* (PI) (PI))) (* (pow (PI) 4) 1/2048) 1/2048 (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32))) (* (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) -2) (pow (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 3) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* 1/2 (PI))) 2/3 (* (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) -8) (* (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI))))) (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4))) (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* (PI) (PI)) (* 1/2 (PI)))) (* (* (PI) (PI)) (* 1/2 (PI))) -8 (* (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)))) (+ (* (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) 2) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)))) (/ (+ (* (- (/ (* 1/16 (* (PI) (PI))) (* 1/2 (PI))) (+ (* (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* 1/2 (PI)) 3)) -2) (* (/ (- (* (pow (PI) 3) 1/384) (+ (* (* (* (* (PI) (PI)) 1/32) (PI)) -1/4) (* (pow (PI) 3) 1/192))) (* (* (PI) (PI)) 1/4)) 2))) (* 1/2 (PI))) (neg (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (* (* (PI) (PI)) 1/4)))) (PI)) (* 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2))) 8 (/ (pow (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) 2) (pow (* (* 1/2 (PI)) (PI)) 2)) (pow (* (* 1/2 (PI)) (PI)) 2) (* (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) -4) (* (pow (exp 4) (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI)))) (/ (- (* (* (PI) (PI)) 1/32) (* (* (PI) (PI)) 1/32)) (* (* 1/2 (PI)) (PI))) -4 (log (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)))) (/ 1 (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2))) (pow (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2) -1/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))))))) (/ 1 (/ (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))))
100.0ms
f
@inf
((neg (/ (* 1 (log (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))))) (/ (PI) 4))) (/ (* 1 (log (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))))) (/ (PI) 4)) (* 1 (log (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))))) 1 (log (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (/ (PI) 4) (PI) 4 (sinh (* f (/ (PI) 4))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1 (neg (* (/ 1 (* (/ (pow (cbrt (PI)) 2) 2) (/ (cbrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (pow (cbrt (PI)) 2) 2) (/ (cbrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (pow (cbrt (PI)) 2) 2) (/ (cbrt (PI)) 2))) (* (/ (pow (cbrt (PI)) 2) 2) (/ (cbrt (PI)) 2)) (/ (pow (cbrt (PI)) 2) 2) (pow (cbrt (PI)) 2) (cbrt (PI)) 2 (/ (cbrt (PI)) 2) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (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))))))) (/ 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) (+ (* (/ 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)) (* (PI) 1/2) 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 (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f))))) (- (pow (exp (/ (PI) 4)) f) (exp (neg (* (/ (PI) 4) f)))) (pow (exp (/ (PI) 4)) f) (exp (/ (PI) 4)))

eval10.1s (1.6%)

Memory
-214.0MiB live, 15 026.3MiB allocated; 1.7s collecting garbage
Compiler

Compiled 6 250 027 to 315 174 computations (95% saved)

analyze8.6s (1.4%)

Memory
-140.7MiB live, 9 465.3MiB allocated; 3.7s 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)

explain7.7s (1.3%)

Memory
-291.1MiB live, 10 564.2MiB allocated; 903ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4760
-.f64#fcancellation4280
cos.f64#fsensitivity4201
*.f64#fn*o2640
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-rescue2470
sqrt.f64#fuflow-rescue1700
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1290
pow.f64#foflow-rescue1260
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)))))))sensitivity1250
-.f64#fnan-rescue1200
*.f64#fu*o1150
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9125
/.f64#fo/o800
*.f64#fn*u690
+.f64#fcancellation600
pow.f64#fuflow-rescue520
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue520
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow52
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow52
↳(*.f64 K (+.f64 m n))overflow52
/.f64#fo/n500
/.f64#fu/u490
*.f64#fo*u480
/.f64#fn/o300
/.f64#fn/u270
/.f64#fu/n130
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))))))sensitivity50
exp.f64#fsensitivity20
Confusion
Predicted +Predicted -
+190941
-11365106
Precision
0.6269293924466338
Recall
0.978974358974359
Confusion?
Predicted +Predicted MaybePredicted -
+1909140
-1136265080
Precision?
0.6217447916666666
Recall?
0.9794871794871794
Freqs
test
numberfreq
05147
12646
2354
336
45
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+2510
-006
Precision?
1.0
Recall?
1.0
Samples
1.9s13 374×0valid
574.0ms1 908×1valid
277.0ms662×2valid
160.0ms424×3valid
10.0ms14×5exit
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 505.0ms (24.9% of total)
ival-div: 244.0ms (12.1% of total)
adjust: 182.0ms (9% of total)
ival-add: 162.0ms (8% of total)
ival-sub: 127.0ms (6.3% of total)
ival-sqrt: 101.0ms (5% of total)
ival-pow2: 96.0ms (4.7% of total)
ival-sin: 94.0ms (4.6% of total)
ival-atan: 85.0ms (4.2% of total)
ival-exp: 82.0ms (4.1% of total)
ival-pow: 66.0ms (3.3% of total)
ival-cos: 59.0ms (2.9% of total)
ival-tan: 41.0ms (2% of total)
ival-hypot: 28.0ms (1.4% of total)
ival-neg: 27.0ms (1.3% of total)
ival-acos: 27.0ms (1.3% of total)
exact: 19.0ms (0.9% of total)
ival-true: 15.0ms (0.7% of total)
ival-pi: 14.0ms (0.7% of total)
ival-log: 14.0ms (0.7% of total)
ival-tanu: 11.0ms (0.5% of total)
const: 9.0ms (0.4% of total)
ival-asin: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

preprocess7.4s (1.2%)

Memory
200.6MiB live, 7 669.8MiB allocated; 722ms collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 45 467 to 13 405 computations (70.5% saved)

regimes3.2s (0.5%)

Memory
-34.9MiB live, 4 018.2MiB allocated; 1.1s collecting garbage
Counts
1 523 → 258
Calls

150 calls:

612.0ms
l
123.0ms
t
108.0ms
n
89.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))
87.0ms
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))
Compiler

Compiled 5 987 to 6 413 computations (-7.1% saved)

derivations2.7s (0.4%)

Memory
97.3MiB live, 2 175.8MiB allocated; 155ms collecting garbage
Stop Event
19×done
12×fuel
Compiler

Compiled 14 082 to 2 468 computations (82.5% saved)

bsearch1.8s (0.3%)

Memory
-72.0MiB live, 1 863.7MiB allocated; 123ms collecting garbage
Algorithm
71×binary-search
34×left-value
Stop Event
66×narrow-enough
5×predicate-same
Samples
747.0ms6 155×0valid
370.0ms2 621×0invalid
57.0ms256×1valid
20.0ms85×1invalid
2.0ms5×2valid
0.0ms1×2invalid
Compiler

Compiled 64 528 to 39 937 computations (38.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 889.0ms
ival-mult: 325.0ms (36.5% of total)
ival-div: 162.0ms (18.2% of total)
ival-pow: 95.0ms (10.7% of total)
ival-pow2: 78.0ms (8.8% of total)
ival-sub: 60.0ms (6.7% of total)
ival-add: 37.0ms (4.2% of total)
ival-sqrt: 32.0ms (3.6% of total)
adjust: 20.0ms (2.2% of total)
ival-tan: 20.0ms (2.2% of total)
ival-sin: 17.0ms (1.9% of total)
ival-tanu: 10.0ms (1.1% of total)
exact: 8.0ms (0.9% of total)
ival-true: 7.0ms (0.8% of total)
ival-neg: 7.0ms (0.8% of total)
ival-hypot: 5.0ms (0.6% of total)
ival-assert: 3.0ms (0.3% of total)
const: 1.0ms (0.1% of total)
ival-pi: 1.0ms (0.1% of total)
ival-atan: 1.0ms (0.1% of total)

simplify1.5s (0.2%)

Memory
-93.2MiB live, 1 535.6MiB allocated; 214ms collecting garbage
Stop Event
30×node limit
1×saturated

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...