Herbie run

Date:Wednesday, February 26th, 2025
Commit:141e80a8 on main
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:508 839.1 MB

Time bar (total: 7.9min)

sample3.8min (48.4%)

Memory
2 220.9MiB live, 227 746.5MiB allocated; 1.2min collecting garbage
Samples
59.7s18 094×5exit
55.3s120 041×1valid
41.9s281 287×0valid
17.9s24 751×2valid
7.8s3 211×3valid
6.5s34 788×0exit
3.6s19 855×0invalid
2.9s12 368×1invalid
434.0ms883×2invalid
286.0ms22×4valid
25.0ms41×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-pow: 47.4s (27.9% of total)
ival-mult: 19.1s (11.2% of total)
adjust: 18.6s (10.9% of total)
ival-cos: 11.6s (6.9% of total)
ival-div: 9.9s (5.8% of total)
ival-pow2: 8.2s (4.8% of total)
ival-sin: 7.9s (4.6% of total)
ival-add: 7.8s (4.6% of total)
ival-exp: 6.8s (4% of total)
ival-sub: 6.5s (3.8% of total)
ival-cosu: 6.2s (3.7% of total)
ival-sinu: 5.2s (3.1% of total)
ival-log: 3.9s (2.3% of total)
ival-sqrt: 3.3s (1.9% of total)
ival-neg: 1.7s (1% of total)
ival-atan: 886.0ms (0.5% of total)
ival-log1p: 822.0ms (0.5% of total)
ival-atan2: 822.0ms (0.5% of total)
ival-hypot: 668.0ms (0.4% of total)
ival-tan: 539.0ms (0.3% of total)
const: 439.0ms (0.3% of total)
exact: 362.0ms (0.2% of total)
ival-acos: 344.0ms (0.2% of total)
ival-cbrt: 315.0ms (0.2% of total)
ival-assert: 203.0ms (0.1% of total)
ival-pi: 153.0ms (0.1% of total)
ival-fabs: 122.0ms (0.1% of total)
ival-asin: 113.0ms (0.1% of total)
ival-<: 95.0ms (0.1% of total)
ival-and: 51.0ms (0% of total)
ival-<=: 7.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite54.5s (11.5%)

Memory
1 080.9MiB live, 56 702.4MiB allocated; 13.6s collecting garbage
Stop Event
455×iter limit
188×node limit
8×unsound
3×saturated
Counts
52 929 → 81 339

regimes33.8s (7.1%)

Memory
8.4MiB live, 38 284.6MiB allocated; 8.0s collecting garbage
Counts
17 727 → 873
Calls

155 calls:

2.7s
(-.f64 lambda1 lambda2)
2.3s
phi2
2.2s
lambda1
2.2s
phi1
2.0s
lambda2
Compiler

Compiled 17 157 to 14 134 computations (17.6% saved)

series33.0s (6.9%)

Memory
9.0MiB live, 38 868.0MiB allocated; 8.8s collecting garbage
Counts
7 665 → 45 264
Calls

1620 calls:

TimeVariablePointExpression
686.0ms
b
@0
((/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) a) (/ (neg c) b)) (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) (* (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (* c c)) (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) (/ a (pow b 5)) a (pow b 5) b 5 -2 (/ (* -5 (* (* a a) c)) (pow b 7)) (* -5 (* (* a a) c)) -5 (* (* a a) c) (* a a) c (pow b 7) 7 (pow b -3) -3 (* c c) (/ (neg c) b) (neg c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (* (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (pow b 3)))) c) (pow b -1)) c) (- (* (+ (* (* (* a a) (/ c (pow b 5))) -2) (neg (/ a (pow b 3)))) c) (pow b -1)) (/ -1 b) -1 (/ (+ (neg b) (sqrt (+ (* b b) (* -4 (* c a))))) (+ a a)) (+ (neg b) (sqrt (+ (* b b) (* -4 (* c a))))) (neg b) (sqrt (+ (* b b) (* -4 (* c a)))) (+ (* b b) (* -4 (* c a))) (* -4 (* c a)) -4 (* c a) (+ a a) (/ (/ (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b))))) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b))))) (* 2 a)) (/ (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b))))) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b))))) (- (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b))))) (* b b) (* (sqrt (+ (* (* -4 a) c) (* b b))) (sqrt (+ (* (* -4 a) c) (* b b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a) 2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) a) (/ (neg c) b)) (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) (* (- (* (* a (/ c (pow b 5))) -2) (pow b -3)) (* c c)) (- (* (* a (/ c (pow b 5))) -2) (pow b -3)) (* (* a (/ c (pow b 5))) -2) (* a (/ c (pow b 5))) (/ c (pow b 5)))
489.0ms
x-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 (- (/ (/ (+ (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 (* a (* x-scale 4))) 1/4 (* a (* x-scale 4)) a (* x-scale 4) x-scale 4 (/ (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)))))) (/ (* (pow a 3) (* (* b b) 4)) (* x-scale (* y-scale y-scale))) (* (pow a 3) (* (* b b) 4)) (pow a 3) 3 (* (* b b) 4) (* b b) b (* x-scale (* y-scale y-scale)) (* y-scale y-scale) y-scale (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b a) (* b (neg a)) (neg a) (pow (* x-scale y-scale) 2) (* 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))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (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) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (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) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* b (* x-scale (* y-scale (sqrt 8)))) (* x-scale (* y-scale (sqrt 8))) (* y-scale (sqrt 8)) (sqrt 8) 8 (sqrt (- (+ (/ (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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (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) (cos (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* x-scale x-scale) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (sin (* 1/180 (* angle (PI)))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2)) (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))) (/ (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))))) (* (* 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))) (- (+ (/ (/ (+ (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)) (/ (/ (+ (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) 180 (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 (- (/ (/ (+ (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 (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 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 (* (* x-scale (* y-scale (sqrt 8))) (sqrt (- (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))))))) (* (* x-scale (* y-scale (sqrt 8))) (sqrt (- (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))))))) (sqrt (- (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))))) (- (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))))) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (+ (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 (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (+ (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))))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale))) (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)) (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) (- (* b b) (* a a)) (* a a))
436.0ms
y-scale
@-inf
((- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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 b) 2) (pow (* y-scale x-scale) 2)) -4) (/ (pow (* a b) 2) (pow (* y-scale x-scale) 2)) (pow (* a b) 2) (* a b) a b 2 (pow (* y-scale x-scale) 2) (* y-scale x-scale) y-scale x-scale -4 (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* (+ (* (* (* a a) (/ (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (pow (* y-scale x-scale) 2))) -8) (* -4 (/ (+ (* (pow (cos (* (* (PI) angle) 1/180)) 4) (* a a)) (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a))) (pow (* y-scale x-scale) 2)))) (* b b)) (+ (* (* (* a a) (/ (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (pow (* y-scale x-scale) 2))) -8) (* -4 (/ (+ (* (pow (cos (* (* (PI) angle) 1/180)) 4) (* a a)) (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a))) (pow (* y-scale x-scale) 2)))) (* (* a a) (/ (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (pow (* y-scale x-scale) 2))) (* a a) (/ (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (pow (* y-scale x-scale) 2)) (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)) (* (* (PI) angle) 1/180) (* (PI) angle) (PI) angle 1/180 (cos (* (* (PI) angle) 1/180)) -8 (* -4 (/ (+ (* (pow (cos (* (* (PI) angle) 1/180)) 4) (* a a)) (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a))) (pow (* y-scale x-scale) 2))) (/ (+ (* (pow (cos (* (* (PI) angle) 1/180)) 4) (* a a)) (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a))) (pow (* y-scale x-scale) 2)) (+ (* (pow (cos (* (* (PI) angle) 1/180)) 4) (* a a)) (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a))) (pow (cos (* (* (PI) angle) 1/180)) 4) 4 (* (pow (sin (* (* (PI) angle) 1/180)) 4) (* a a)) (pow (sin (* (* (PI) angle) 1/180)) 4) (* b b) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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 b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (* 2 (- (pow b 2) (pow a 2))) (- (pow b 2) (pow a 2)) (pow b 2) (pow a 2) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) 180 (cos (* (/ angle 180) (PI))) (* (* 4 (/ (/ (+ (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)) (* 4 (/ (/ (+ (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) 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 (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)))) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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 b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (+ (* (* 2 (* angle angle)) (* (/ (* (pow (PI) 3) (- (* b b) (* a a))) x-scale) -1/8748000)) (/ (* (* 1/90 (PI)) (- (* b b) (* a a))) x-scale)) angle) (+ (* (* 2 (* angle angle)) (* (/ (* (pow (PI) 3) (- (* b b) (* a a))) x-scale) -1/8748000)) (/ (* (* 1/90 (PI)) (- (* b b) (* a a))) x-scale)) (* 2 (* angle angle)) (* angle angle) (* (/ (* (pow (PI) 3) (- (* b b) (* a a))) x-scale) -1/8748000) (/ (* (pow (PI) 3) (- (* b b) (* a a))) x-scale) (* (pow (PI) 3) (- (* b b) (* a a))) (pow (PI) 3) 3 (- (* b b) (* a a)) -1/8748000 (/ (* (* 1/90 (PI)) (- (* b b) (* a a))) x-scale) (* (* 1/90 (PI)) (- (* b b) (* a a))) (* 1/90 (PI)) 1/90 (* (* 4 (/ (/ (+ (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)) (* 4 (/ (/ (+ (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) 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)))) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* (* 4 (/ (/ (+ (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)) (* 4 (/ (/ (+ (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) 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 (* b (cos (* (/ angle 180) (PI)))) 2))
211.0ms
angle
@inf
((* 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))))) (* (/ y-scale x-scale) (tan (* 1/180 (* angle (PI))))) (/ y-scale x-scale) y-scale x-scale (tan (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))))) (/ (* y-scale (sin (* 1/180 (* angle (PI))))) (* x-scale (cos (* 1/180 (* angle (PI)))))) (* 1/180 (/ (* angle (* y-scale (PI))) x-scale)) (/ (* angle (* y-scale (PI))) x-scale) (* angle (* y-scale (PI))) (* y-scale (PI)) (* 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* 90 (* (/ x-scale angle) (/ (* y-scale (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale))))) (* (PI) (- (* b b) (* a a)))))) (* x-scale (+ (* -180 (/ (* (* b b) y-scale) (* angle (* (* x-scale x-scale) (* (PI) (- (* b b) (* a a))))))) (* 180 (/ (* a a) (* angle (* y-scale (* (PI) (- (* b b) (* a a))))))))) (+ (* -180 (/ (* (* b b) y-scale) (* angle (* (* x-scale x-scale) (* (PI) (- (* b b) (* a a))))))) (* 180 (/ (* a a) (* angle (* y-scale (* (PI) (- (* b b) (* a a)))))))) -180 (/ (* (* b b) y-scale) (* angle (* (* x-scale x-scale) (* (PI) (- (* b b) (* a a)))))) (* (* b b) y-scale) (* b b) b (* angle (* (* x-scale x-scale) (* (PI) (- (* b b) (* a a))))) (* (* x-scale x-scale) (* (PI) (- (* b b) (* a a)))) (* x-scale x-scale) (* (PI) (- (* b b) (* a a))) (- (* b b) (* a a)) (* a a) a (* 180 (/ (* a a) (* angle (* y-scale (* (PI) (- (* b b) (* a a))))))) (/ (* a a) (* angle (* y-scale (* (PI) (- (* b b) (* a a)))))) (* angle (* y-scale (* (PI) (- (* b b) (* a a))))) (* y-scale (* (PI) (- (* b b) (* a a)))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ x-scale (cos (* 1/180 (* angle (PI))))) (/ (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI))))))) -1/2 (* (/ x-scale (cos (* 1/180 (* angle (PI))))) (/ (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI)))))) (/ x-scale (cos (* 1/180 (* angle (PI))))) (cos (* 1/180 (* angle (PI)))) (/ (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI))))) (* -2 (/ (* y-scale (sin (* 1/180 (* angle (PI))))) (* x-scale x-scale))) -2 (/ (* y-scale (sin (* 1/180 (* angle (PI))))) (* x-scale x-scale)) (* y-scale (sin (* 1/180 (* angle (PI))))) (sin (* 1/180 (* angle (PI)))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-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)) (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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2))) (* (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))))) (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2))) (* (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))))) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2))) (* (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))) (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2))) 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))) (* 2 (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2)) (pow (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) 2) (* b (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2)))) (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2))) (+ (* 1/180 (* angle (PI))) (/ (PI) 2)) (/ (PI) 2) (* (sin (+ (* 1/180 (* angle (PI))) (/ (PI) 2))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))
182.0ms
angle
@-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 (- (/ (/ (+ (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 (* (* y-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2)))))) 1/4 (* (* y-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2))))) (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2)))) (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2))) 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))) a (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* 2 (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2)) (pow (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) 2) (* b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))))) b (+ (* (sin (* 1/180 (* angle (PI)))) (cos (/ (PI) 2))) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2)))) (cos (/ (PI) 2)) (/ (PI) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 2))) (cos (* 1/180 (* angle (PI)))) (sin (/ (PI) 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))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* x-scale (* y-scale (sqrt 8))) (sqrt (+ (* 2 (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 2 (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))) (* (* x-scale (* y-scale (sqrt 8))) (sqrt (+ (* 2 (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 2 (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))) (* a (* x-scale 4)) (* x-scale 4) x-scale 4 (/ (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 (* (* y-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))))) (* -1/4 (* a (* y-scale (* (sin (* 1/180 (* angle (PI)))) 4)))) -1/4 (* a (* y-scale (* (sin (* 1/180 (* angle (PI)))) 4))) (* y-scale (* (sin (* 1/180 (* angle (PI)))) 4)) (* (sin (* 1/180 (* angle (PI)))) 4) (/ (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 (* y-scale (sqrt 8))) (sqrt (+ (* 2 (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 2 (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))) (* (* x-scale (* y-scale (sqrt 8))) (sqrt (+ (* 2 (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 2 (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))) (* x-scale (* y-scale (sqrt 8))) (sqrt (+ (* 2 (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 2 (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* -1 (/ (* a (* (cos (* 1/180 (* angle (PI)))) (sqrt 2))) y-scale)) -1 (/ (* a (* (cos (* 1/180 (* angle (PI)))) (sqrt 2))) y-scale) (* a (* (cos (* 1/180 (* angle (PI)))) (sqrt 2))) (* (cos (* 1/180 (* angle (PI)))) (sqrt 2)) (sqrt 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))))))) (/ (* 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)))))) (* (/ (* (* a a) (* (* b b) (sqrt 8))) (* x-scale (* y-scale y-scale))) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (/ (* (* a a) (* (* b b) (sqrt 8))) (* x-scale (* y-scale y-scale))) (* (* a a) (* (* b b) (sqrt 8))) (* a a) (* (* b b) (sqrt 8)) (* b b) (* x-scale (* y-scale y-scale)) (* y-scale y-scale) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2)))) (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2))) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b a) (* b (neg a)) (neg a) (pow (* x-scale y-scale) 2) (* x-scale y-scale))

prune23.2s (4.9%)

Memory
-68.3MiB live, 33 605.3MiB allocated; 4.9s collecting garbage
Counts
112 317 → 5 981
Compiler

Compiled 968 739 to 377 466 computations (61% saved)

eval22.6s (4.7%)

Memory
540.2MiB live, 29 680.1MiB allocated; 6.8s collecting garbage
Compiler

Compiled 11 725 677 to 582 320 computations (95% saved)

explain20.7s (4.4%)

Memory
-157.5MiB live, 25 526.7MiB allocated; 4.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19665
sin.f64#fsensitivity17026
+.f64#fcancellation169444
sqrt.f64#foflow-rescue14360
-.f64#fcancellation9239
-.f64#fnan-rescue6700
log.f64#fsensitivity5790
/.f64#fo/n4590
/.f64#fo/o3730
/.f64#fu/u2840
*.f64#fn*o2450
/.f64#fu/n1670
exp.f64#fsensitivity15630
sqrt.f64#fuflow-rescue1290
/.f64#fn/o1120
cbrt.f64#foflow-rescue860
*.f64#fn*u740
cbrt.f64#fuflow-rescue440
/.f64#fn/u430
*.f64#fu*o410
*.f64#fo*u340
acos.f64(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))sensitivity172
pow.f64#fuflow-rescue130
pow.f64#fsensitivity110
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue60
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow6
↳(exp.f64 a)underflow61
↳(exp.f64 b)underflow69
log.f64#foflow-rescue50
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity32
Confusion
Predicted +Predicted -
+580177
-13326102
Precision
0.8132623019767279
Recall
0.9869003062266077
Confusion?
Predicted +Predicted MaybePredicted -
+58014829
-1332326070
Precision?
0.8108969915430473
Recall?
0.9950663490983328
Freqs
test
numberfreq
06179
14672
21623
3345
4246
5170
659
714
83
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-216
Precision?
0.9347826086956522
Recall?
1.0
Samples
3.7s7 574×1valid
2.3s16 598×0valid
2.2s2 112×2valid
590.0ms340×3valid
Compiler

Compiled 19 935 to 2 551 computations (87.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-sin: 1.2s (17.3% of total)
ival-mult: 1.1s (15.1% of total)
ival-cos: 777.0ms (11% of total)
adjust: 743.0ms (10.5% of total)
ival-div: 531.0ms (7.5% of total)
ival-pow2: 471.0ms (6.6% of total)
ival-sinu: 322.0ms (4.5% of total)
ival-cosu: 300.0ms (4.2% of total)
ival-sub: 292.0ms (4.1% of total)
ival-add: 292.0ms (4.1% of total)
ival-exp: 228.0ms (3.2% of total)
ival-sqrt: 224.0ms (3.2% of total)
ival-log: 179.0ms (2.5% of total)
ival-atan2: 71.0ms (1% of total)
ival-tan: 66.0ms (0.9% of total)
ival-neg: 64.0ms (0.9% of total)
ival-hypot: 34.0ms (0.5% of total)
ival-atan: 33.0ms (0.5% of total)
ival-pow: 30.0ms (0.4% of total)
ival-true: 25.0ms (0.4% of total)
exact: 20.0ms (0.3% of total)
ival-acos: 19.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-pi: 18.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze17.3s (3.6%)

Memory
457.9MiB live, 19 420.4MiB allocated; 3.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)

preprocess13.8s (2.9%)

Memory
224.0MiB live, 13 825.1MiB allocated; 2.9s collecting garbage
Stop Event
104×iter limit
92×node limit
12×saturated
Compiler

Compiled 115 551 to 21 527 computations (81.4% saved)

derivations13.2s (2.8%)

Memory
194.9MiB live, 11 475.8MiB allocated; 1.6s collecting garbage
Stop Event
44×fuel
8×done
Compiler

Compiled 42 637 to 5 615 computations (86.8% saved)

bsearch10.6s (2.2%)

Memory
298.4MiB live, 10 974.4MiB allocated; 1.5s collecting garbage
Algorithm
308×binary-search
98×left-value
Stop Event
301×narrow-enough
7×predicate-same
Samples
4.6s6 516×1valid
2.3s14 376×0valid
708.0ms1 096×2valid
227.0ms1 869×0invalid
215.0ms108×3valid
92.0ms271×1invalid
15.0ms35×2invalid
2.0ms37×0exit
Compiler

Compiled 233 493 to 139 587 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-cos: 1.4s (19.4% of total)
ival-sin: 1.2s (16.8% of total)
ival-mult: 1.0s (14.2% of total)
adjust: 674.0ms (9.5% of total)
ival-pow2: 497.0ms (7% of total)
ival-add: 382.0ms (5.4% of total)
ival-div: 367.0ms (5.2% of total)
ival-sub: 350.0ms (4.9% of total)
ival-sqrt: 236.0ms (3.3% of total)
ival-cosu: 213.0ms (3% of total)
ival-sinu: 209.0ms (3% of total)
ival-atan2: 126.0ms (1.8% of total)
ival-exp: 98.0ms (1.4% of total)
ival-neg: 80.0ms (1.1% of total)
ival-atan: 65.0ms (0.9% of total)
ival-acos: 38.0ms (0.5% of total)
ival-tan: 34.0ms (0.5% of total)
ival-log: 24.0ms (0.3% of total)
ival-pow: 22.0ms (0.3% of total)
ival-true: 19.0ms (0.3% of total)
ival-hypot: 17.0ms (0.2% of total)
ival-log1p: 14.0ms (0.2% of total)
exact: 14.0ms (0.2% of total)
ival-assert: 11.0ms (0.2% of total)
ival-asin: 10.0ms (0.1% of total)
ival-pi: 9.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)

simplify2.8s (0.6%)

Memory
-93.9MiB live, 2 723.2MiB allocated; 412ms collecting garbage
Stop Event
48×node limit
4×saturated

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...