Herbie run

Date:Thursday, April 17th, 2025
Commit:1f1b1a03 on taylor-last-iteration
Seed:2025107
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:478 371.5 MB

Time bar (total: 6.2min)

sample2.8min (45.4%)

Memory
1 310.0MiB live, 200 371.4MiB allocated; 51.3s collecting garbage
Samples
47.8s119 120×1valid
32.5s281 398×0valid
18.4s3 935×4exit
15.1s25 501×2valid
7.5s11 267×5exit
6.2s3 269×3valid
5.0s34 721×0exit
3.1s12 523×1invalid
1.8s19 681×0invalid
336.0ms919×2invalid
241.0ms2 723×1exit
89.0ms24×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 21.2s (18% of total)
ival-mult!: 13.7s (11.7% of total)
adjust: 12.2s (10.4% of total)
ival-cos: 11.2s (9.5% of total)
ival-sin: 8.2s (7% of total)
ival-pow2: 7.7s (6.6% of total)
ival-div!: 6.8s (5.8% of total)
ival-exp: 6.6s (5.7% of total)
ival-sinu: 5.4s (4.6% of total)
ival-cosu: 5.1s (4.3% of total)
ival-sqrt: 4.2s (3.6% of total)
ival-log: 3.7s (3.2% of total)
ival-add!: 2.9s (2.5% of total)
ival-sub!: 2.9s (2.5% of total)
ival-neg: 1.9s (1.7% of total)
ival-atan2: 750.0ms (0.6% of total)
ival-hypot: 674.0ms (0.6% of total)
ival-tan: 628.0ms (0.5% of total)
ival-acos: 347.0ms (0.3% of total)
ival-atan: 305.0ms (0.3% of total)
ival-cbrt: 276.0ms (0.2% of total)
ival-log1p: 147.0ms (0.1% of total)
ival-fabs: 146.0ms (0.1% of total)
ival-asin: 111.0ms (0.1% of total)
ival-<: 98.0ms (0.1% of total)
ival-and: 53.0ms (0% of total)
ival-assert: 9.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

rewrite44.9s (12.1%)

Memory
2 207.6MiB live, 60 034.9MiB allocated; 11.4s collecting garbage
Stop Event
529×iter-limit
157×node-limit
31×unsound
5×saturated
Counts
32 203 → 148 662

eval34.4s (9.3%)

Memory
676.2MiB live, 52 869.8MiB allocated; 14.6s collecting garbage
Compiler

Compiled 18 763 407 to 922 282 computations (95.1% saved)

regimes27.4s (7.4%)

Memory
518.3MiB live, 42 941.2MiB allocated; 7.0s collecting garbage
Counts
12 836 → 621
Calls

153 calls:

2.1s
phi1
1.7s
lambda1
1.7s
phi2
1.6s
lambda2
1.5s
(/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64))
Compiler

Compiled 18 667 to 13 561 computations (27.4% saved)

series21.7s (5.8%)

Memory
101.6MiB live, 26 677.1MiB allocated; 8.3s collecting garbage
Counts
2 390 → 24 588
Calls

396 calls:

TimeVariablePointExpression
915.0ms
a
@0
((/ (/ (/ (sqrt (* (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2)))))) (neg (* (/ (* 4 a) y-scale) (/ b y-scale)))) (/ (neg a) x-scale)) (/ b x-scale)) (/ (/ (sqrt (* (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2)))))) (neg (* (/ (* 4 a) y-scale) (/ b y-scale)))) (/ (neg a) x-scale)) (/ (sqrt (* (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2)))))) (neg (* (/ (* 4 a) y-scale) (/ b y-scale)))) (sqrt (* (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2)))))) (* (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2))))) (- (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale))) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)) (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* (cos (* (PI) (/ angle 180))) a) (cos (* (PI) (/ angle 180))) (* (PI) (/ angle 180)) (PI) (/ angle 180) angle 180 a 2 (pow (* (sin (* (PI) (/ angle 180))) b) 2) (* (sin (* (PI) (/ angle 180))) b) (sin (* (PI) (/ angle 180))) b (* y-scale y-scale) y-scale (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (pow (* (sin (* (PI) (/ angle 180))) a) 2) (* (sin (* (PI) (/ angle 180))) a) (pow (* (cos (* (PI) (/ angle 180))) b) 2) (* (cos (* (PI) (/ angle 180))) b) (* x-scale x-scale) x-scale (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)))))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (+ (* (neg a) a) (* b b)) (neg a) (* b b) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)) (sin (* (* (PI) (/ angle 180)) 2)) (* (* (PI) (/ angle 180)) 2) (* y-scale x-scale) (* (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (* 8 (pow (* b a) 2)))) (/ (neg (pow (* b a) 2)) (pow (* y-scale x-scale) 2)) (neg (pow (* b a) 2)) (pow (* b a) 2) (* b a) (pow (* y-scale x-scale) 2) (neg (* 8 (pow (* b a) 2))) (* 8 (pow (* b a) 2)) 8 (neg (* (/ (* 4 a) y-scale) (/ b y-scale))) (* (/ (* 4 a) y-scale) (/ b y-scale)) (/ (* 4 a) y-scale) (* 4 a) 4 (/ b y-scale) (/ (neg a) x-scale) (/ b x-scale) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))))) (* (/ (* 4 (* a b)) (* y-scale y-scale)) (/ (* (neg a) b) (* x-scale x-scale)))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (* (* b a) (* b (neg a)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale))) (/ (* 4 (* (* b a) (* b (neg a)))) (* (* (* y-scale y-scale) x-scale) x-scale)) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b (neg a)) (* (* (* y-scale y-scale) x-scale) x-scale) (* (* y-scale y-scale) x-scale) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))))) (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (sin (* 2 (* (PI) (/ angle 180)))) (* 2 (* (PI) (/ angle 180))) (* (/ (* 4 (* a b)) (* y-scale y-scale)) (/ (* (neg a) b) (* x-scale x-scale))) (/ (* 4 (* a b)) (* y-scale y-scale)) (* 4 (* a b)) (* a b) (/ (* (neg a) b) (* x-scale x-scale)) (* (neg a) b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (/ (* b b) y-scale)) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)))))))))))) (* (/ (* 4 (* a b)) (* y-scale y-scale)) (/ (* (neg a) b) (* x-scale x-scale)))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (/ (* b b) y-scale)) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)))))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (/ (* b b) y-scale)) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (/ (* b b) y-scale)) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)))))))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (pow (* x-scale y-scale) 2) (* x-scale y-scale) (+ (* (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (/ (* b b) y-scale)) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))))) (/ (pow (sin (* (PI) (/ angle 180))) 2) y-scale) (pow (sin (* (PI) (/ angle 180))) 2) (/ (* b b) y-scale) (+ (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale)))))))) (/ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* y-scale y-scale)) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (PI) (/ angle 180))) a) 2) (pow (* (cos (* (PI) (/ angle 180))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) a) 2) (pow (* (sin (* (PI) (/ angle 180))) b) 2)) (* y-scale y-scale)))) (* (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))) (* (+ (* (neg a) a) (* b b)) (/ (sin (* (* (PI) (/ angle 180)) 2)) (* y-scale x-scale))))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))))) (+ (/ (+ (pow (* (sin (* (PI) (/ angle 180))) b) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)))))) (sqrt (+ (* (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))))) (- (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale))) (/ (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) y-scale) (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) y-scale) (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* (sin (* (/ angle 180) (PI))) b) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (pow (* (cos (* (/ angle 180) (PI))) a) 2) (* (cos (* (/ angle 180) (PI))) a) (cos (* (/ angle 180) (PI))) (* (* (/ (sqrt (* (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2))))) (* -4 (neg (pow (* a b) 2)))) (* y-scale x-scale)) (* y-scale x-scale)) (* (/ (sqrt (* (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2))))) (* -4 (neg (pow (* a b) 2)))) (* y-scale x-scale)) (/ (sqrt (* (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2))))) (* -4 (neg (pow (* a b) 2)))) (sqrt (* (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2))))) (* (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2)))) (+ (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale))) (+ (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))))))) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)) (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (pow (* (cos (* (/ angle 180) (PI))) b) 2) (* (cos (* (/ angle 180) (PI))) b) (pow (* (sin (* (/ angle 180) (PI))) a) 2) (* (sin (* (/ angle 180) (PI))) a) (sqrt (+ (* (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)))) (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale)))))) (* (+ (* a a) (* (neg b) b)) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale))) (+ (* a a) (* (neg b) b)) (* (neg b) b) (neg b) (/ (sin (* 2 (* (/ angle 180) (PI)))) (* x-scale y-scale)) (sin (* 2 (* (/ angle 180) (PI)))) (* 2 (* (/ angle 180) (PI))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (pow (* (sin (* (/ angle 180) (PI))) a) 2)) (* x-scale x-scale))) (/ (+ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)) (/ (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* y-scale y-scale)) (/ (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* y-scale y-scale)) (pow (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) 2) (* (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) a) (sin (+ (* (PI) (/ angle 180)) (/ (PI) 2))) (+ (* (PI) (/ angle 180)) (/ (PI) 2)) (/ (PI) 2) (* (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (neg (pow (* a b) 2))) (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2)) (neg (pow (* a b) 2)) (pow (* a b) 2) (* -4 (neg (pow (* a b) 2))) -4)
462.0ms
lambda2
@inf
((* R (* 2 (atan2 (sqrt (+ (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2))))))))) R (* 2 (atan2 (sqrt (+ (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2)))))))) 2 (atan2 (sqrt (+ (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) 2) (+ (* (sin (/ phi2 2)) (neg (cos (/ phi1 -2)))) (* (cos (/ phi2 -2)) (sin (/ phi1 2)))) (sin (/ phi2 2)) (/ phi2 2) phi2 (neg (cos (/ phi1 -2))) (cos (/ phi1 -2)) (/ phi1 -2) phi1 -2 (* (cos (/ phi2 -2)) (sin (/ phi1 2))) (cos (/ phi2 -2)) (/ phi2 -2) (sin (/ phi1 2)) (/ phi1 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 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2))))) 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (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))) (cos (/ phi2 2)) (* (cos (/ phi1 2)) (sin (/ phi2 2))) (cos (/ phi1 2)) (* (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (sin (/ (- lambda1 lambda2) 2))) (* (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (cos phi1)) (* (sin (/ (- lambda1 lambda2) 2)) (cos phi2)) (* R (* 2 (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1)))))))))) (* 2 (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1))))))))) (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1)))))))) (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2)))) (cos (* 2 (/ (- phi1 phi2) 2))) (* 2 (/ (- phi1 phi2) 2)) (/ (- phi1 phi2) 2) (- phi1 phi2) (sqrt (- 1 (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1))))))) (- 1 (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1)))))) (+ 1/2 (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1))))) (+ (* -1/2 (cos (* -2 (/ (- phi1 phi2) 2)))) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1)))) -1/2 (cos (* -2 (/ (- phi1 phi2) 2))) (* -2 (/ (- phi1 phi2) 2)) (* (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* (cos phi2) (cos phi1))) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))) (cos (* 2 (/ (- lambda1 lambda2) 2))) (* 2 (/ (- lambda1 lambda2) 2)) (* (cos phi2) (cos 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 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2)))) (* (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 2))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (+ (* (+ 1 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2)))) (* (neg (* (cos phi2) (cos phi1))) (pow (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 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2)))) (* (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 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)))) (pow (sin (/ (- phi1 phi2) 2)) 2) (sin (/ (- phi1 phi2) 2)) (sqrt (+ (* (+ 1 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2)))) (* (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 2)))) (+ (* (+ 1 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2)))) (* (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 2))) (+ 1 (sin (/ (- phi1 phi2) 2))) (- 1 (sin (/ (- phi1 phi2) 2))) (* (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 2)) (neg (* (cos phi2) (cos phi1))) (pow (sin (/ (- lambda1 lambda2) 2)) 2) (* R (* 2 (atan2 (sqrt (+ (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- 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) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- 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) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- 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) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- phi1 phi2) 2)) 2)) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- phi1 phi2) 2)) 2)) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (/ (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) (pow (cos (/ (- phi1 phi2) 2)) 2)) (- 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2)) 1/4 (pow (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) 2) (* (cos (* -2 (/ (- phi1 phi2) 2))) 1/2) (pow (cos (/ (- phi1 phi2) 2)) 2) (cos (/ (- phi1 phi2) 2)) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (sin (+ (/ (PI) 2) phi2))) (sin (+ (/ (PI) 2) phi2)) (+ (/ (PI) 2) phi2) (/ (PI) 2) (PI) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (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))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (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)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (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 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (sin (/ (- lambda1 lambda2) 2))) (/ (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) 2) (+ (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2)))) (sin (- (+ (/ (PI) 2) phi1) (neg phi2))) (- (+ (/ (PI) 2) phi1) (neg phi2)) (+ (/ (PI) 2) phi1) (neg phi2) (sin (+ (+ (/ (PI) 2) phi1) (neg phi2))) (+ (+ (/ (PI) 2) phi1) (neg phi2)) (sqrt (- 1 (+ (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)))))) (- 1 (+ (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)))))
415.0ms
eh
@inf
((fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) ew (sin t) t (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* eh (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1))))) (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (pow (* (sin t) 0) 3) (* (sin t) 0) 0 3 (pow (* (cos t) 1) 3) (* (cos t) 1) (cos t) 1 (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1))) (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)) (sin (atan (/ (/ eh ew) (tan t)))) (/ (+ (* (sin t) ew) (* (* (/ (/ eh (tan t)) ew) eh) (cos t))) (sqrt (+ 1 (pow (/ (/ eh (tan t)) ew) 2)))) (+ (* (sin t) ew) (* (* (/ (/ eh (tan t)) ew) eh) (cos t))) (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (/ (/ eh (tan t)) ew) eh) (/ (/ eh (tan t)) ew) (/ eh (tan t)) (sqrt (+ 1 (pow (/ (/ eh (tan t)) ew) 2))) (+ 1 (pow (/ (/ eh (tan t)) ew) 2)) (pow (/ (/ eh (tan t)) ew) 2) 2 (/ (+ (* (* (cos t) eh) (/ (/ eh (tan t)) ew)) (* (sin t) ew)) (sqrt (+ 1 (/ (* eh eh) (* (* (tan t) ew) (* (tan t) ew)))))) (+ (* (* (cos t) eh) (/ (/ eh (tan t)) ew)) (* (sin t) ew)) (* (cos t) eh) (* (sin t) ew) (sqrt (+ 1 (/ (* eh eh) (* (* (tan t) ew) (* (tan t) ew))))) (+ 1 (/ (* eh eh) (* (* (tan t) ew) (* (tan t) ew)))) (/ (* eh eh) (* (* (tan t) ew) (* (tan t) ew))) (* eh eh) (* (* (tan t) ew) (* (tan t) ew)) (* (tan t) ew) (fabs (/ (+ (* (/ (* (/ eh ew) eh) (tan t)) (cos t)) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan (+ (PI) t))) ew))))) (/ (+ (* (/ (* (/ eh ew) eh) (tan t)) (cos t)) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan (+ (PI) t))) ew)))) (+ (* (/ (* (/ eh ew) eh) (tan t)) (cos t)) (* (sin t) ew)) (/ (* (/ eh ew) eh) (tan t)) (* (/ eh ew) eh) (cosh (asinh (/ (/ eh (tan (+ (PI) t))) ew))) (asinh (/ (/ eh (tan (+ (PI) t))) ew)) (/ (/ eh (tan (+ (PI) t))) ew) (/ eh (tan (+ (PI) t))) (tan (+ (PI) t)) (+ (PI) t) (PI) (pow (sqrt (/ (+ (* (/ (* (/ eh ew) eh) (/ (neg (sin t)) (cos (+ (PI) t)))) (cos t)) (* (sin t) ew)) (sqrt (+ 1 (pow (/ (/ eh (tan t)) ew) 2))))) 2) (sqrt (/ (+ (* (/ (* (/ eh ew) eh) (/ (neg (sin t)) (cos (+ (PI) t)))) (cos t)) (* (sin t) ew)) (sqrt (+ 1 (pow (/ (/ eh (tan t)) ew) 2))))) (/ (+ (* (/ (* (/ eh ew) eh) (/ (neg (sin t)) (cos (+ (PI) t)))) (cos t)) (* (sin t) ew)) (sqrt (+ 1 (pow (/ (/ eh (tan t)) ew) 2)))) (+ (* (/ (* (/ eh ew) eh) (/ (neg (sin t)) (cos (+ (PI) t)))) (cos t)) (* (sin t) ew)) (/ (* (/ eh ew) eh) (/ (neg (sin t)) (cos (+ (PI) t)))) (/ (neg (sin t)) (cos (+ (PI) t))) (neg (sin t)) (cos (+ (PI) t)))
305.0ms
b
@inf
((- (log (+ (pow (exp b) 3) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a))))) (log (+ (pow (exp b) 3) (pow (exp a) 3))) (+ (pow (exp b) 3) (pow (exp a) 3)) (pow (exp b) 3) (exp b) b 3 (pow (exp a) 3) (exp a) a (log (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a)))) (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a))) (- (exp b) (exp a)) (exp (+ a a)) (+ a a) (+ (+ a b) (log (+ (exp (neg b)) (exp (neg a))))) (+ a b) (log (+ (exp (neg b)) (exp (neg a)))) (+ (exp (neg b)) (exp (neg a))) (exp (neg b)) (neg b) (exp (neg a)) (neg a) (- (log (pow (- (exp b) (exp a)) 2)) (log (- (exp a) (neg (exp b))))) (log (pow (- (exp b) (exp a)) 2)) (pow (- (exp b) (exp a)) 2) 2 (log (- (exp a) (neg (exp b)))) (- (exp a) (neg (exp b))) (neg (exp b)) (- (log (+ (exp (* 3 b)) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (log (+ (exp (* 3 b)) (pow (exp a) 3))) (+ (exp (* 3 b)) (pow (exp a) 3)) (exp (* 3 b)) (* 3 b) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2))) (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) (pow (exp a) 2) (- (- (log (+ (pow (exp a) 9) (pow (exp b) 9))) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (- (log (+ (pow (exp a) 9) (pow (exp b) 9))) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)))) (log (+ (pow (exp a) 9) (pow (exp b) 9))) (+ (pow (exp a) 9) (pow (exp b) 9)) (pow (exp a) 9) 9 (pow (exp b) 9) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3))) (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)) (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp b) 6) 6 (pow (exp a) 6) (pow (exp (+ a b)) 3) (exp (+ a b)))
290.0ms
a
@inf
((- (log (+ (pow (exp b) 3) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a))))) (log (+ (pow (exp b) 3) (pow (exp a) 3))) (+ (pow (exp b) 3) (pow (exp a) 3)) (pow (exp b) 3) (exp b) b 3 (pow (exp a) 3) (exp a) a (log (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a)))) (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a))) (- (exp b) (exp a)) (exp (+ a a)) (+ a a) (+ (+ a b) (log (+ (exp (neg b)) (exp (neg a))))) (+ a b) (log (+ (exp (neg b)) (exp (neg a)))) (+ (exp (neg b)) (exp (neg a))) (exp (neg b)) (neg b) (exp (neg a)) (neg a) (- (log (pow (- (exp b) (exp a)) 2)) (log (- (exp a) (neg (exp b))))) (log (pow (- (exp b) (exp a)) 2)) (pow (- (exp b) (exp a)) 2) 2 (log (- (exp a) (neg (exp b)))) (- (exp a) (neg (exp b))) (neg (exp b)) (- (log (+ (exp (* 3 b)) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (log (+ (exp (* 3 b)) (pow (exp a) 3))) (+ (exp (* 3 b)) (pow (exp a) 3)) (exp (* 3 b)) (* 3 b) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2))) (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) (pow (exp a) 2) (- (- (log (+ (pow (exp a) 9) (pow (exp b) 9))) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (- (log (+ (pow (exp a) 9) (pow (exp b) 9))) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)))) (log (+ (pow (exp a) 9) (pow (exp b) 9))) (+ (pow (exp a) 9) (pow (exp b) 9)) (pow (exp a) 9) 9 (pow (exp b) 9) (log (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3))) (- (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp (+ a b)) 3)) (+ (pow (exp b) 6) (pow (exp a) 6)) (pow (exp b) 6) 6 (pow (exp a) 6) (pow (exp (+ a b)) 3) (exp (+ a b)))

explain18.3s (4.9%)

Memory
-114.6MiB live, 26 808.9MiB allocated; 4.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18451
+.f64#fcancellation172832
sin.f64#fsensitivity15900
sqrt.f64#foflow-rescue13820
-.f64#fcancellation96512
-.f64#fnan-rescue6250
log.f64#fsensitivity5802
/.f64#fo/n4540
/.f64#fo/o3560
/.f64#fu/u3200
*.f64#fn*o2540
/.f64#fu/n1850
exp.f64#fsensitivity17717
sqrt.f64#fuflow-rescue1530
/.f64#fn/o1210
cbrt.f64#foflow-rescue880
*.f64#fn*u730
cbrt.f64#fuflow-rescue470
*.f64#fo*u460
/.f64#fn/u390
*.f64#fu*o300
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)))))sensitivity211
pow.f64#fuflow-rescue170
pow.f64#fsensitivity93
log.f64#foflow-rescue30
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow64
↳(exp.f64 b)underflow64
Confusion
Predicted +Predicted -
+574059
-13206193
Precision
0.8130311614730878
Recall
0.9898258320400068
Confusion?
Predicted +Predicted MaybePredicted -
+57403326
-1320326161
Precision?
0.8102456140350878
Recall?
0.9955164683566132
Freqs
test
numberfreq
06252
14698
21538
3336
4253
5139
667
719
86
93
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
2.9s7 670×1valid
2.0s16 568×0valid
1.8s2 066×2valid
631.0ms318×3valid
22.0ms2×4valid
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: 997.0ms (17.2% of total)
ival-cos: 695.0ms (12% of total)
ival-mult!: 653.0ms (11.2% of total)
ival-pow2: 513.0ms (8.8% of total)
adjust: 494.0ms (8.5% of total)
ival-cosu: 410.0ms (7.1% of total)
ival-div!: 402.0ms (6.9% of total)
ival-sinu: 286.0ms (4.9% of total)
ival-exp: 252.0ms (4.3% of total)
ival-add!: 184.0ms (3.2% of total)
ival-sqrt: 183.0ms (3.2% of total)
ival-log: 176.0ms (3% of total)
ival-sub!: 129.0ms (2.2% of total)
ival-pow: 116.0ms (2% of total)
ival-neg: 69.0ms (1.2% of total)
ival-tan: 63.0ms (1.1% of total)
ival-atan2: 55.0ms (0.9% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-atan: 33.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: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

analyze16.7s (4.5%)

Memory
-138.1MiB live, 17 463.6MiB allocated; 7.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)

prune14.4s (3.9%)

Memory
-562.4MiB live, 24 050.7MiB allocated; 4.3s collecting garbage
Counts
173 726 → 4 935
Compiler

Compiled 691 252 to 250 203 computations (63.8% saved)

derivations12.2s (3.3%)

Memory
-149.5MiB live, 10 195.2MiB allocated; 3.0s collecting garbage
Stop Event
43×fuel
9×done
Compiler

Compiled 31 489 to 4 582 computations (85.4% saved)

preprocess7.0s (1.9%)

Memory
-757.5MiB live, 8 974.9MiB allocated; 1.3s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 202 394 to 58 286 computations (71.2% saved)

bsearch5.8s (1.6%)

Memory
65.0MiB live, 7 975.4MiB allocated; 832ms collecting garbage
Algorithm
188×binary-search
83×left-value
Stop Event
177×narrow-enough
9×predicate-same
2×predicate-failed
Samples
2.1s3 928×1valid
1.4s10 495×0valid
298.0ms2 583×0invalid
271.0ms555×2valid
225.0ms127×3valid
Compiler

Compiled 138 676 to 80 048 computations (42.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-cos: 803.0ms (21.5% of total)
ival-sin: 760.0ms (20.3% of total)
ival-mult!: 512.0ms (13.7% of total)
adjust: 278.0ms (7.4% of total)
ival-pow2: 271.0ms (7.2% of total)
ival-div!: 215.0ms (5.7% of total)
ival-sinu: 144.0ms (3.8% of total)
ival-sqrt: 130.0ms (3.5% of total)
ival-cosu: 111.0ms (3% of total)
ival-sub!: 104.0ms (2.8% of total)
ival-atan2: 92.0ms (2.5% of total)
ival-add!: 69.0ms (1.8% of total)
ival-neg: 55.0ms (1.5% of total)
ival-tan: 45.0ms (1.2% of total)
ival-atan: 43.0ms (1.1% of total)
ival-hypot: 26.0ms (0.7% of total)
ival-cbrt: 24.0ms (0.6% of total)
ival-exp: 20.0ms (0.5% of total)
ival-acos: 19.0ms (0.5% of total)
ival-fabs: 12.0ms (0.3% of total)
ival-log: 8.0ms (0.2% of total)
ival-pow: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start4.0ms (0%)

Memory
7.6MiB live, 7.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...