Herbie run

Date:Tuesday, May 20th, 2025
Commit:cd6c75cb on new-rules-taylor-LAST
Seed:2025140
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:236 107.3 MB

Time bar (total: 2.9min)

sample1.2min (39.9%)

Memory
1 401.5MiB live, 98 324.0MiB allocated; 26.2s collecting garbage
Samples
29.5s224 554×0valid
7.5s64 723×0invalid
6.3s23 473×1valid
4.0s14 820×1invalid
2.7s9 724×2valid
2.2s6 431×3valid
168.0ms600×2invalid
28.0ms263×0exit
4.0ms10×4valid
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 38.2s
ival-mult!: 9.0s (23.5% of total)
ival-div!: 5.5s (14.3% of total)
ival-pow2: 2.8s (7.4% of total)
ival-sqrt: 2.7s (7% of total)
adjust: 2.5s (6.5% of total)
ival-sin: 2.4s (6.4% of total)
ival-exp: 2.4s (6.2% of total)
ival-pow: 2.2s (5.7% of total)
ival-sub!: 1.8s (4.6% of total)
ival-add!: 1.7s (4.4% of total)
ival-cos: 1.5s (4% of total)
ival-tan: 948.0ms (2.5% of total)
ival-acos: 721.0ms (1.9% of total)
ival-neg: 701.0ms (1.8% of total)
ival-hypot: 437.0ms (1.1% of total)
ival-log: 378.0ms (1% of total)
ival-tanu: 290.0ms (0.8% of total)
ival-asin: 192.0ms (0.5% of total)
ival-atan: 81.0ms (0.2% of total)
ival-fabs: 65.0ms (0.2% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite29.1s (16.6%)

Memory
456.9MiB live, 32 867.7MiB allocated; 12.8s collecting garbage
Stop Event
350×iter-limit
105×node-limit
22×unsound
Counts
12 884 → 114 105

eval18.1s (10.3%)

Memory
-80.6MiB live, 25 419.3MiB allocated; 9.7s collecting garbage
Compiler

Compiled 2 113 683 to 428 328 computations (79.7% saved)

regimes11.3s (6.4%)

Memory
223.7MiB live, 18 428.3MiB allocated; 3.8s collecting garbage
Counts
5 667 → 525
Calls

156 calls:

804.0ms
x
476.0ms
l
469.0ms
(hypot.f64 #s(literal 1 binary64) x)
449.0ms
M
416.0ms
t
Compiler

Compiled 9 053 to 10 586 computations (-16.9% saved)

derivations10.6s (6.1%)

Memory
-424.3MiB live, 9 238.5MiB allocated; 4.0s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 6 085 to 3 294 computations (45.9% saved)

series10.2s (5.8%)

Memory
219.3MiB live, 13 174.5MiB allocated; 4.0s collecting garbage
Counts
1 438 → 8 224
Calls

297 calls:

TimeVariablePointExpression
728.0ms
p
@0
((sqrt (* 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))))))) (* 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)))))) 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))))) (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) x (sqrt (+ (* 4 (* p p)) (* x x))) (+ (* 4 (* p p)) (* x x)) 4 (* p p) p (* x x) 3 (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) (/ x (+ (* 4 (* p p)) (* x x))) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))) 1 (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1) (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (/ x (+ x (/ (* (* p 4) p) x))) (+ x (/ (* (* p 4) p) x)) (/ (* (* p 4) p) x) (* (* p 4) p) (* p 4) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2) 2 (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) -2 (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)))) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) -3 (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (sqrt (+ (* (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) x) 1/2)) (+ (* (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) x) 1/2) (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) (sqrt (+ (* (* p p) 4) (* x x))) (+ (* (* p p) 4) (* x x)) (sqrt (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) 1/2)) (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) 1/2) (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) (/ x (+ (* (* p p) 4) (* x x))) (sqrt (* 1/2 (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x)))))) (* 1/2 (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x))))) (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x)))) (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x))) (/ (sqrt (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2)) (sqrt (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1))))) (sqrt (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2)) (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2) (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) (/ (* x x) (+ (* (* p p) 4) (* x x))) (sqrt (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)))) (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1))) (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1) -1 (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2))
683.0ms
x
@-inf
((sqrt (* 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))))))) (* 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)))))) 1/2 (+ (* (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2))) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))))) (/ (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))))) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) x (sqrt (+ (* 4 (* p p)) (* x x))) (+ (* 4 (* p p)) (* x x)) 4 (* p p) p (* x x) 3 (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) (/ x (+ (* 4 (* p p)) (* x x))) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x))))) 1 (+ (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) 1) (/ (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (/ (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (- (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3)) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (/ x (+ x (/ (* (* p 4) p) x))) (+ x (/ (* (* p 4) p) x)) (/ (* (* p 4) p) x) (* (* p 4) p) (* p 4) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2) 2 (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) -2 (/ (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (* (pow (/ x (+ x (/ (* (* p 4) p) x))) 3) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2)) (/ (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)))) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -3) -3 (- (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) -2) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2))) (/ (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (pow (+ (* (/ x (+ (* 4 (* p p)) (* x x))) x) (- 1 (/ x (sqrt (+ (* 4 (* p p)) (* x x)))))) 2)) (- (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 3) (pow (/ x (+ x (/ (* (* p 4) p) x))) 3)) (sqrt (+ (* (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) x) 1/2)) (+ (* (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) x) 1/2) (/ 1/2 (sqrt (+ (* (* p p) 4) (* x x)))) (sqrt (+ (* (* p p) 4) (* x x))) (+ (* (* p p) 4) (* x x)) (sqrt (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) 1/2)) (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) 1/2) (+ (* (sqrt (+ (* (* p p) 4) (* x x))) (/ x (+ (* (* p p) 4) (* x x)))) 1) (/ x (+ (* (* p p) 4) (* x x))) (sqrt (* 1/2 (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x)))))) (* 1/2 (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x))))) (* (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x)))) (+ (* (sqrt (+ (* (* p p) 4) (* x x))) x) (+ (* (* p p) 4) (* x x))) (/ 1 (+ (* (* p p) 4) (* x x))) (/ (sqrt (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2)) (sqrt (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1))))) (sqrt (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2)) (* (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) 1/2) (- 1 (/ (* x x) (+ (* (* p p) 4) (* x x)))) (/ (* x x) (+ (* (* p p) 4) (* x x))) (sqrt (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)))) (- (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1))) (/ 1 (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1) -1 (/ (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2) (- (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) -1)) (pow (/ x (sqrt (+ (* 4 (* p p)) (* x x)))) 2))
470.0ms
ky
@-inf
((sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2))))))))) (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2)))))))) 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2))))))) 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2)))))) (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2))))) (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2)))) (* (* 4 (* (/ l Om) (/ l Om))) (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2))) (* 4 (* (/ l Om) (/ l Om))) 4 (* (/ l Om) (/ l Om)) (/ l Om) l Om (+ (- 1/2 (* (cos (+ kx kx)) 1/2)) (pow (sin ky) 2)) (- 1/2 (* (cos (+ kx kx)) 1/2)) (* (cos (+ kx kx)) 1/2) (cos (+ kx kx)) (+ kx kx) kx (pow (sin ky) 2) (sin ky) ky 2 (sqrt (- (/ 1/2 (sqrt (+ (* (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (* (* l (/ l (* Om Om))) 4)) 1))) -1/2)) (- (/ 1/2 (sqrt (+ (* (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (* (* l (/ l (* Om Om))) 4)) 1))) -1/2) (/ 1/2 (sqrt (+ (* (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (* (* l (/ l (* Om Om))) 4)) 1))) (sqrt (+ (* (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (* (* l (/ l (* Om Om))) 4)) 1)) (+ (* (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (* (* l (/ l (* Om Om))) 4)) 1) (- 1/2 (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (- (* (cos (+ kx kx)) 1/2) (- 1/2 (* (cos (+ ky ky)) 1/2))) (- 1/2 (* (cos (+ ky ky)) 1/2)) (* (cos (+ ky ky)) 1/2) (cos (+ ky ky)) (+ ky ky) (* (* l (/ l (* Om Om))) 4) (* l (/ l (* Om Om))) (/ l (* Om Om)) (* Om Om) -1/2 (sqrt (+ (/ 1/2 (sqrt (+ (* (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* 4 (* (/ l Om) (/ l Om)))) 1))) 1/2)) (+ (/ 1/2 (sqrt (+ (* (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* 4 (* (/ l Om) (/ l Om)))) 1))) 1/2) (/ 1/2 (sqrt (+ (* (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* 4 (* (/ l Om) (/ l Om)))) 1))) (sqrt (+ (* (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* 4 (* (/ l Om) (/ l Om)))) 1)) (+ (* (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* 4 (* (/ l Om) (/ l Om)))) 1) (+ (- 1/2 (* (cos (+ ky ky)) 1/2)) (- 1/2 (* 1/2 (cos (* 2 kx))))) (- 1/2 (* 1/2 (cos (* 2 kx)))) (* 1/2 (cos (* 2 kx))) (cos (* 2 kx)) (* 2 kx) (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1)))))) (* 1/2 (+ 1 (/ 1 (sqrt (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1))))) (+ 1 (/ 1 (sqrt (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1)))) (/ 1 (sqrt (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1))) (sqrt (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1)) (+ (* (/ (+ l l) Om) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) 1) (/ (+ l l) Om) (+ l l) (* (/ (+ l l) Om) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (* 1/2 (cos (* 2 ky))) (cos (* 2 ky)) (* 2 ky) (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2)))))))))) (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2)))))))) (/ 1 (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2))))))) (sqrt (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2)))))) (+ 1 (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2))))) (* (* 4 (* (/ l Om) (/ l Om))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2)))) (+ (pow (sin kx) 2) (- 1/2 (* (cos (+ ky ky)) 1/2))) (pow (sin kx) 2) (sin kx))
256.0ms
f
@inf
((/ 1 (/ 1 (/ (* (log (tanh (* (* 1/4 f) (PI)))) 4) (PI)))) 1 (/ 1 (/ (* (log (tanh (* (* 1/4 f) (PI)))) 4) (PI))) (/ (* (log (tanh (* (* 1/4 f) (PI)))) 4) (PI)) (* (log (tanh (* (* 1/4 f) (PI)))) 4) (log (tanh (* (* 1/4 f) (PI)))) (tanh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 1/4 f (PI) 4 (/ 1 (* (PI) (/ 1 (* (log (tanh (* (* 1/4 f) (PI)))) 4)))) (* (PI) (/ 1 (* (log (tanh (* (* 1/4 f) (PI)))) 4))) (/ 1 (* (log (tanh (* (* 1/4 f) (PI)))) 4)) (- (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* 1/4 (PI))) (/ (log (* (cosh (* (* (PI) -1/4) f)) 2)) (* 1/4 (PI)))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* 1/4 (PI))) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* (sinh (* f (* 1/4 (PI)))) 2) (sinh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (* 1/4 (PI)) 2 (/ (log (* (cosh (* (* (PI) -1/4) f)) 2)) (* 1/4 (PI))) (log (* (cosh (* (* (PI) -1/4) f)) 2)) (* (cosh (* (* (PI) -1/4) f)) 2) (cosh (* (* (PI) -1/4) f)) (* (* (PI) -1/4) f) (* (PI) -1/4) -1/4 (neg (* (+ 1 (/ (* (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2))))) (* (+ 1 (/ (* (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2)))) (+ 1 (/ (* (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2))))) (/ (* (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f))))) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2)))) (* (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f))))) (/ 4 (PI)) (log (/ -1/2 (sinh (* (* -1/4 (PI)) f)))) (/ -1/2 (sinh (* (* -1/4 (PI)) f))) -1/2 (sinh (* (* -1/4 (PI)) f)) (* (* -1/4 (PI)) f) (* -1/4 (PI)) (* (/ 4 (PI)) (log (* (cosh (* (* -1/4 (PI)) f)) 2))) (log (* (cosh (* (* -1/4 (PI)) f)) 2)) (* (cosh (* (* -1/4 (PI)) f)) 2) (cosh (* (* -1/4 (PI)) f)) (neg (* (/ 1 (/ (PI) 4)) (/ (- (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 3) (* (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2)))) (+ (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 2) (+ (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))))))) (* (/ 1 (/ (PI) 4)) (/ (- (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 3) (* (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2)))) (+ (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 2) (+ (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))))) (/ 1 (/ (PI) 4)) (/ (PI) 4) (/ (- (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 3) (* (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2)))) (+ (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 2) (+ (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))))) (- (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 3) (* (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2)))) (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 3) 3 (* (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2))) (pow (log (* (sinh (* (* 1/4 f) (PI))) 2)) 2) (log (* (sinh (* (* 1/4 f) (PI))) 2)) (* (sinh (* (* 1/4 f) (PI))) 2) (sinh (* (* 1/4 f) (PI))) (+ (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 2) (+ (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))) (pow (log (* (cosh (* (* (PI) -1/4) f)) 2)) 2) (+ (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))) (pow (log (* (sinh (* f (* 1/4 (PI)))) 2)) 2) (* (log (* (cosh (* (* (PI) -1/4) f)) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))
214.0ms
K
@inf
((* (* -2 (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2))))) (* J (cosh (asinh (/ U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2)))))))))) (* -2 (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2))))) -2 (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2)))) (sin (* K -1/2)) (* K -1/2) K -1/2 (cos (* (PI) 1/2)) (* (PI) 1/2) (PI) 1/2 (* (cos (* K -1/2)) (sin (* (PI) 1/2))) (cos (* K -1/2)) (sin (* (PI) 1/2)) (* J (cosh (asinh (/ U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2))))))))) J (cosh (asinh (/ U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2)))))))) (asinh (/ U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2))))))) (/ U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2)))))) U (* (+ J J) (+ (* (sin (* K -1/2)) (cos (* (PI) 1/2))) (* (cos (* K -1/2)) (sin (* (PI) 1/2))))) (+ J J) (* (* -2 (cos (* -1/2 K))) (* J (sqrt (- (pow (/ U (* (+ J J) (cos (* K -1/2)))) 2) -1)))) (* -2 (cos (* -1/2 K))) (cos (* -1/2 K)) (* -1/2 K) (* J (sqrt (- (pow (/ U (* (+ J J) (cos (* K -1/2)))) 2) -1))) (sqrt (- (pow (/ U (* (+ J J) (cos (* K -1/2)))) 2) -1)) (- (pow (/ U (* (+ J J) (cos (* K -1/2)))) 2) -1) (pow (/ U (* (+ J J) (cos (* K -1/2)))) 2) (/ U (* (+ J J) (cos (* K -1/2)))) (* (+ J J) (cos (* K -1/2))) 2 -1 (* (* (* (cos (* K -1/2)) -2) J) (sqrt (+ (pow (/ U (* (+ J J) (cos (* -1/2 K)))) 2) 1))) (* (* (cos (* K -1/2)) -2) J) (* (cos (* K -1/2)) -2) (sqrt (+ (pow (/ U (* (+ J J) (cos (* -1/2 K)))) 2) 1)) (+ (pow (/ U (* (+ J J) (cos (* -1/2 K)))) 2) 1) (pow (/ U (* (+ J J) (cos (* -1/2 K)))) 2) (/ U (* (+ J J) (cos (* -1/2 K)))) (* (+ J J) (cos (* -1/2 K))) 1 (* (* (* -2 J) (sin (* (+ (PI) K) 1/2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (sin (* (+ (PI) K) 1/2)))) 2)))) (* (* -2 J) (sin (* (+ (PI) K) 1/2))) (* -2 J) (sin (* (+ (PI) K) 1/2)) (* (+ (PI) K) 1/2) (+ (PI) K) (sqrt (+ 1 (pow (/ U (* (* 2 J) (sin (* (+ (PI) K) 1/2)))) 2))) (+ 1 (pow (/ U (* (* 2 J) (sin (* (+ (PI) K) 1/2)))) 2)) (pow (/ U (* (* 2 J) (sin (* (+ (PI) K) 1/2)))) 2) (/ U (* (* 2 J) (sin (* (+ (PI) K) 1/2)))) (* (* 2 J) (sin (* (+ (PI) K) 1/2))) (* 2 J) (* (* -2 (sin (+ (* (PI) 1/2) (* K -1/2)))) (* J (cosh (asinh (/ U (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2))))))))) (* -2 (sin (+ (* (PI) 1/2) (* K -1/2)))) (sin (+ (* (PI) 1/2) (* K -1/2))) (+ (* (PI) 1/2) (* K -1/2)) (* J (cosh (asinh (/ U (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2)))))))) (cosh (asinh (/ U (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2))))))) (asinh (/ U (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2)))))) (/ U (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2))))) (* (+ J J) (sin (+ (* (PI) 1/2) (* K -1/2)))))

analyze8.9s (5%)

Memory
209.4MiB live, 11 560.2MiB allocated; 4.0s 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)

preprocess8.5s (4.9%)

Memory
-36.4MiB live, 12 257.5MiB allocated; 2.7s collecting garbage
Stop Event
32×node-limit
Compiler

Compiled 81 297 to 64 245 computations (21% saved)

prune5.9s (3.4%)

Memory
105.6MiB live, 9 756.4MiB allocated; 2.8s collecting garbage
Counts
97 033 → 2 474
Compiler

Compiled 125 890 to 85 777 computations (31.9% saved)

bsearch3.0s (1.7%)

Memory
273.3MiB live, 5 076.2MiB allocated; 973ms collecting garbage
Algorithm
149×binary-search
109×left-value
Stop Event
123×narrow-enough
21×predicate-same
5×predicate-failed
Samples
1.4s9 775×0valid
207.0ms1 677×0invalid
137.0ms585×1valid
114.0ms285×2valid
47.0ms155×3valid
2.0ms15×1invalid
Compiler

Compiled 57 181 to 53 996 computations (5.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult!: 318.0ms (22.8% of total)
ival-div!: 217.0ms (15.5% of total)
ival-sin: 202.0ms (14.5% of total)
ival-pow: 123.0ms (8.8% of total)
ival-tan: 109.0ms (7.8% of total)
ival-pow2: 78.0ms (5.6% of total)
ival-add!: 77.0ms (5.5% of total)
ival-tanu: 54.0ms (3.9% of total)
adjust: 46.0ms (3.3% of total)
ival-sqrt: 38.0ms (2.7% of total)
ival-sub!: 34.0ms (2.4% of total)
ival-neg: 29.0ms (2.1% of total)
ival-exp: 26.0ms (1.9% of total)
ival-cos: 26.0ms (1.9% of total)
ival-hypot: 17.0ms (1.2% of total)
ival-atan: 1.0ms (0.1% of total)

start2.0ms (0%)

Memory
4.2MiB live, 4.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...