Herbie run

Date:Thursday, April 3rd, 2025
Commit:f7a7cb35 on main
Seed:2025093
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:538 214.4 MB

Time bar (total: 6.8min)

sample2.9min (43%)

Memory
2 433.6MiB live, 217 593.8MiB allocated; 55.7s collecting garbage
Samples
45.1s119 528×1valid
33.5s281 183×0valid
19.9s3 935×4exit
15.2s25 290×2valid
8.3s11 373×5exit
7.6s3 290×3valid
5.4s34 793×0exit
2.3s19 901×0invalid
2.1s12 189×1invalid
730.0ms2 662×1exit
353.0ms932×2invalid
66.0ms21×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 23.2s (19.4% of total)
ival-mult!: 12.2s (10.2% of total)
ival-cos: 11.1s (9.3% of total)
adjust: 10.3s (8.6% of total)
ival-pow2: 8.7s (7.2% of total)
ival-sin: 8.6s (7.2% of total)
ival-div!: 7.4s (6.2% of total)
ival-exp: 6.1s (5.1% of total)
ival-sinu: 5.4s (4.5% of total)
ival-cosu: 4.9s (4.1% of total)
ival-sqrt: 4.5s (3.7% of total)
ival-log: 4.3s (3.6% of total)
ival-sub!: 3.6s (3% of total)
ival-add!: 2.9s (2.5% of total)
ival-neg: 2.4s (2% of total)
ival-atan2: 830.0ms (0.7% of total)
ival-tan: 712.0ms (0.6% of total)
ival-hypot: 612.0ms (0.5% of total)
ival-acos: 423.0ms (0.4% of total)
ival-cbrt: 323.0ms (0.3% of total)
ival-atan: 285.0ms (0.2% of total)
ival-log1p: 198.0ms (0.2% of total)
ival-fabs: 177.0ms (0.1% of total)
ival-asin: 106.0ms (0.1% of total)
ival-<: 77.0ms (0.1% of total)
ival-and: 49.0ms (0% of total)
ival-<=: 11.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite50.0s (12.2%)

Memory
1 820.1MiB live, 65 478.0MiB allocated; 9.0s collecting garbage
Stop Event
451×iter-limit
187×node-limit
7×unsound
3×saturated
Counts
54 473 → 79 402

regimes33.9s (8.3%)

Memory
-67.3MiB live, 52 028.5MiB allocated; 8.5s collecting garbage
Counts
18 949 → 847
Calls

155 calls:

2.9s
lambda1
2.8s
phi1
2.2s
phi2
2.2s
lambda2
1.8s
(-.f64 lambda1 lambda2)
Compiler

Compiled 19 407 to 15 224 computations (21.6% saved)

series32.2s (7.9%)

Memory
528.0MiB live, 42 566.9MiB allocated; 11.5s collecting garbage
Counts
7 640 → 46 833
Calls

1617 calls:

TimeVariablePointExpression
695.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 (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2)))))) 1/4 (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* x-scale (sqrt 8)) x-scale (sqrt 8) 8 (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))) 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) a (cos (* 1/180 (* angle (PI)))) (+ 1 (* (* angle angle) (+ (* -1/64800 (* (PI) (PI))) (* 1/25194240000 (* (* angle angle) (pow (PI) 4)))))) 1 (* (* angle angle) (+ (* -1/64800 (* (PI) (PI))) (* 1/25194240000 (* (* angle angle) (pow (PI) 4))))) (* angle angle) angle (+ (* -1/64800 (* (PI) (PI))) (* 1/25194240000 (* (* angle angle) (pow (PI) 4)))) -1/64800 (* (PI) (PI)) (PI) (* 1/25194240000 (* (* angle angle) (pow (PI) 4))) 1/25194240000 (* (* angle angle) (pow (PI) 4)) (pow (PI) 4) 4 (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) b (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 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 (+ (* 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) (/ (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)))))) (* b (* x-scale (* (sin (* 1/180 (* angle (PI)))) 4))) (* x-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 (sqrt 8)) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2)))))) (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (cos (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (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))) (+ (* 2 (* a a)) (* (* angle angle) (+ (* -1/16200 (pow (* a (PI)) 2)) (* 1/16200 (pow (* b (PI)) 2))))) (* a a) (* (* angle angle) (+ (* -1/16200 (pow (* a (PI)) 2)) (* 1/16200 (pow (* b (PI)) 2)))) (+ (* -1/16200 (pow (* a (PI)) 2)) (* 1/16200 (pow (* b (PI)) 2))) -1/16200 (pow (* a (PI)) 2) (* a (PI)) (* 1/16200 (pow (* b (PI)) 2)) 1/16200 (pow (* b (PI)) 2) (* b (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 (+ (* 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))) (* y-scale (sqrt 8)) y-scale (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 (* b (+ (/ (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)) y-scale) (/ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)))))))) -1 (* b (+ (/ (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)) y-scale) (/ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2))))))) (+ (/ (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)) y-scale) (/ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)))))) (/ (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)) y-scale) (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)) (sqrt 2) (/ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2))))) (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (* (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2)))) (* b b) (* y-scale (* (sin (* 1/180 (* angle (PI)))) (sqrt 2))))
328.0ms
phi2
@inf
((* R (* 2 (atan2 (sqrt (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) R (* 2 (atan2 (sqrt (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) 2 (atan2 (sqrt (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) (* (sin (/ phi1 2)) (cos (/ phi2 2))) (sin (/ phi1 2)) (/ phi1 2) phi1 (cos (/ phi2 2)) (/ phi2 2) phi2 (* (cos (/ phi1 2)) (sin (/ phi2 2))) (cos (/ phi1 2)) (sin (/ phi2 2)) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (cos phi2)) (cos phi1) (cos phi2) (sin (/ (- lambda1 lambda2) 2)) (/ (- lambda1 lambda2) 2) (- lambda1 lambda2) lambda1 lambda2 (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi1 phi2) 2)) 2) (sin (/ (- phi1 phi2) 2)) (/ (- phi1 phi2) 2) (- phi1 phi2) (* (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) R) (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)) (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))) (cos (* 2 (/ (- lambda1 lambda2) 2))) (* 2 (/ (- lambda1 lambda2) 2)) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (cos phi2)) (cos phi2) (+ (* (- (* (* phi2 phi2) 1/24) 1/2) (* phi2 phi2)) 1) (- (* (* phi2 phi2) 1/24) 1/2) (* (* phi2 phi2) 1/24) (* phi2 phi2) 1/24 (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (sin (/ (- lambda1 lambda2) 2))) (/ (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) 2) (+ (cos (+ phi2 phi1)) (cos (- phi2 phi1))) (cos (+ phi2 phi1)) (+ phi2 phi1) (cos (- phi2 phi1)) (- phi2 phi1) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)) (+ (* (+ (* (* -1/8 lambda1) (sin (* -1/2 lambda2))) (* (cos (* -1/2 lambda2)) 1/2)) lambda1) (sin (* -1/2 lambda2))) (+ (* (* -1/8 lambda1) (sin (* -1/2 lambda2))) (* (cos (* -1/2 lambda2)) 1/2)) (* -1/8 lambda1) -1/8 (sin (* -1/2 lambda2)) (* -1/2 lambda2) -1/2 (* (cos (* -1/2 lambda2)) 1/2) (cos (* -1/2 lambda2)))
241.0ms
t
@inf
((fabs (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) ew (cos t) t (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) 2 (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (+ (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) ew) (+ (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew))
206.0ms
t
@0
((fabs (+ (* ew (* (sin t) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))))) (+ (* ew (* (sin t) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))) ew (* (sin t) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))))) (sin t) t (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))))) 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))) (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))) (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (cos t) eh) (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ eh ew) (tan t))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (* ew t)) (* ew t) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (cos t) (+ 1 (* -1/2 (* t t))) (* -1/2 (* t t)) -1/2 (* t t) (/ eh (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* ew (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t))) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)) (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (atan (/ (* eh (cos t)) (* ew (sin t)))) (/ (* eh (cos t)) (* ew (sin t))) (* eh (cos t)) (* ew (sin t)) (fabs (+ (* ew (* (sin t) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* ew (* (sin t) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin t) (cos (atan (/ (/ eh ew) (tan t))))) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (* (* (cos t) eh) (sin (atan (/ (/ eh ew) (tan t))))) (sin (atan (/ (/ eh ew) (tan t)))))
168.0ms
x-scale
@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 (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))))) 1/4 (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))))) (* x-scale (sqrt 8)) x-scale (sqrt 8) 8 (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))) (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (- (* a a) (* -1 (* a a))) (* 2 (* a a)) 2 (* a a) a (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))))) (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))))) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))) (* a (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (- 1 (* 16200 (/ (* (* x-scale x-scale) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))))) (* (PI) (PI))))) 1 (* 16200 (/ (* (* x-scale x-scale) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))))) (* (PI) (PI)))) 16200 (/ (* (* x-scale x-scale) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))))) (* (PI) (PI))) (* (* x-scale x-scale) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))))) (* x-scale x-scale) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale)))) -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale)) (* (PI) (PI)) (PI) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))) 1/8100 (/ (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 (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))))) (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))))) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))) (* a (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))) 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) (* (* angle angle) (+ (* -1/16200 (/ (* (PI) (PI)) (* x-scale x-scale))) (* 1/8100 (/ (* (PI) (PI)) (* x-scale x-scale))))) (* angle angle) (pow (sin (* 1/180 (* angle (PI)))) 2) (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 (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))))) (* (* x-scale (sqrt 8)) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))))) (sqrt (- (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))))) (* a (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))) (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) 4 (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/32400 (pow (* angle (PI)) 2)) 1/32400 (pow (* angle (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 (* (* 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))))))) -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)))) b (* x-scale (* y-scale (sqrt 8))) (* y-scale (sqrt 8)) y-scale (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))))) (* -1 (* (pow y-scale -1) (sqrt (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))))))) -1 (* (pow y-scale -1) (sqrt (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)))))) (pow y-scale -1) (sqrt (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))))) (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))) (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)))

eval24.8s (6.1%)

Memory
-616.3MiB live, 34 793.3MiB allocated; 11.2s collecting garbage
Compiler

Compiled 12 737 735 to 586 696 computations (95.4% saved)

prune22.8s (5.6%)

Memory
-149.1MiB live, 36 937.0MiB allocated; 5.4s collecting garbage
Counts
111 090 → 5 986
Compiler

Compiled 1 031 884 to 385 447 computations (62.6% saved)

explain18.9s (4.6%)

Memory
259.9MiB live, 27 871.3MiB allocated; 3.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity17971
+.f64#fcancellation169435
sin.f64#fsensitivity15855
sqrt.f64#foflow-rescue13610
-.f64#fcancellation91510
-.f64#fnan-rescue6970
log.f64#fsensitivity5902
/.f64#fo/n4440
/.f64#fo/o3930
*.f64#fn*o2780
/.f64#fu/u2580
/.f64#fu/n1960
exp.f64#fsensitivity15918
sqrt.f64#fuflow-rescue1440
/.f64#fn/o1190
cbrt.f64#foflow-rescue1040
*.f64#fn*u910
/.f64#fn/u440
cbrt.f64#fuflow-rescue390
*.f64#fo*u380
*.f64#fu*o240
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)))))sensitivity225
pow.f64#fuflow-rescue90
log.f64#foflow-rescue80
pow.f64(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)sensitivity31
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow57
↳(exp.f64 b)underflow81
Confusion
Predicted +Predicted -
+570068
-12966248
Precision
0.8147512864493996
Recall
0.9882108183079057
Confusion?
Predicted +Predicted MaybePredicted -
+57004127
-1296286220
Precision?
0.8125973106864827
Recall?
0.9953190013869625
Freqs
test
numberfreq
06316
14609
21567
3346
4255
5138
650
727
83
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4110
-217
Precision?
0.9333333333333333
Recall?
1.0
Samples
3.2s7 630×1valid
2.1s16 620×0valid
1.7s2 072×2valid
460.0ms302×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-sin: 1.1s (19% of total)
ival-cos: 905.0ms (15.6% of total)
ival-mult!: 695.0ms (11.9% of total)
adjust: 487.0ms (8.4% of total)
ival-pow2: 401.0ms (6.9% of total)
ival-div!: 346.0ms (5.9% of total)
ival-sinu: 305.0ms (5.2% of total)
ival-cosu: 301.0ms (5.2% of total)
ival-exp: 235.0ms (4% of total)
ival-sqrt: 189.0ms (3.2% of total)
ival-log: 178.0ms (3.1% of total)
ival-sub!: 137.0ms (2.4% of total)
ival-add!: 126.0ms (2.2% of total)
ival-neg: 91.0ms (1.6% of total)
ival-tan: 66.0ms (1.1% of total)
ival-atan2: 57.0ms (1% of total)
ival-pow: 48.0ms (0.8% of total)
ival-atan: 44.0ms (0.8% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-acos: 20.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.3% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-asin: 6.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze17.7s (4.3%)

Memory
-97.5MiB live, 20 484.0MiB allocated; 8.2s 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)

derivations15.0s (3.7%)

Memory
211.4MiB live, 14 900.5MiB allocated; 1.8s collecting garbage
Stop Event
42×fuel
10×done
Compiler

Compiled 45 519 to 6 060 computations (86.7% saved)

bsearch9.8s (2.4%)

Memory
241.4MiB live, 14 146.7MiB allocated; 1.6s collecting garbage
Algorithm
286×binary-search
88×left-value
Stop Event
278×narrow-enough
8×predicate-same
Samples
4.6s7 460×1valid
2.2s15 131×0valid
582.0ms1 084×2valid
142.0ms1 002×0invalid
95.0ms53×3valid
4.0ms78×0exit
0.0ms2×1invalid
Compiler

Compiled 219 776 to 134 340 computations (38.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-cos: 1.8s (27.7% of total)
ival-sin: 1.7s (26.1% of total)
ival-mult!: 821.0ms (12.6% of total)
adjust: 508.0ms (7.8% of total)
ival-pow2: 383.0ms (5.9% of total)
ival-div!: 201.0ms (3.1% of total)
ival-sub!: 181.0ms (2.8% of total)
ival-sqrt: 167.0ms (2.6% of total)
ival-atan2: 138.0ms (2.1% of total)
ival-add!: 104.0ms (1.6% of total)
ival-cosu: 100.0ms (1.5% of total)
ival-sinu: 94.0ms (1.4% of total)
ival-acos: 90.0ms (1.4% of total)
ival-exp: 45.0ms (0.7% of total)
ival-neg: 39.0ms (0.6% of total)
ival-atan: 37.0ms (0.6% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-tan: 32.0ms (0.5% of total)
ival-asin: 16.0ms (0.2% of total)
ival-log: 14.0ms (0.2% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-log1p: 3.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

preprocess8.1s (2%)

Memory
-593.1MiB live, 11 407.3MiB allocated; 1.7s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 252 266 to 70 730 computations (72% saved)

start3.0ms (0%)

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

end0.0ms (0%)

Memory
0.9MiB live, 0.8MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...