Herbie run

Date:Monday, November 4th, 2024
Commit:a8590844 on zane-true-error
Hostname:nightly with Racket 8.10
Seed:2024309
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 10.7min)

sample3.3min (30.6%)

Memory
1 305.4MiB live, 196 095.0MiB allocated
Samples
50.4s108 419×1valid
42.8s294 308×0valid
31.3s14 473×5exit
16.9s23 426×2valid
7.9s3 124×3valid
6.1s35 500×0exit
3.3s20 851×0invalid
2.3s11 300×1invalid
457.0ms3 902×1exit
365.0ms35×4valid
289.0ms785×2invalid
7.0ms4×4exit
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-pow: 25.8s (18.5% of total)
ival-mult: 16.5s (11.9% of total)
ival-div: 11.3s (8.1% of total)
ival-cos: 10.5s (7.5% of total)
adjust: 9.9s (7.1% of total)
ival-pow2: 8.4s (6.1% of total)
ival-sin: 8.3s (5.9% of total)
ival-add: 6.5s (4.7% of total)
ival-sub: 6.0s (4.3% of total)
ival-sinu: 6.0s (4.3% of total)
ival-exp: 5.4s (3.9% of total)
ival-cosu: 5.2s (3.7% of total)
ival-log: 4.4s (3.1% of total)
ival-sqrt: 3.7s (2.6% of total)
ival-neg: 2.3s (1.7% of total)
ival-<: 1.8s (1.3% of total)
const: 1.8s (1.3% of total)
ival-atan2: 1.1s (0.8% of total)
ival-tan: 727.0ms (0.5% of total)
ival-hypot: 680.0ms (0.5% of total)
ival-acos: 395.0ms (0.3% of total)
exact: 390.0ms (0.3% of total)
ival-atan: 350.0ms (0.3% of total)
ival-and: 349.0ms (0.3% of total)
ival-cbrt: 319.0ms (0.2% of total)
ival-true: 308.0ms (0.2% of total)
ival-<=: 217.0ms (0.2% of total)
ival-assert: 209.0ms (0.1% of total)
ival-log1p: 183.0ms (0.1% of total)
ival-fabs: 183.0ms (0.1% of total)
ival-asin: 154.0ms (0.1% of total)
ival-pi: 109.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.3min (12%)

Memory
763.9MiB live, 66 170.6MiB allocated
Algorithm
448×egg-herbie
Stop Event
594×iter limit
365×node limit
83×saturated
Counts
24 681 → 24 537

localize1.1min (10.6%)

Memory
-459.4MiB live, 72 295.9MiB allocated
Samples
22.9s14 063×1valid
11.5s4 552×2valid
10.6s27 694×0valid
2.8s571×3valid
2.3s210×5exit
1.5s595×1invalid
1.4s1 962×0invalid
714.0ms377×2exit
684.0ms439×1exit
484.0ms40×4exit
114.0ms8×2invalid
37.0ms174×0exit
14.0ms2×4valid
2.0ms1×3exit
Compiler

Compiled 267 733 to 20 232 computations (92.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.2s
ival-mult: 9.5s (21.1% of total)
ival-sin: 7.5s (16.6% of total)
ival-cos: 4.3s (9.6% of total)
ival-div: 3.8s (8.5% of total)
adjust: 3.5s (7.6% of total)
ival-add: 2.7s (6% of total)
ival-pow2: 2.4s (5.2% of total)
ival-pow: 1.7s (3.8% of total)
ival-sub: 1.4s (3% of total)
ival-sinu: 1.3s (2.9% of total)
ival-log: 1.1s (2.4% of total)
const: 1.0s (2.3% of total)
ival-cosu: 931.0ms (2.1% of total)
ival-sqrt: 871.0ms (1.9% of total)
ival-exp: 756.0ms (1.7% of total)
ival-atan2: 408.0ms (0.9% of total)
ival-neg: 402.0ms (0.9% of total)
ival-hypot: 368.0ms (0.8% of total)
ival-cbrt: 199.0ms (0.4% of total)
ival-tan: 197.0ms (0.4% of total)
ival-pi: 167.0ms (0.4% of total)
ival-atan: 157.0ms (0.3% of total)
ival-fabs: 111.0ms (0.2% of total)
exact: 106.0ms (0.2% of total)
ival-acos: 90.0ms (0.2% of total)
ival-e: 72.0ms (0.2% of total)
ival-asin: 52.0ms (0.1% of total)
ival-true: 47.0ms (0.1% of total)
ival-expm1: 33.0ms (0.1% of total)
ival-log1p: 26.0ms (0.1% of total)
ival-copysign: 25.0ms (0.1% of total)
ival-assert: 23.0ms (0.1% of total)
ival-cosh: 9.0ms (0% of total)
ival-tanh: 4.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

soundness1.0min (9.5%)

Memory
-56.8MiB live, 39 306.4MiB allocated
Stop Event
393×iter limit
268×node limit
43×fuel
9×done
Compiler

Compiled 88 647 to 31 509 computations (64.5% saved)

rewrite44.6s (6.9%)

Memory
96.5MiB live, 43 866.3MiB allocated
Stop Event
398×iter limit
197×node limit
1×saturated
Counts
3 640 → 137 126

regimes43.7s (6.8%)

Memory
178.7MiB live, 54 269.0MiB allocated
Counts
21 048 → 881
Calls

155 calls:

2.6s
a
2.4s
b
2.0s
lambda1
2.0s
phi2
1.9s
phi1
Compiler

Compiled 23 307 to 16 975 computations (27.2% saved)

eval35.3s (5.5%)

Memory
62.4MiB live, 42 430.4MiB allocated
Compiler

Compiled 11 650 146 to 750 274 computations (93.6% saved)

prune29.9s (4.7%)

Memory
-436.7MiB live, 42 439.5MiB allocated
Counts
162 579 → 7 870
Compiler

Compiled 1 191 196 to 460 066 computations (61.4% saved)

series23.5s (3.7%)

Memory
170.5MiB live, 27 493.1MiB allocated
Counts
3 640 → 24 681
Calls

1632 calls:

TimeVariablePointExpression
286.0ms
angle
@0
((/ (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 (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 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))))))) (/ (* 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) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)))))) (* 2 (* (PI) (* 1/180 angle))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (- (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-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 (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (- (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))))))))))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)))) (neg a) (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))) (cos (* (* (PI) angle) 1/180)) (neg (* 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))) (sin (* (* (PI) angle) 1/180)) (cos (* (PI) (* 1/180 angle))))
270.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))) (* (* (* x-scale 4) a) 1/4) (* (* x-scale 4) a) (* 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))) (* (sqrt 8) (* (* (sqrt 2) x-scale) (* 1/4 a))) (sqrt 8) (* (* (sqrt 2) x-scale) (* 1/4 a)) (exp (* (log (* (* (- (+ (/ (/ (+ (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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2)))) 1/2)) (/ (neg (exp (* (log (* (* (- (+ (/ (/ (+ (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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2)))) 1/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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-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 (* (sqrt 8) y-scale)) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))))))) (* 1/4 (* (sqrt 8) y-scale)) (* (sqrt 8) y-scale) (- (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-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))) (* (* 1/4 (* x-scale (sqrt 8))) (sqrt (- (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))))))) (* (sqrt 2) x-scale) (log (* (* (- (+ (/ (/ (+ (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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 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)))) (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)) (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)))))))) (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (sqrt (- (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale))))))))
259.0ms
b
@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 (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 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))))))) (/ (* 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) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)))))) (* 2 (* (PI) (* 1/180 angle))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (- (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-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 (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (- (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))))))))))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)))) (neg a) (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))) (cos (* (* (PI) angle) 1/180)) (neg (* 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))) (sin (* (* (PI) angle) 1/180)) (cos (* (PI) (* 1/180 angle))))
181.0ms
a
@0
((* 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)) (* 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)) (pow b 2) (pow a 2) (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400) (+ (* (/ (+ (* (* (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 1/2) (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (- (pow b 2) (pow a 2)) (* 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)) (* (* x-scale y-scale) (- (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (sqrt (+ (* (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 4) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)))) (sqrt (+ (* (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 4) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))) (PI) (/ (* (* 2 (- (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (+ b a) (- b a)) (PI))) (/ (* a a) (* y-scale y-scale)) (/ (+ (* (* (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-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)))) (/ (- (- (/ (/ (+ (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) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (/ (- (- (/ (/ (+ (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 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)) (+ (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (/ (+ (* (/ (+ (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)) (+ (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) 1/2) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (* (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))) (cos (* (* (PI) angle) 1/180)))) (+ (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)))
149.0ms
angle
@inf
((* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 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 (* (sqrt 8) y-scale)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 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) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) 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))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (* 2 (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)))))) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-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))) (* (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) a)) (sqrt (+ (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) a)) (exp (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* 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 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2))))) (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180)) (* y-scale (sqrt 2)) (sqrt (* 2 (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))) (sqrt (+ (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-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)) (exp (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale))))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))))))) (sin (* (PI) (* 1/180 angle))) (sin (* (/ angle 180) (PI))))

explain22.3s (3.5%)

Memory
-139.2MiB live, 26 062.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19089
+.f64#fcancellation177924
sin.f64#fsensitivity16651
sqrt.f64#foflow-rescue13980
-.f64#fcancellation9469
-.f64#fnan-rescue6210
log.f64#fsensitivity5922
/.f64#fo/n4980
/.f64#fo/o3620
/.f64#fu/u2980
*.f64#fn*o2370
exp.f64#fsensitivity16731
/.f64#fu/n1560
sqrt.f64#fuflow-rescue1440
/.f64#fn/o1210
cbrt.f64#foflow-rescue910
*.f64#fn*u910
cbrt.f64#fuflow-rescue440
/.f64#fn/u430
*.f64#fu*o330
*.f64#fo*u260
pow.f64#fuflow-rescue110
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)))))sensitivity93
log.f64#foflow-rescue90
pow.f64#fsensitivity60
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow2
↳(exp.f64 a)underflow64
↳(exp.f64 b)underflow58
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity11
Confusion
Predicted +Predicted -
+584359
-12996111
Precision
0.8181181741809017
Recall
0.9900033886818028
Confusion?
Predicted +Predicted MaybePredicted -
+58433722
-1299346077
Precision?
0.8151947871897962
Recall?
0.9962724500169434
Freqs
test
numberfreq
06170
14694
21607
3366
4238
5158
651
721
86
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4200
-208
Precision?
0.9545454545454546
Recall?
1.0
Samples
3.8s6 904×1valid
2.9s17 330×0valid
2.4s2 072×2valid
508.0ms316×3valid
5.0ms2×4valid
Compiler

Compiled 29 036 to 3 336 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-mult: 1.6s (20.6% of total)
ival-sin: 1.2s (15.1% of total)
ival-cos: 713.0ms (9% of total)
ival-div: 579.0ms (7.3% of total)
ival-sub: 538.0ms (6.8% of total)
ival-pow2: 479.0ms (6.1% of total)
adjust: 433.0ms (5.5% of total)
ival-sinu: 379.0ms (4.8% of total)
ival-cosu: 345.0ms (4.4% of total)
ival-add: 342.0ms (4.3% of total)
ival-exp: 313.0ms (4% of total)
ival-log: 297.0ms (3.8% of total)
ival-sqrt: 161.0ms (2% of total)
ival-neg: 146.0ms (1.8% of total)
ival-pi: 54.0ms (0.7% of total)
ival-tan: 47.0ms (0.6% of total)
ival-atan2: 47.0ms (0.6% of total)
ival-hypot: 37.0ms (0.5% of total)
ival-atan: 33.0ms (0.4% of total)
ival-true: 26.0ms (0.3% of total)
ival-acos: 22.0ms (0.3% of total)
ival-pow: 21.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.2% of total)
exact: 19.0ms (0.2% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

analyze17.1s (2.7%)

Memory
132.8MiB live, 19 349.1MiB allocated
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 964 computations (47.2% saved)

preprocess14.2s (2.2%)

Memory
247.1MiB live, 12 498.2MiB allocated
Algorithm
52×egg-herbie
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 134 999 to 25 772 computations (80.9% saved)

bsearch9.0s (1.4%)

Memory
-75.2MiB live, 9 800.3MiB allocated
Algorithm
266×binary-search
103×left-value
Stop Event
262×narrow-enough
4×predicate-same
Samples
3.8s5 338×1valid
2.2s11 377×0valid
453.0ms652×2valid
121.0ms56×3valid
99.0ms1 016×0invalid
3.0ms1×4valid
Compiler

Compiled 210 487 to 119 520 computations (43.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-cos: 1.1s (18.2% of total)
ival-mult: 1.1s (18.1% of total)
ival-sin: 919.0ms (15.6% of total)
ival-pow2: 426.0ms (7.2% of total)
ival-sub: 403.0ms (6.8% of total)
adjust: 385.0ms (6.5% of total)
ival-div: 336.0ms (5.7% of total)
ival-cosu: 252.0ms (4.3% of total)
ival-sinu: 252.0ms (4.3% of total)
ival-add: 183.0ms (3.1% of total)
ival-atan2: 146.0ms (2.5% of total)
ival-sqrt: 134.0ms (2.3% of total)
ival-atan: 85.0ms (1.4% of total)
ival-acos: 73.0ms (1.2% of total)
ival-neg: 28.0ms (0.5% of total)
ival-hypot: 25.0ms (0.4% of total)
ival-exp: 16.0ms (0.3% of total)
ival-true: 15.0ms (0.3% of total)
ival-cbrt: 14.0ms (0.2% of total)
ival-asin: 13.0ms (0.2% of total)
exact: 11.0ms (0.2% of total)
ival-pi: 10.0ms (0.2% of total)
ival-log: 10.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-tan: 8.0ms (0.1% of total)
ival-log1p: 3.0ms (0.1% of total)
ival-fabs: 2.0ms (0% of total)

start2.0ms (0%)

Memory
5.3MiB live, 5.3MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...