Herbie run

Date:Wednesday, April 16th, 2025
Commit:9545262a on taylor-last-iteration
Seed:2025106
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:464 499.9 MB

Time bar (total: 6.1min)

sample2.7min (45.3%)

Memory
2 731.3MiB live, 204 767.3MiB allocated; 45.3s collecting garbage
Samples
43.6s119 643×1valid
34.6s281 257×0valid
17.8s3 876×4exit
13.9s25 127×2valid
7.3s11 284×5exit
7.1s3 266×3valid
5.4s35 311×0exit
2.7s12 136×1invalid
2.4s20 130×0invalid
359.0ms940×2invalid
221.0ms2 618×1exit
56.0ms19×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 20.9s (18.1% of total)
ival-mult!: 12.3s (10.7% of total)
adjust: 11.5s (10% of total)
ival-cos: 11.2s (9.7% of total)
ival-pow2: 8.5s (7.3% of total)
ival-div!: 8.2s (7.1% of total)
ival-sin: 7.9s (6.9% of total)
ival-sinu: 5.3s (4.6% of total)
ival-exp: 5.2s (4.5% of total)
ival-cosu: 5.2s (4.5% of total)
ival-sqrt: 3.8s (3.3% of total)
ival-log: 3.7s (3.2% of total)
ival-sub!: 3.2s (2.8% of total)
ival-add!: 3.0s (2.6% of total)
ival-neg: 2.0s (1.7% of total)
ival-atan2: 727.0ms (0.6% of total)
ival-hypot: 658.0ms (0.6% of total)
ival-tan: 587.0ms (0.5% of total)
ival-acos: 457.0ms (0.4% of total)
ival-cbrt: 393.0ms (0.3% of total)
ival-atan: 287.0ms (0.2% of total)
ival-fabs: 153.0ms (0.1% of total)
ival-asin: 116.0ms (0.1% of total)
ival-log1p: 107.0ms (0.1% of total)
ival-<: 94.0ms (0.1% of total)
ival-and: 49.0ms (0% of total)
ival-==: 12.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 7.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite45.0s (12.4%)

Memory
1 168.6MiB live, 55 111.5MiB allocated; 14.3s collecting garbage
Stop Event
546×iter-limit
158×node-limit
34×unsound
5×saturated
Counts
31 582 → 142 682

eval31.5s (8.7%)

Memory
610.9MiB live, 47 871.9MiB allocated; 10.3s collecting garbage
Compiler

Compiled 18 670 367 to 872 570 computations (95.3% saved)

regimes26.8s (7.4%)

Memory
519.5MiB live, 36 906.3MiB allocated; 7.5s collecting garbage
Counts
13 923 → 651
Calls

153 calls:

2.1s
b
1.5s
phi1
1.4s
phi2
1.4s
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
1.2s
lambda1
Compiler

Compiled 17 824 to 13 369 computations (25% saved)

series19.3s (5.3%)

Memory
283.5MiB live, 24 646.0MiB allocated; 5.1s collecting garbage
Counts
2 372 → 23 937
Calls

411 calls:

TimeVariablePointExpression
551.0ms
y-scale
@-inf
((/ (/ (neg (sqrt (* (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a)))))) (* (/ (* 4 a) x-scale) (/ b y-scale))) (* (/ (neg a) y-scale) (/ b x-scale))) (/ (neg (sqrt (* (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a)))))) (* (/ (* 4 a) x-scale) (/ b y-scale))) (neg (sqrt (* (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a)))))) (sqrt (* (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a))))) (* (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a)))) (- (+ (/ (+ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-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) (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)) (pow (* (sin (* (/ angle 180) (PI))) b) 2) (* (sin (* (/ angle 180) (PI))) b) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) angle 180 (PI) b 2 (pow (* (cos (* (/ angle 180) (PI))) a) 2) (* (cos (* (/ angle 180) (PI))) a) (cos (* (/ angle 180) (PI))) a (* y-scale 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)) (pow (* (cos (* (/ angle 180) (PI))) b) 2) (* (cos (* (/ angle 180) (PI))) b) (pow (* (sin (* (/ angle 180) (PI))) a) 2) (* (sin (* (/ angle 180) (PI))) a) (* x-scale x-scale) x-scale (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-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))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (+ b a) (- b a)) (+ b a) (- b a) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale)) (sin (* (* (/ angle 180) (PI)) 2)) (* (* (/ angle 180) (PI)) 2) (* y-scale x-scale) (* (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (* (* (* a b) b) (neg a))) (* (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) 2) (/ (* (* (* a b) 4) (* (neg a) b)) (pow (* y-scale x-scale) 2)) (* (* (* a b) 4) (* (neg a) b)) (* (* a b) 4) (* a b) 4 (* (neg a) b) (neg a) (pow (* y-scale x-scale) 2) (* (* (* a b) b) (neg a)) (* (* a b) b) (* (/ (* 4 a) x-scale) (/ b y-scale)) (/ (* 4 a) x-scale) (* 4 a) (/ b y-scale) (* (/ (neg a) y-scale) (/ b x-scale)) (/ (neg a) y-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 (+ (* (/ (* (+ (* (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 (* (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))))))))))) (* (/ (* 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 (+ (* (/ (* (+ (* (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 (* (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))))))))))) (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 (+ (* (/ (* (+ (* (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 (* (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)))))))))) (* (* (* 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 (+ (* (/ (* (+ (* (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 (* (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))))))))) (* (* 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 a) (* b (neg a)) (* (* y-scale y-scale) (* 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)) (sqrt (+ (* (/ (* (+ (* (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 (* (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 (* (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 (* (sin (* (PI) (/ angle 180))) b) 2) (* (sin (* (PI) (/ angle 180))) b) (sin (* (PI) (/ angle 180))) (* (PI) (/ angle 180)) (pow (* (cos (* (PI) (/ angle 180))) a) 2) (* (cos (* (PI) (/ angle 180))) a) (cos (* (PI) (/ angle 180))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (+ (* (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 (* (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)) (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (pow (* (cos (* (PI) (/ angle 180))) b) 2) (* (cos (* (PI) (/ angle 180))) b) (pow (* (sin (* (PI) (/ angle 180))) a) 2) (* (sin (* (PI) (/ angle 180))) a) (sqrt (+ (* (/ (* (+ (* (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 (* (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)))))) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (PI) (/ angle 180))))) (+ (* (neg a) a) (* b b)) (* b b) (sin (* 2 (* (PI) (/ angle 180)))) (* 2 (* (PI) (/ angle 180))) (- (/ (+ (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))) (* (/ (* 4 (* a b)) (* y-scale y-scale)) (/ (* (neg a) b) (* x-scale x-scale))) (/ (* 4 (* a b)) (* y-scale y-scale)) (* 4 (* a b)) (/ (* (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 (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))))))) (* (/ (* 4 (* a b)) (* x-scale y-scale)) (/ (* (neg a) b) (* x-scale y-scale)))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 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 (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale)))))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 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 (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale)))))))) (/ (pow (* (cos (* (/ angle 180) (PI))) b) 2) (* x-scale x-scale)) (- (+ (/ (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))) (sqrt (+ (* (- (/ (+ (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) (pow (* (cos (* (/ angle 180) (PI))) a) 2)) (* y-scale y-scale)))) (* (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))) (* (* (+ b a) (- b a)) (/ (sin (* (* (/ angle 180) (PI)) 2)) (* y-scale x-scale))))))) (+ (/ (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))) a) 2) (* x-scale x-scale)) (* (/ (* 4 (* a b)) (* x-scale y-scale)) (/ (* (neg a) b) (* x-scale y-scale))) (/ (* 4 (* a b)) (* x-scale y-scale)) (/ (* (neg a) b) (* x-scale y-scale)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale))))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)))))))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale))))))))) (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)))))))) (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (/ x-scale (* x-scale x-scale)) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale))))))) (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (/ y-scale x-scale) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)))))) (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale))))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (sin (* 2 (* (/ angle 180) (PI)))) (* 2 (* (/ angle 180) (PI))) (* (* (/ (sqrt (* (+ (* (/ (* (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-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))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-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))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-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))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-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))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) y-scale) x-scale) y-scale) (/ x-scale (* x-scale x-scale))) (+ (* (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale y-scale)) (/ y-scale x-scale)) (neg (sqrt (+ (* (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (sin (* (/ angle 180) (PI))) a) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (* x-scale x-scale)) (/ (+ (pow (* (cos (* (/ angle 180) (PI))) a) 2) (pow (* (sin (* (/ angle 180) (PI))) b) 2)) (* y-scale y-scale)))) (* (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)) (/ (* (+ (* (neg a) a) (* b b)) (sin (* 2 (* (/ angle 180) (PI))))) (* x-scale y-scale)))))))) (* (* 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))) (* 8 (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2))) 8 (/ (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)
370.0ms
b
@inf
((log (+ (exp a) (pow (exp (* (exp b) b)) (exp (neg b))))) (+ (exp a) (pow (exp (* (exp b) b)) (exp (neg b)))) (exp a) a (pow (exp (* (exp b) b)) (exp (neg b))) (exp (* (exp b) b)) (* (exp b) b) (exp b) b (exp (neg b)) (neg b) (- (log (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))))) (- (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2))))) (log (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))))) (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b)))) (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))) (- (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2)))) (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (+ (pow (exp (neg b)) 3) (pow (exp a) 3)) (pow (exp (neg b)) 3) 3 (pow (exp a) 3) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2))) (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2)) (- (exp (neg b)) (exp a)) (pow (exp a) 2) 2 (- (log (+ (pow (exp b) 3) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (log (+ (pow (exp b) 3) (pow (exp a) 3))) (+ (pow (exp b) 3) (pow (exp a) 3)) (pow (exp b) 3) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2))) (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) (- (exp b) (exp a)) (- (log (- (pow (exp a) 2) (pow (exp b) 2))) (log (- (exp a) (exp b)))) (log (- (pow (exp a) 2) (pow (exp b) 2))) (- (pow (exp a) 2) (pow (exp b) 2)) (pow (exp b) 2) (log (- (exp a) (exp b))) (- (exp a) (exp b)))
301.0ms
a
@inf
((log (+ (exp a) (pow (exp (* (exp b) b)) (exp (neg b))))) (+ (exp a) (pow (exp (* (exp b) b)) (exp (neg b)))) (exp a) a (pow (exp (* (exp b) b)) (exp (neg b))) (exp (* (exp b) b)) (* (exp b) b) (exp b) b (exp (neg b)) (neg b) (- (log (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))))) (- (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2))))) (log (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))))) (* (+ (exp b) (exp a)) (+ (exp a) (exp (neg b)))) (+ (exp b) (exp a)) (+ (exp a) (exp (neg b))) (- (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2)))) (log (+ (pow (exp (neg b)) 3) (pow (exp a) 3))) (+ (pow (exp (neg b)) 3) (pow (exp a) 3)) (pow (exp (neg b)) 3) 3 (pow (exp a) 3) (log (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2))) (+ (* (exp (neg b)) (- (exp (neg b)) (exp a))) (pow (exp a) 2)) (- (exp (neg b)) (exp a)) (pow (exp a) 2) 2 (- (log (+ (pow (exp b) 3) (pow (exp a) 3))) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)))) (log (+ (pow (exp b) 3) (pow (exp a) 3))) (+ (pow (exp b) 3) (pow (exp a) 3)) (pow (exp b) 3) (log (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2))) (+ (* (exp b) (- (exp b) (exp a))) (pow (exp a) 2)) (- (exp b) (exp a)) (- (log (- (pow (exp a) 2) (pow (exp b) 2))) (log (- (exp a) (exp b)))) (log (- (pow (exp a) 2) (pow (exp b) 2))) (- (pow (exp a) 2) (pow (exp b) 2)) (pow (exp b) 2) (log (- (exp a) (exp b))) (- (exp a) (exp b)))
219.0ms
eh
@inf
((fabs (+ (* (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew))))))) (+ (* (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew)))))) (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2) (cosh (asinh (* (/ (tan t) ew) eh))) (asinh (* (/ (tan t) ew) eh)) (* (/ (tan t) ew) eh) (/ (tan t) ew) (tan t) t ew eh -2 (- 0 (cos (atan (* (/ (tan t) ew) eh)))) (cos (atan (* (/ (tan t) ew) eh))) (atan (* (/ (tan t) ew) eh)) (* (cos t) ew) (cos t) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (sin t) (tanh (asinh (* (tan t) (/ (neg eh) ew)))) (asinh (* (tan t) (/ (neg eh) ew))) (* (tan t) (/ (neg eh) ew)) (/ (neg eh) ew) (neg eh) (/ (+ (* (cos t) ew) (* (* (* (/ (tan t) ew) eh) eh) (sin t))) (sqrt (+ 1 (pow (* eh (/ (tan t) ew)) 2)))) (+ (* (cos t) ew) (* (* (* (/ (tan t) ew) eh) eh) (sin t))) (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (* (/ (tan t) ew) eh) eh) (sqrt (+ 1 (pow (* eh (/ (tan t) ew)) 2))) (+ 1 (pow (* eh (/ (tan t) ew)) 2)) 1 (pow (* eh (/ (tan t) ew)) 2) (* eh (/ (tan t) ew)) 2 (/ (+ (* (cos t) ew) (* (* (* eh (/ (tan t) ew)) eh) (sin t))) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (cos t) ew) (* (* (* eh (/ (tan t) ew)) eh) (sin t))) (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (* eh (/ (tan t) ew)) eh) (pow (sqrt (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) 2) (sqrt (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (pow (sqrt (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))))) 2) (sqrt (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))))) (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew)))))) (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) (tanh (asinh (* eh (/ (tan t) ew)))) (asinh (* eh (/ (tan t) ew))) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))) (cosh (asinh (* eh (/ (tan t) ew)))))
218.0ms
ew
@0
((fabs (+ (* (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew))))))) (+ (* (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew)))))) (/ (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) (- 0 (cos (atan (* (/ (tan t) ew) eh))))) (- 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2)) 0 (pow (cosh (asinh (* (/ (tan t) ew) eh))) -2) (cosh (asinh (* (/ (tan t) ew) eh))) (asinh (* (/ (tan t) ew) eh)) (* (/ (tan t) ew) eh) (/ (tan t) ew) (tan t) t ew eh -2 (- 0 (cos (atan (* (/ (tan t) ew) eh)))) (cos (atan (* (/ (tan t) ew) eh))) (atan (* (/ (tan t) ew) eh)) (* (cos t) ew) (cos t) (* (neg (* (sin t) eh)) (tanh (asinh (* (tan t) (/ (neg eh) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (sin t) (tanh (asinh (* (tan t) (/ (neg eh) ew)))) (asinh (* (tan t) (/ (neg eh) ew))) (* (tan t) (/ (neg eh) ew)) (/ (neg eh) ew) (neg eh) (/ (+ (* (cos t) ew) (* (* (* (/ (tan t) ew) eh) eh) (sin t))) (sqrt (+ 1 (pow (* eh (/ (tan t) ew)) 2)))) (+ (* (cos t) ew) (* (* (* (/ (tan t) ew) eh) eh) (sin t))) (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (* (/ (tan t) ew) eh) eh) (sqrt (+ 1 (pow (* eh (/ (tan t) ew)) 2))) (+ 1 (pow (* eh (/ (tan t) ew)) 2)) 1 (pow (* eh (/ (tan t) ew)) 2) (* eh (/ (tan t) ew)) 2 (/ (+ (* (cos t) ew) (* (* (* eh (/ (tan t) ew)) eh) (sin t))) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (cos t) ew) (* (* (* eh (/ (tan t) ew)) eh) (sin t))) (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (* eh (/ (tan t) ew)) eh) (pow (sqrt (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) 2) (sqrt (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (/ (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (* (* (/ (tan t) ew) eh) eh) (sin t)) (* (cos t) ew)) (pow (sqrt (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))))) 2) (sqrt (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))))) (+ (* (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) eh) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew)))))) (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)) (tanh (asinh (* eh (/ (tan t) ew)))) (asinh (* eh (/ (tan t) ew))) (/ (* (cos t) ew) (cosh (asinh (* eh (/ (tan t) ew))))) (cosh (asinh (* eh (/ (tan t) ew)))))

explain18.6s (5.1%)

Memory
-239.5MiB live, 25 847.6MiB allocated; 3.9s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18715
+.f64#fcancellation171236
sin.f64#fsensitivity16211
sqrt.f64#foflow-rescue13950
-.f64#fcancellation91312
-.f64#fnan-rescue6140
log.f64#fsensitivity6051
/.f64#fo/n4960
/.f64#fo/o3540
/.f64#fu/u2790
*.f64#fn*o2310
exp.f64#fsensitivity16431
sqrt.f64#fuflow-rescue1630
/.f64#fu/n1560
/.f64#fn/o1270
cbrt.f64#foflow-rescue910
*.f64#fn*u860
/.f64#fn/u430
cbrt.f64#fuflow-rescue420
*.f64#fu*o390
*.f64#fo*u340
acos.f64#fsensitivity214
pow.f64#fuflow-rescue80
log.f64#foflow-rescue60
pow.f64(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)sensitivity20
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity21
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow57
↳(exp.f64 b)underflow74
Confusion
Predicted +Predicted -
+572071
-13236198
Precision
0.8121539116853613
Recall
0.9877395959247107
Confusion?
Predicted +Predicted MaybePredicted -
+57204031
-1323356163
Precision?
0.8092160719303175
Recall?
0.9946468658262821
Freqs
test
numberfreq
06269
14662
21554
3352
4248
5143
657
718
86
93
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-405
Precision?
0.9148936170212766
Recall?
1.0
Samples
3.0s7 650×1valid
2.4s2 076×2valid
1.9s16 576×0valid
450.0ms322×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-sin: 1.1s (18.6% of total)
ival-cos: 732.0ms (11.9% of total)
ival-mult!: 693.0ms (11.3% of total)
ival-log: 672.0ms (10.9% of total)
adjust: 470.0ms (7.6% of total)
ival-pow2: 406.0ms (6.6% of total)
ival-div!: 360.0ms (5.9% of total)
ival-sinu: 338.0ms (5.5% of total)
ival-cosu: 275.0ms (4.5% of total)
ival-exp: 246.0ms (4% of total)
ival-sqrt: 173.0ms (2.8% of total)
ival-add!: 147.0ms (2.4% of total)
ival-sub!: 145.0ms (2.4% of total)
ival-neg: 68.0ms (1.1% of total)
ival-tan: 48.0ms (0.8% of total)
ival-cbrt: 47.0ms (0.8% of total)
ival-atan2: 41.0ms (0.7% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-fabs: 29.0ms (0.5% of total)
ival-atan: 27.0ms (0.4% of total)
ival-acos: 20.0ms (0.3% of total)
ival-pow: 20.0ms (0.3% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze15.4s (4.2%)

Memory
164.9MiB live, 20 475.2MiB allocated; 4.4s 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)

prune15.3s (4.2%)

Memory
-329.6MiB live, 22 390.0MiB allocated; 5.6s collecting garbage
Counts
170 586 → 5 289
Compiler

Compiled 716 634 to 253 892 computations (64.6% saved)

derivations12.0s (3.3%)

Memory
-181.6MiB live, 9 829.0MiB allocated; 1.3s collecting garbage
Stop Event
46×fuel
6×done
Compiler

Compiled 32 184 to 4 669 computations (85.5% saved)

preprocess7.8s (2.2%)

Memory
-280.3MiB live, 8 345.6MiB allocated; 2.6s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 177 958 to 52 544 computations (70.5% saved)

bsearch7.1s (2%)

Memory
128.6MiB live, 8 301.5MiB allocated; 2.6s collecting garbage
Algorithm
206×binary-search
79×left-value
Stop Event
201×narrow-enough
5×predicate-same
Samples
2.9s5 241×1valid
1.5s10 967×0valid
237.0ms605×2valid
100.0ms1 268×0invalid
17.0ms35×3valid
2.0ms2×4exit
0.0ms2×0exit
0.0ms1×1invalid
Compiler

Compiled 149 180 to 91 433 computations (38.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0s
ival-cos: 1.0s (25% of total)
ival-sin: 965.0ms (23.9% of total)
ival-mult!: 478.0ms (11.9% of total)
adjust: 386.0ms (9.6% of total)
ival-pow2: 213.0ms (5.3% of total)
ival-div!: 176.0ms (4.4% of total)
ival-sqrt: 131.0ms (3.2% of total)
ival-sub!: 111.0ms (2.8% of total)
ival-atan2: 82.0ms (2% of total)
ival-cosu: 78.0ms (1.9% of total)
ival-sinu: 72.0ms (1.8% of total)
ival-add!: 68.0ms (1.7% of total)
ival-fabs: 42.0ms (1% of total)
ival-neg: 38.0ms (0.9% of total)
ival-tan: 38.0ms (0.9% of total)
ival-atan: 35.0ms (0.9% of total)
ival-acos: 28.0ms (0.7% of total)
ival-exp: 22.0ms (0.5% of total)
ival-cbrt: 22.0ms (0.5% of total)
ival-hypot: 22.0ms (0.5% of total)
ival-pow: 8.0ms (0.2% of total)
ival-log1p: 4.0ms (0.1% of total)
ival-log: 3.0ms (0.1% of total)

start3.0ms (0%)

Memory
7.2MiB live, 7.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...