Herbie run

Date:Sunday, November 17th, 2024
Commit:11ad3452 on zane-server-no-place-mode
Hostname:nightly with Racket 8.10
Seed:2024322
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 10.5min)

sample3.3min (31.4%)

Memory
759.0MiB live, 193 166.9MiB allocated
Samples
50.5s107 844×1valid
43.4s294 773×0valid
29.7s14 474×5exit
17.1s23 633×2valid
7.6s3 037×3valid
7.0s35 634×0exit
3.8s20 951×0invalid
2.5s11 478×1invalid
702.0ms839×2invalid
350.0ms3 704×1exit
174.0ms25×4valid
3.0ms1×4exit
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-pow: 24.8s (17.7% of total)
ival-mult: 17.2s (12.3% of total)
ival-div: 11.1s (8% of total)
ival-cos: 10.2s (7.3% of total)
adjust: 9.9s (7.1% of total)
ival-sin: 8.1s (5.8% of total)
ival-pow2: 8.0s (5.7% of total)
ival-sub: 6.7s (4.8% of total)
ival-exp: 6.4s (4.6% of total)
ival-add: 6.4s (4.6% of total)
ival-sinu: 6.2s (4.4% of total)
ival-cosu: 5.1s (3.7% of total)
ival-sqrt: 4.2s (3% of total)
ival-log: 4.0s (2.9% of total)
ival-neg: 2.3s (1.6% of total)
ival-<: 2.0s (1.4% of total)
const: 1.7s (1.2% of total)
ival-hypot: 878.0ms (0.6% of total)
ival-atan2: 749.0ms (0.5% of total)
ival-tan: 605.0ms (0.4% of total)
ival-acos: 405.0ms (0.3% of total)
exact: 392.0ms (0.3% of total)
ival-and: 349.0ms (0.3% of total)
ival-atan: 327.0ms (0.2% of total)
ival-cbrt: 322.0ms (0.2% of total)
ival-true: 319.0ms (0.2% of total)
ival-assert: 216.0ms (0.2% of total)
ival-<=: 167.0ms (0.1% of total)
ival-pi: 156.0ms (0.1% of total)
ival-asin: 156.0ms (0.1% of total)
ival-fabs: 122.0ms (0.1% of total)
ival-log1p: 119.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.3min (12.4%)

Memory
715.7MiB live, 66 050.5MiB allocated
Algorithm
454×egg-herbie
Stop Event
603×iter limit
371×node limit
83×saturated
Counts
24 178 → 24 032

localize1.1min (10.4%)

Memory
-75.8MiB live, 71 076.7MiB allocated
Samples
22.5s14 938×1valid
10.4s28 828×0valid
7.7s3 715×2valid
7.1s677×5exit
1.4s131×4exit
1.1s405×3valid
958.0ms1 843×0invalid
854.0ms478×2exit
572.0ms192×1invalid
326.0ms216×1exit
113.0ms23×3exit
14.0ms8×4valid
6.0ms2×2invalid
Compiler

Compiled 118 599 to 9 507 computations (92% saved)

Precisions
Click to see histograms. Total time spent on operations: 43.3s
ival-mult: 8.5s (19.6% of total)
ival-sin: 6.1s (14.1% of total)
ival-cos: 5.1s (11.8% of total)
ival-div: 3.9s (9.1% of total)
adjust: 3.5s (8.2% of total)
ival-add: 2.9s (6.8% of total)
ival-pow2: 1.9s (4.3% of total)
const: 1.7s (3.9% of total)
ival-sinu: 1.4s (3.2% of total)
ival-sub: 1.4s (3.2% of total)
ival-pow: 1.2s (2.7% of total)
ival-sqrt: 1.1s (2.5% of total)
ival-exp: 1.0s (2.4% of total)
ival-cosu: 847.0ms (2% of total)
ival-log: 608.0ms (1.4% of total)
ival-hypot: 344.0ms (0.8% of total)
ival-neg: 339.0ms (0.8% of total)
ival-atan2: 304.0ms (0.7% of total)
ival-tan: 197.0ms (0.5% of total)
ival-acos: 195.0ms (0.5% of total)
ival-atan: 161.0ms (0.4% of total)
ival-cbrt: 160.0ms (0.4% of total)
exact: 108.0ms (0.2% of total)
ival-log1p: 97.0ms (0.2% of total)
ival-pi: 64.0ms (0.1% of total)
ival-fabs: 60.0ms (0.1% of total)
ival-true: 49.0ms (0.1% of total)
ival-assert: 23.0ms (0.1% of total)
ival-asin: 13.0ms (0% of total)
ival-cosh: 9.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)
ival-tanh: 1.0ms (0% of total)

soundness1.0min (9.8%)

Memory
176.2MiB live, 37 938.1MiB allocated
Stop Event
426×iter limit
284×node limit
43×fuel
9×done
Compiler

Compiled 87 364 to 31 564 computations (63.9% saved)

rewrite45.7s (7.3%)

Memory
-664.8MiB live, 45 939.5MiB allocated
Stop Event
407×iter limit
200×node limit
1×saturated
Counts
3 683 → 133 397

regimes38.9s (6.2%)

Memory
-193.2MiB live, 43 968.2MiB allocated
Counts
20 276 → 876
Calls

155 calls:

2.1s
a
2.1s
lambda1
2.0s
phi1
2.0s
phi2
1.9s
b
Compiler

Compiled 18 373 to 14 717 computations (19.9% saved)

eval34.8s (5.5%)

Memory
-161.7MiB live, 42 061.0MiB allocated
Compiler

Compiled 10 435 673 to 713 333 computations (93.2% saved)

prune24.0s (3.8%)

Memory
1.8MiB live, 34 913.7MiB allocated
Counts
158 402 → 7 235
Compiler

Compiled 998 162 to 402 640 computations (59.7% saved)

series22.5s (3.6%)

Memory
406.8MiB live, 26 102.4MiB allocated
Counts
3 683 → 24 178
Calls

1641 calls:

TimeVariablePointExpression
213.0ms
b
@0
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (sqrt 2) (* (sqrt (+ (* (* (cos (* 1/180 (* (PI) angle))) b) (* (cos (* 1/180 (* (PI) angle))) b)) (* (* (sin (* 1/180 (* (PI) angle))) a) (* (sin (* 1/180 (* (PI) angle))) a)))) (* (* (sqrt 8) y-scale) 1/4))) (sqrt 2) (* (sqrt (+ (* (* (cos (* 1/180 (* (PI) angle))) b) (* (cos (* 1/180 (* (PI) angle))) b)) (* (* (sin (* 1/180 (* (PI) angle))) a) (* (sin (* 1/180 (* (PI) angle))) a)))) (* (* (sqrt 8) y-scale) 1/4)) (* (* (* 1/4 b) y-scale) 4) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 b) y-scale) (* 1/4 b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))))) (* (* -1/4 b) (* (* x-scale (sin (* 1/180 (* angle (PI))))) (* (sqrt 2) (sqrt 8)))) (* -1/4 b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-scale) (exp (* (log (* (+ (pow (* (sin (* 1/180 (* (PI) angle))) a) 2) (pow (* (cos (* 1/180 (* (PI) angle))) b) 2)) 2)) 1/2)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) y-scale)) (exp (* (log (* (+ (pow (* (sin (* 1/180 (* (PI) angle))) a) 2) (pow (* (cos (* 1/180 (* (PI) angle))) b) 2)) 2)) 1/2))) (* 1/4 (* (sqrt 8) y-scale)) (cos (* 1/180 (* (PI) angle))) (sin (* 1/180 (* (PI) angle))) (* (sqrt 8) y-scale) (sin (* 1/180 (* angle (PI)))) (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (log (* (+ (pow (* (sin (* 1/180 (* (PI) angle))) a) 2) (pow (* (cos (* 1/180 (* (PI) angle))) b) 2)) 2)))
207.0ms
s
@-inf
((/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (/ 1 (+ (exp (neg s)) 1)) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ 1 (+ (exp (neg t)) 1)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))))))) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (neg (log (+ 1 (exp (neg s))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))) (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))))
201.0ms
a
@0
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (* (* (* (sqrt 8) y-scale) x-scale) b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))))))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-scale) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))) (cos (* (/ angle 180) (PI))))
129.0ms
a
@-inf
((* (- (pow (/ b (+ 1 (exp a))) 2) (pow (exp 2) (log (log (+ 1 (exp a)))))) (pow (- (/ b (+ 1 (exp a))) (log (+ 1 (exp a)))) -1)) (log (+ (exp a) (exp b))) (- (pow (/ b (+ 1 (exp a))) 2) (pow (exp 2) (log (log (+ 1 (exp a)))))) (pow (/ b (+ 1 (exp a))) 2) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* (+ (* 1/8 a) 1/2) a) (log 2)) (* (* a a) 1/8) (log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (+ (* (+ (* 1/2 b) 1) b) (+ (exp a) 1)) (* (* b b) 1/2) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* (+ (* (+ (* (* a a) -1/192) 1/8) a) 1/2) a) (log 2)) (+ (* (+ (* (* a a) -1/192) 1/8) a) 1/2) (log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (exp a) (exp b) (log (log (+ 1 (exp a)))) (pow (exp 2) (log (log (+ 1 (exp a))))) (* a a) (+ (* (* a a) -1/192) 1/8))
122.0ms
angle
@0
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (* (* (* (sqrt 8) y-scale) x-scale) b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))))))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-scale) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))) (cos (* (/ angle 180) (PI))))

explain21.9s (3.5%)

Memory
-390.5MiB live, 24 206.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18751
+.f64#fcancellation170737
sin.f64#fsensitivity16263
sqrt.f64#foflow-rescue14190
-.f64#fcancellation9568
-.f64#fnan-rescue6430
log.f64#fsensitivity5971
/.f64#fo/n5190
/.f64#fo/o3630
/.f64#fu/u2800
*.f64#fn*o2520
/.f64#fu/n1690
sqrt.f64#fuflow-rescue1510
exp.f64#fsensitivity14725
/.f64#fn/o1070
cbrt.f64#foflow-rescue980
*.f64#fn*u960
/.f64#fn/u480
cbrt.f64#fuflow-rescue440
*.f64#fu*o340
*.f64#fo*u310
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)))))sensitivity200
pow.f64#fsensitivity40
pow.f64#fuflow-rescue40
log.f64#foflow-rescue40
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity11
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow50
↳(exp.f64 b)underflow65
Confusion
Predicted +Predicted -
+579962
-13136138
Precision
0.8153824521934758
Recall
0.9894216004094865
Confusion?
Predicted +Predicted MaybePredicted -
+57993725
-1313296109
Precision?
0.813039843967679
Recall?
0.9957345162941478
Freqs
test
numberfreq
06200
14729
21575
3314
4236
5153
676
723
85
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-306
Precision?
0.9347826086956522
Recall?
1.0
Samples
3.7s7 130×1valid
2.6s17 334×0valid
2.1s1 824×2valid
576.0ms332×3valid
10.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-sin: 1.1s (16.5% of total)
ival-mult: 877.0ms (12.8% of total)
ival-cos: 846.0ms (12.4% of total)
ival-div: 543.0ms (7.9% of total)
ival-sub: 408.0ms (6% of total)
ival-pow2: 406.0ms (5.9% of total)
ival-cosu: 383.0ms (5.6% of total)
adjust: 371.0ms (5.4% of total)
ival-add: 351.0ms (5.1% of total)
ival-sinu: 329.0ms (4.8% of total)
ival-exp: 288.0ms (4.2% of total)
ival-log: 181.0ms (2.6% of total)
ival-atan: 178.0ms (2.6% of total)
ival-sqrt: 157.0ms (2.3% of total)
ival-neg: 76.0ms (1.1% of total)
ival-tan: 65.0ms (1% of total)
ival-atan2: 46.0ms (0.7% of total)
ival-hypot: 36.0ms (0.5% of total)
ival-true: 27.0ms (0.4% of total)
ival-acos: 26.0ms (0.4% of total)
ival-pi: 21.0ms (0.3% of total)
ival-pow: 20.0ms (0.3% of total)
exact: 20.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze17.2s (2.7%)

Memory
146.9MiB live, 17 887.7MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 963 computations (47.3% saved)

preprocess14.9s (2.4%)

Memory
57.7MiB live, 11 919.5MiB allocated
Algorithm
52×egg-herbie
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 119 973 to 22 373 computations (81.4% saved)

bsearch7.2s (1.1%)

Memory
67.2MiB live, 8 166.8MiB allocated
Algorithm
247×binary-search
139×left-value
Stop Event
240×narrow-enough
7×predicate-same
Samples
2.7s4 221×1valid
1.8s11 288×0valid
508.0ms860×2valid
133.0ms63×3valid
44.0ms485×0invalid
1.0ms3×1invalid
0.0ms7×0exit
Compiler

Compiled 205 743 to 114 487 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.6s
ival-cos: 956.0ms (20.8% of total)
ival-sin: 707.0ms (15.4% of total)
ival-mult: 688.0ms (14.9% of total)
ival-pow2: 352.0ms (7.6% of total)
ival-div: 299.0ms (6.5% of total)
adjust: 273.0ms (5.9% of total)
ival-sub: 254.0ms (5.5% of total)
ival-cosu: 205.0ms (4.5% of total)
ival-sinu: 200.0ms (4.3% of total)
ival-add: 168.0ms (3.6% of total)
ival-sqrt: 109.0ms (2.4% of total)
ival-exp: 63.0ms (1.4% of total)
ival-atan2: 59.0ms (1.3% of total)
ival-hypot: 59.0ms (1.3% of total)
ival-acos: 55.0ms (1.2% of total)
ival-tan: 35.0ms (0.8% of total)
ival-atan: 35.0ms (0.8% of total)
ival-neg: 29.0ms (0.6% of total)
ival-true: 14.0ms (0.3% of total)
ival-log: 11.0ms (0.2% of total)
ival-pi: 9.0ms (0.2% of total)
exact: 9.0ms (0.2% of total)
ival-fabs: 8.0ms (0.2% of total)
ival-assert: 7.0ms (0.2% of total)
ival-log1p: 1.0ms (0% of total)

start2.0ms (0%)

Memory
-34.5MiB live, 5.0MiB allocated

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...