Herbie run

Date:Thursday, May 22nd, 2025
Commit:9e1ea048 on batch-critical-subexpressions
Seed:2025142
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:585 956.5 MB

Time bar (total: 7.6min)

sample2.9min (38.2%)

Memory
1 968.3MiB live, 205 426.6MiB allocated; 1.0min collecting garbage
Samples
48.0s119 528×1valid
35.4s281 102×0valid
18.1s3 977×4exit
15.9s25 426×2valid
8.5s11 628×5exit
6.9s3 232×3valid
5.7s35 564×0exit
2.1s12 331×1invalid
2.0s19 935×0invalid
1.1s875×2invalid
268.0ms2 607×1exit
80.0ms24×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 21.4s (17.8% of total)
ival-mult!: 13.3s (11.1% of total)
ival-cos: 12.1s (10% of total)
adjust: 11.5s (9.6% of total)
ival-pow2: 8.9s (7.4% of total)
ival-sin: 8.4s (7% of total)
ival-div!: 7.4s (6.2% of total)
ival-exp: 5.9s (4.9% of total)
ival-cosu: 5.9s (4.9% of total)
ival-sinu: 5.9s (4.9% of total)
ival-sqrt: 3.9s (3.3% of total)
ival-log: 3.7s (3% of total)
ival-sub!: 3.2s (2.7% of total)
ival-add!: 3.1s (2.5% of total)
ival-neg: 2.2s (1.8% of total)
ival-atan2: 726.0ms (0.6% of total)
ival-hypot: 692.0ms (0.6% of total)
ival-tan: 622.0ms (0.5% of total)
ival-acos: 387.0ms (0.3% of total)
ival-atan: 285.0ms (0.2% of total)
ival-cbrt: 284.0ms (0.2% of total)
ival-fabs: 151.0ms (0.1% of total)
ival-log1p: 130.0ms (0.1% of total)
ival-asin: 118.0ms (0.1% of total)
ival-<: 84.0ms (0.1% of total)
ival-and: 46.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 6.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

regimes1.2min (15.8%)

Memory
526.9MiB live, 108 027.2MiB allocated; 21.5s collecting garbage
Counts
22 945 → 990
Calls

155 calls:

3.2s
lambda2
2.9s
phi1
2.7s
phi2
2.2s
lambda1
1.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 345 998 to 43 670 computations (87.4% saved)

rewrite1.1min (14%)

Memory
848.2MiB live, 72 106.1MiB allocated; 26.6s collecting garbage
Stop Event
440×iter-limit
185×node-limit
6×unsound
5×saturated
Counts
46 728 → 71 536

series41.0s (8.9%)

Memory
749.6MiB live, 56 041.0MiB allocated; 15.2s collecting garbage
Counts
7 687 → 39 041
Calls

1599 calls:

TimeVariablePointExpression
1.3s
y-scale
@-inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (* 4 (* (* b a) (* b (neg a)))) 4 (* (* b a) (* b (neg a))) (* b a) b a (* b (neg a)) (neg a) (pow (* x-scale y-scale) 2) (* x-scale y-scale) x-scale y-scale (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))))) (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) angle 180 (PI) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI))) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (sqrt (+ (* (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)))) (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (/ (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (* b b) (* a a))) (sin (* (/ angle 180) (PI)))) (* 2 (- (* b b) (* a a))) (- (* b b) (* a a)) (* b b) (* a a) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (/ (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale))))))) (* (* a a) (* b b)))) 1/4 (/ (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale))))))) (* (* a a) (* b b))) (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale))))))) (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale))))) (* 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale)))) 8 (/ (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (* (* x-scale x-scale) (* y-scale y-scale))) (* (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))))) (pow a 4) (* (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale))))) (pow b 4) (+ (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))) (sqrt (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2)) (pow (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) 2) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)) (+ (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale))) (* (* x-scale x-scale) (* y-scale y-scale)) (* (* a a) (* b b)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (+ (sqrt (pow (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) 2)) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* x-scale x-scale)) (+ (sqrt (pow (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) 2)) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (sqrt (pow (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) 2)) (pow (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) 2) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))) (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))) (cos (* 1/180 (* angle (PI)))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (/ (* b (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))))))) (* a a))) (/ (* b (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))))))) (* a a)) (* b (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))))))) (* (* x-scale x-scale) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale))))))) (* (* y-scale y-scale) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale))))) (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))) (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (* (* x-scale x-scale) (* y-scale y-scale))) (* (pow a 4) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)) (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale))) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2) (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (pow (cos (* 1/180 (* angle (PI)))) 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (* (* b b) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (sqrt (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (* (* x-scale x-scale) (* y-scale y-scale))))) (* 8 (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (* (* x-scale x-scale) (* y-scale y-scale)))) (/ (* (pow a 4) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (* (* x-scale x-scale) (* y-scale y-scale))) (* (pow a 4) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))) (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2)) (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale))) (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2) (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))
1.2s
A
@-inf
((/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) 2 (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (pow B 2) B (* (* 4 A) C) (* 4 A) 4 A C F (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))) (+ (pow (- A C) 2) (pow B 2)) (pow (- A C) 2) (- A C))
1.1s
t
@0
((fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (+ (* (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) ew) (sin t)) (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))))) (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) ew) (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2))) (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)) (pow (/ (* (cos t) eh) (* (sin t) ew)) 2) (/ (* (cos t) eh) (* (sin t) ew)) (* (cos t) eh) (cos t) t eh (* (sin t) ew) (sin t) ew 2 (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) (asinh (/ (* (cos t) eh) (* (sin t) ew))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) eh) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh (* t ew)) (* t ew) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (fabs (+ (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))))) (+ (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t))))))) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))) (+ 1 (pow (/ eh (* ew (tan t))) 2)) (pow (/ eh (* ew (tan t))) 2) (/ eh (* ew (tan t))) (* ew (tan t)) (tan t) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (/ (/ eh (* ew (tan t))) (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (/ (/ eh (* ew (tan t))) (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) (* (* eh (cos t)) (/ (/ eh (* ew (tan t))) (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (/ (/ eh (* ew (tan t))) (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))
738.0ms
F
@0
((/ (neg (* (sqrt (* 2 (* (- (* B B) (* (* 4 A) C)) F))) (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (* (sqrt (* 2 (* (- (* B B) (* (* 4 A) C)) F))) (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (* (sqrt (* 2 (* (- (* B B) (* (* 4 A) C)) F))) (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (sqrt (* 2 (* (- (* B B) (* (* 4 A) C)) F))) (* 2 (* (- (* B B) (* (* 4 A) C)) F)) 2 (* (- (* B B) (* (* 4 A) C)) F) (- (* B B) (* (* 4 A) C)) (* B B) B (* (* 4 A) C) (* 4 A) 4 A C F (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* 2 C) (- (pow B 2) (* (* 4 A) C)) (pow B 2) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* 1/4 (/ (sqrt (* -16 (* A F))) A)) (* -1/4 (sqrt (* -16 (/ F A)))) -1/4 (sqrt (* -16 (/ F A))) (* -16 (/ F A)) -16 (/ F A) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* -1/4 (/ (sqrt (* -16 (/ (* (* C C) F) A))) C)) (/ (sqrt (* -16 (/ (* (* C C) F) A))) C) (sqrt (* -16 (/ (* (* C C) F) A))) (* -16 (/ (* (* C C) F) A)) (/ (* (* C C) F) A) (* (* C C) F) (* C C) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* -16 (* (* A A) (* C F))) (* (* A A) (* C F)) (* A A) (* C F) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* -1 (/ (sqrt (* 2 (* F (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C))))))) (+ (* B B) (* -4 (* A C))))) -1 (/ (sqrt (* 2 (* F (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C))))))) (+ (* B B) (* -4 (* A C)))) (sqrt (* 2 (* F (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C))))))) (* 2 (* F (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C)))))) (* F (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C))))) (* (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ (* B B) (* -4 (* A C)))) (+ A (+ C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (+ C (sqrt (+ (* B B) (* (- A C) (- A C))))) (sqrt (+ (* B B) (* (- A C) (- A C)))) (+ (* B B) (* (- A C) (- A C))) (* (- A C) (- A C)) (- A C) (+ (* B B) (* -4 (* A C))) (* -4 (* A C)) -4 (* A C))
635.0ms
ew
@0
((fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (sin t) eh) (sin t) t eh (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (neg eh) (/ (tan t) ew) (tan t) ew (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) (cos t) (sqrt (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))))) (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) ew) (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (* -1 (* (/ eh ew) (tan t))) -1 (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) 2)

eval27.5s (6%)

Memory
365.3MiB live, 42 235.6MiB allocated; 10.9s collecting garbage
Compiler

Compiled 11 854 692 to 520 710 computations (95.6% saved)

analyze18.2s (4%)

Memory
158.4MiB live, 21 167.7MiB allocated; 8.8s collecting garbage
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 963 computations (47.3% saved)

derivations17.8s (3.9%)

Memory
-232.3MiB live, 16 781.1MiB allocated; 4.2s collecting garbage
Stop Event
41×fuel
11×done
Compiler

Compiled 74 430 to 6 949 computations (90.7% saved)

prune15.6s (3.4%)

Memory
-83.8MiB live, 26 623.2MiB allocated; 5.0s collecting garbage
Counts
74 706 → 6 038
Compiler

Compiled 837 220 to 377 470 computations (54.9% saved)

bsearch14.3s (3.1%)

Memory
258.2MiB live, 19 534.1MiB allocated; 4.4s collecting garbage
Algorithm
362×binary-search
119×left-value
Stop Event
349×narrow-enough
13×predicate-same
Samples
6.4s9 664×1valid
2.9s14 063×0valid
1.1s696×5exit
498.0ms848×2valid
243.0ms97×3valid
52.0ms622×0invalid
6.0ms26×1invalid
2.0ms25×0exit
0.0ms1×2invalid
Compiler

Compiled 394 121 to 193 792 computations (50.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-sin: 2.8s (28.1% of total)
ival-cos: 2.3s (22.4% of total)
adjust: 993.0ms (9.8% of total)
ival-mult!: 973.0ms (9.7% of total)
ival-pow: 646.0ms (6.4% of total)
ival-pow2: 474.0ms (4.7% of total)
ival-div!: 347.0ms (3.4% of total)
ival-sqrt: 249.0ms (2.5% of total)
ival-cosu: 218.0ms (2.2% of total)
ival-atan2: 208.0ms (2.1% of total)
ival-sub!: 202.0ms (2% of total)
ival-sinu: 194.0ms (1.9% of total)
ival-add!: 134.0ms (1.3% of total)
ival-exp: 112.0ms (1.1% of total)
ival-acos: 65.0ms (0.6% of total)
ival-neg: 48.0ms (0.5% of total)
ival-tan: 35.0ms (0.3% of total)
ival-atan: 33.0ms (0.3% of total)
ival-hypot: 30.0ms (0.3% of total)
ival-log: 17.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-log1p: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

preprocess12.2s (2.7%)

Memory
-52.5MiB live, 18 006.4MiB allocated; 3.9s collecting garbage
Stop Event
51×node-limit
1×saturated
Compiler

Compiled 451 920 to 111 421 computations (75.3% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...