Herbie run

Date:Sunday, May 4th, 2025
Commit:076653f5 on faster-series
Seed:2025124
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:633 326.5 MB

Time bar (total: 11.0min)

sample3.9min (35.7%)

Memory
206.8MiB live, 228 899.2MiB allocated; 2.6min collecting garbage
Samples
1.0min119 489×1valid
44.9s281 081×0valid
26.7s3 864×4exit
23.3s25 440×2valid
14.4s11 398×5exit
9.0s3 278×3valid
6.9s35 092×0exit
5.1s19 975×0invalid
3.2s12 308×1invalid
502.0ms2 725×1exit
400.0ms895×2invalid
212.0ms2×3exit
107.0ms24×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-pow: 30.6s (17.8% of total)
adjust: 19.9s (11.5% of total)
ival-cos: 17.3s (10.1% of total)
ival-mult!: 16.6s (9.6% of total)
ival-pow2: 13.0s (7.5% of total)
ival-div!: 11.2s (6.5% of total)
ival-sin: 9.9s (5.7% of total)
ival-exp: 8.5s (4.9% of total)
ival-add!: 7.6s (4.4% of total)
ival-sinu: 6.7s (3.9% of total)
ival-sub!: 6.1s (3.5% of total)
ival-cosu: 5.8s (3.4% of total)
ival-log: 5.2s (3% of total)
ival-sqrt: 5.0s (2.9% of total)
ival-neg: 2.9s (1.7% of total)
ival-atan2: 2.0s (1.2% of total)
ival-tan: 1.0s (0.6% of total)
ival-hypot: 895.0ms (0.5% of total)
ival-acos: 514.0ms (0.3% of total)
ival-cbrt: 432.0ms (0.3% of total)
ival-atan: 374.0ms (0.2% of total)
ival-asin: 312.0ms (0.2% of total)
ival-log1p: 206.0ms (0.1% of total)
ival-fabs: 188.0ms (0.1% of total)
ival-<: 101.0ms (0.1% of total)
ival-and: 47.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 6.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

series3.1min (28.5%)

Memory
3 584.0MiB live, 175 978.0MiB allocated; 2.7min collecting garbage
Counts
7 745 → 42 938
Calls

1599 calls:

TimeVariablePointExpression
2.7s
a
@0
((- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (* (* a a) (* (/ b (* y-scale y-scale)) (/ b (* x-scale x-scale)))) -4) (* (* a a) (* (/ b (* y-scale y-scale)) (/ b (* x-scale x-scale)))) (* a a) a (* (/ b (* y-scale y-scale)) (/ b (* x-scale x-scale))) (/ b (* y-scale y-scale)) b (* y-scale y-scale) y-scale (/ b (* x-scale x-scale)) (* x-scale x-scale) x-scale -4 (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (* (* a a) (/ (* b b) (* (* y-scale y-scale) (* x-scale x-scale)))) -4) (* (* a a) (/ (* b b) (* (* y-scale y-scale) (* x-scale x-scale)))) (/ (* (* a a) (* b b)) (* (* x-scale x-scale) (* y-scale y-scale))) (* (* a a) (* b b)) (* b b) (* (* x-scale x-scale) (* y-scale y-scale)) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (/ (* 4 (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale))))) (* x-scale x-scale)) (* 4 (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale))))) 4 (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale)))) (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)) (* (* (PI) angle) 1/180) (* (PI) angle) (PI) angle 1/180 (cos (* (* (PI) angle) 1/180)) 2 (* (- (* b b) (* a a)) (- (* b b) (* a a))) (- (* b b) (* a a)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale))) (+ (* (* angle angle) (/ (+ (* (* a a) (+ (* -1/32400 (* (* b b) (* (PI) (PI)))) (* 1/32400 (* (* a a) (* (PI) (PI)))))) (* (* b b) (+ (* -1/32400 (* (* a a) (* (PI) (PI)))) (* 1/32400 (* (* b b) (* (PI) (PI))))))) (* y-scale y-scale))) (/ (* (* a a) (* b b)) (* y-scale y-scale))) (* angle angle) (/ (+ (* (* a a) (+ (* -1/32400 (* (* b b) (* (PI) (PI)))) (* 1/32400 (* (* a a) (* (PI) (PI)))))) (* (* b b) (+ (* -1/32400 (* (* a a) (* (PI) (PI)))) (* 1/32400 (* (* b b) (* (PI) (PI))))))) (* y-scale y-scale)) (+ (* (* a a) (+ (* -1/32400 (* (* b b) (* (PI) (PI)))) (* 1/32400 (* (* a a) (* (PI) (PI)))))) (* (* b b) (+ (* -1/32400 (* (* a a) (* (PI) (PI)))) (* 1/32400 (* (* b b) (* (PI) (PI))))))) (+ (* -1/32400 (* (* b b) (* (PI) (PI)))) (* 1/32400 (* (* a a) (* (PI) (PI))))) -1/32400 (* (* b b) (* (PI) (PI))) (* (PI) (PI)) (* 1/32400 (* (* a a) (* (PI) (PI)))) 1/32400 (* (* a a) (* (PI) (PI))) (* (* b b) (+ (* -1/32400 (* (* a a) (* (PI) (PI)))) (* 1/32400 (* (* b b) (* (PI) (PI)))))) (+ (* -1/32400 (* (* a a) (* (PI) (PI)))) (* 1/32400 (* (* b b) (* (PI) (PI))))) (* 1/32400 (* (* b b) (* (PI) (PI)))) (/ (* (* a a) (* b b)) (* y-scale y-scale)) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* -2 (* a a)) (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180)))) (* -1/90 (* (* a a) (* angle (PI)))) -1/90 (* (* a a) (* angle (PI))) (* angle (PI)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) 180 (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI))) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ 4 x-scale) (/ (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale)))) x-scale)) (/ 4 x-scale) (/ (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale)))) x-scale) (- (/ (* (pow (* (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180))) 2) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* y-scale y-scale)) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale)))) (* (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale))) (+ (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2)) (pow (* (cos (* (* (PI) angle) 1/180)) a) 2) (* (cos (* (* (PI) angle) 1/180)) a) (pow (* (sin (* (* (PI) angle) 1/180)) b) 2) (* (sin (* (* (PI) angle) 1/180)) b) (/ (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (* y-scale y-scale)) (+ (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2)) (pow (* (sin (* (* (PI) angle) 1/180)) a) 2) (* (sin (* (* (PI) angle) 1/180)) a) (pow (* (cos (* (* (PI) angle) 1/180)) b) 2) (* (cos (* (* (PI) angle) 1/180)) b))
2.5s
a
@-inf
((+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) 1 (* 2 a) 2 a (+ (neg g) (sqrt (- (* g g) (* h h)))) (neg g) g (sqrt (- (* g g) (* h h))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (* -1 (/ g a)) -1 (/ g a) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (- (neg g) (sqrt (- (* g g) (* h h)))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) (/ 1/2 a) 1/2 (+ (neg g) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))) (- (* g g) (* h h)) (* g g) (* h h) h (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (- (neg g) (sqrt (- (* g g) (* h h)))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (* (cbrt (/ (+ g (sqrt (- (pow g 2) (pow h 2)))) a)) (cbrt -1/2)) (cbrt (/ (+ g (sqrt (- (pow g 2) (pow h 2)))) a)) (/ (+ g (sqrt (- (pow g 2) (pow h 2)))) a) (+ g (sqrt (- (pow g 2) (pow h 2)))) (sqrt (- (pow g 2) (pow h 2))) (- (pow g 2) (pow h 2)) (pow g 2) (pow h 2) (cbrt -1/2) -1/2 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (+ (* (cbrt (/ g a)) (* (cbrt -1/2) (cbrt 2))) (* (cbrt (/ (pow h 2) (* a g))) (* (cbrt -1/2) (cbrt 1/2)))) (cbrt (/ g a)) (* (cbrt -1/2) (cbrt 2)) (cbrt 2) (* (cbrt (/ (pow h 2) (* a g))) (* (cbrt -1/2) (cbrt 1/2))) (cbrt (/ (pow h 2) (* a g))) (/ (pow h 2) (* a g)) (* a g) (* (cbrt -1/2) (cbrt 1/2)) (cbrt 1/2))
2.3s
lambda1
@-inf
((+ lambda1 (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) lambda1 (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (cos phi2) phi2 (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (* (sin lambda1) (cos lambda2)) (sin lambda1) (cos lambda2) lambda2 (* (cos lambda1) (sin lambda2)) (cos lambda1) (sin lambda2) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cos phi1) phi1 (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (sin (- lambda1 lambda2))) (cos phi2) 1 (sin (- lambda1 lambda2)) (- lambda1 lambda2) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (cos phi1) (+ (* (* phi1 phi1) -1/2) 1) (* phi1 phi1) -1/2 (* (cos phi2) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (cos phi2) (cos (- lambda1 lambda2))) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (+ (* (sin phi1) (cos (/ (PI) 2))) (* (cos phi1) (sin (/ (PI) 2)))) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1))) (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) (cos phi1)) (+ lambda1 (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (* (sin lambda1) (cos lambda2)) (sin lambda1) (* (+ (* (* lambda1 lambda1) -1/6) 1) lambda1) (+ (* (* lambda1 lambda1) -1/6) 1) (* lambda1 lambda1) -1/6 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (cos phi2) (cos (- lambda1 lambda2))))
2.0s
s
@inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n))) (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (* c_n (log (/ 1/2 (- 1 (/ 1 (+ (exp (neg t)) 1)))))) c_n (log (/ 1/2 (- 1 (/ 1 (+ (exp (neg t)) 1))))) (* 1/2 t) 1/2 t (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n))) (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (* c_n (log (/ (- 1 (/ 1 (+ (exp (neg s)) 1))) 1/2))) (log (/ (- 1 (/ 1 (+ (exp (neg s)) 1))) 1/2)) (* -1/2 s) -1/2 s (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n))) (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (* c_n (log (/ (- 1 (/ 1 (+ (exp (neg s)) 1))) 1/2))) (log (/ (- 1 (/ 1 (+ (exp (neg s)) 1))) 1/2)) (* (- (* -1/8 s) 1/2) s) (- (* -1/8 s) 1/2) (* -1/8 s) -1/8 (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (neg (log (+ (exp (neg s)) 1))) c_p) (* (neg (log (+ (exp (neg t)) 1))) c_p))) (- (* (neg (log (+ (exp (neg s)) 1))) c_p) (* (neg (log (+ (exp (neg t)) 1))) c_p)) (* (neg (log (+ (exp (neg s)) 1))) c_p) (neg (log (+ (exp (neg s)) 1))) (- (* 1/2 s) (log 2)) (* 1/2 s) (log 2) 2 c_p (* (neg (log (+ (exp (neg t)) 1))) c_p) (neg (log (+ (exp (neg t)) 1))) (log 1/2))
1.7s
y-scale
@-inf
((* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (/ (* y-scale (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) (* x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))))) -1/2 (/ (* y-scale (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) (* x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))))) (* y-scale (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) y-scale (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))) a (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))) b (cos (* 1/180 (* angle (PI)))) (* x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))) x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) (- (* b b) (* a a)) (* b b) (* a a) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* 90 (/ (* x-scale (* y-scale (- (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (/ (+ (* b b) (* b b)) (* x-scale x-scale))))) (* angle (* (PI) (- (* b b) (* a a)))))) 90 (/ (* x-scale (* y-scale (- (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (/ (+ (* b b) (* b b)) (* x-scale x-scale))))) (* angle (* (PI) (- (* b b) (* a a))))) (* x-scale (* y-scale (- (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (/ (+ (* b b) (* b b)) (* x-scale x-scale))))) (* y-scale (- (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (/ (+ (* b b) (* b b)) (* x-scale x-scale)))) (- (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (/ (+ (* b b) (* b b)) (* x-scale x-scale))) (/ (+ (* a a) (* a a)) (* y-scale y-scale)) (+ (* a a) (* a a)) (* y-scale y-scale) (/ (+ (* b b) (* b b)) (* x-scale x-scale)) (+ (* b b) (* b b)) (* x-scale x-scale) (* angle (* (PI) (- (* b b) (* a a)))) (* (PI) (- (* b b) (* a a))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (- (- (/ (/ (+ (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)))) (- (+ (* (* angle angle) (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)))) (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (+ (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))))))))) (/ (+ (* a a) (* a a)) (* y-scale y-scale))) (/ (+ (* b b) (* b b)) (* x-scale x-scale))) (+ (* (* angle angle) (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)))) (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (+ (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))))))))) (/ (+ (* a a) (* a a)) (* y-scale y-scale))) (* angle angle) (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)))) (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (+ (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)))) -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale)) (* (* a a) (* (PI) (PI))) (* (PI) (PI)) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))) 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)) (* (* b b) (* (PI) (PI))) (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (+ (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))))))) (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale)) (+ (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)) (* 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))))) 1/2 (/ (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (+ (* 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale)))) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))))) 1/8100 (/ (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (* x-scale x-scale) (* y-scale y-scale))) (* (* (PI) (PI)) (* (- (* b b) (* a a)) (- (* b b) (* a a)))) (* (- (* b b) (* a a)) (- (* b b) (* a a))) (* (* x-scale x-scale) (* y-scale y-scale)) (* 2 (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))))) (* (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (- (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (+ (* -1/32400 (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale))) (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (* 2 (- (pow b 2) (pow a 2))) (- (pow b 2) (pow a 2)) (pow b 2) (pow a 2) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) (cos (* (/ angle 180) (PI))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (- (- (/ (/ (+ (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)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (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 (- (/ (/ (+ (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 (- (/ (/ (+ (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 (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 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)) (- (- (/ (/ (+ (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)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (sin (* (/ angle 180) (PI))) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (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 (- (/ (/ (+ (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 (- (/ (/ (+ (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 (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (pow (/ (/ (* (* (* 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) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))))

rewrite1.0min (9.3%)

Memory
943.7MiB live, 57 990.1MiB allocated; 37.3s collecting garbage
Stop Event
449×iter-limit
164×node-limit
27×unsound
4×saturated
Counts
50 683 → 72 269

eval44.1s (6.7%)

Memory
511.5MiB live, 41 464.4MiB allocated; 41.3s collecting garbage
Compiler

Compiled 4 073 361 to 493 872 computations (87.9% saved)

regimes38.6s (5.9%)

Memory
1 023.1MiB live, 39 884.5MiB allocated; 20.3s collecting garbage
Counts
17 942 → 870
Calls

155 calls:

3.4s
phi1
2.7s
lambda1
2.7s
lambda2
2.5s
phi2
1.9s
a
Compiler

Compiled 17 733 to 15 755 computations (11.2% saved)

analyze23.3s (3.5%)

Memory
196.5MiB live, 21 709.4MiB allocated; 17.1s 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)

derivations21.6s (3.3%)

Memory
-250.6MiB live, 12 930.6MiB allocated; 13.6s collecting garbage
Stop Event
41×fuel
11×done
Compiler

Compiled 12 284 to 6 115 computations (50.2% saved)

prune19.5s (3%)

Memory
260.4MiB live, 27 345.2MiB allocated; 8.1s collecting garbage
Counts
73 377 → 5 583
Compiler

Compiled 576 760 to 363 518 computations (37% saved)

preprocess15.6s (2.4%)

Memory
-491.2MiB live, 16 504.7MiB allocated; 11.1s collecting garbage
Stop Event
51×node-limit
1×saturated
Compiler

Compiled 137 190 to 75 041 computations (45.3% saved)

bsearch11.3s (1.7%)

Memory
197.9MiB live, 10 612.1MiB allocated; 5.7s collecting garbage
Algorithm
272×binary-search
130×left-value
Stop Event
266×narrow-enough
6×predicate-same
Samples
6.6s7 027×1valid
2.0s11 500×0valid
298.0ms430×2valid
95.0ms597×0invalid
37.0ms19×3valid
5.0ms123×0exit
Compiler

Compiled 176 742 to 132 093 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.2s
ival-sin: 3.1s (37.3% of total)
ival-cos: 2.2s (26.3% of total)
ival-mult!: 816.0ms (9.9% of total)
adjust: 542.0ms (6.6% of total)
ival-pow2: 299.0ms (3.6% of total)
ival-div!: 274.0ms (3.3% of total)
ival-sub!: 208.0ms (2.5% of total)
ival-atan2: 198.0ms (2.4% of total)
ival-sqrt: 117.0ms (1.4% of total)
ival-sinu: 112.0ms (1.4% of total)
ival-cosu: 100.0ms (1.2% of total)
ival-hypot: 69.0ms (0.8% of total)
ival-add!: 60.0ms (0.7% of total)
ival-atan: 52.0ms (0.6% of total)
ival-exp: 49.0ms (0.6% of total)
ival-acos: 41.0ms (0.5% of total)
ival-neg: 18.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-asin: 11.0ms (0.1% of total)
ival-log: 7.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-log1p: 2.0ms (0% of total)

start42.0ms (0%)

Memory
-38.8MiB live, 7.7MiB allocated; 71ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...