Herbie run

Date:Friday, May 2nd, 2025
Commit:4dfb3dd9 on main
Seed:2025122
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:472 050.3 MB

Time bar (total: 6.7min)

sample2.9min (43.8%)

Memory
2 061.0MiB live, 200 848.9MiB allocated; 57.7s collecting garbage
Samples
48.2s119 163×1valid
34.3s281 315×0valid
19.8s4 055×4exit
16.7s25 460×2valid
8.5s11 482×5exit
7.2s3 346×3valid
5.8s35 294×0exit
2.9s12 172×1invalid
2.2s19 932×0invalid
422.0ms960×2invalid
232.0ms2 655×1exit
85.0ms28×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-pow: 22.9s (18.4% of total)
adjust: 14.1s (11.4% of total)
ival-mult!: 12.5s (10.1% of total)
ival-cos: 12.0s (9.6% of total)
ival-div!: 9.0s (7.3% of total)
ival-sin: 8.4s (6.7% of total)
ival-pow2: 7.9s (6.3% of total)
ival-exp: 6.1s (4.9% of total)
ival-sinu: 6.0s (4.8% of total)
ival-cosu: 5.0s (4% of total)
ival-log: 3.9s (3.1% of total)
ival-sqrt: 3.8s (3% of total)
ival-add!: 3.6s (2.9% of total)
ival-sub!: 3.6s (2.9% of total)
ival-neg: 1.9s (1.5% of total)
ival-atan2: 774.0ms (0.6% of total)
ival-tan: 630.0ms (0.5% of total)
ival-hypot: 527.0ms (0.4% of total)
ival-acos: 427.0ms (0.3% of total)
ival-atan: 422.0ms (0.3% of total)
ival-cbrt: 352.0ms (0.3% of total)
ival-fabs: 217.0ms (0.2% of total)
ival-log1p: 122.0ms (0.1% of total)
ival-asin: 116.0ms (0.1% of total)
ival-<: 60.0ms (0% of total)
ival-and: 44.0ms (0% of total)
ival-<=: 23.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite55.0s (13.7%)

Memory
822.8MiB live, 57 632.1MiB allocated; 17.7s collecting garbage
Stop Event
451×iter-limit
184×node-limit
7×unsound
4×saturated
Counts
51 901 → 75 216

series33.7s (8.4%)

Memory
1 440.9MiB live, 43 879.1MiB allocated; 11.3s collecting garbage
Counts
7 582 → 44 319
Calls

1599 calls:

TimeVariablePointExpression
920.0ms
c_n
@-inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n))) (- (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (- 1 (/ 1 (+ (exp (neg s)) 1))) 1 (/ 1 (+ (exp (neg s)) 1)) (+ (exp (neg s)) 1) (exp (neg s)) (neg s) s c_n (* (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n) (log (- 1 (/ 1 (+ (exp (neg t)) 1)))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ 1 (+ (exp (neg t)) 1)) (+ (exp (neg t)) 1) (exp (neg t)) (neg t) t (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (neg (log (+ (exp (neg s)) 1))) c_p) (* (neg (log (+ (exp (neg t)) 1))) c_p))) (- (* (neg (log (+ (exp (neg s)) 1))) c_p) (* (neg (log (+ (exp (neg t)) 1))) c_p)) (* (neg (log (+ (exp (neg s)) 1))) c_p) (neg (log (+ (exp (neg s)) 1))) (log (+ (exp (neg s)) 1)) c_p (* (neg (log (+ (exp (neg t)) 1))) c_p) (neg (log (+ (exp (neg t)) 1))) (log (+ (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 (+ (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (neg (log (+ (exp (neg s)) 1))) c_p))) (pow 1/2 (+ c_p c_n))) (exp (+ (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (neg (log (+ (exp (neg s)) 1))) c_p))) (+ (* (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) c_n) (* (neg (log (+ (exp (neg s)) 1))) c_p)) (pow 1/2 (+ c_p c_n)) 1/2 (+ c_p c_n) (/ (* (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)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (+ 2 (neg s)) 2 (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg s))))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (/ 1 (+ 1 (exp (neg t)))) (+ 1 (exp (neg t))) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg t))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (+ (* (- (* 1/2 s) 1) s) 2) (- (* 1/2 s) 1) (* 1/2 s) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg s))))))
324.0ms
a
@-inf
((log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (exp a) a (exp b) b)
262.0ms
ew
@0
((fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (sin t) eh) (sin t) t eh (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (neg eh) (/ (tan t) ew) (tan t) ew (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (cos t) ew) (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) 2 (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))) (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)) (pow (neg (* (/ eh ew) (tan t))) 2) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* ew (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t)) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (* (+ (* -1/6 (* (* t t) eh)) eh) t) (+ (* -1/6 (* (* t t) eh)) eh) -1/6 (* (* t t) eh) (* t t) (sin (atan (/ (* (neg eh) (tan t)) ew))))
190.0ms
angle
@inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* x-scale (* y-scale (sqrt 8))) (sqrt (- (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))))))) 1/4 (* (* x-scale (* y-scale (sqrt 8))) (sqrt (- (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2)))))) (* x-scale (* y-scale (sqrt 8))) x-scale (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (- (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))))) (* angle (sqrt (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (* (* a a) (- (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))))) (* y-scale y-scale))) (* 1/8100 (/ (* (pow a 4) (* (PI) (PI))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (* a a)))))) angle (sqrt (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (* (* a a) (- (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))))) (* y-scale y-scale))) (* 1/8100 (/ (* (pow a 4) (* (PI) (PI))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (* a a))))) (- (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (* (* a a) (- (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))))) (* y-scale y-scale))) (* 1/8100 (/ (* (pow a 4) (* (PI) (PI))) (* (* x-scale x-scale) (* y-scale y-scale)))))) (* a a)))) (- (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/2 (+ (* -1/16200 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/8100 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))))) (* 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) 1/32400 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)) (* (* a a) (* (PI) (PI))) (* a a) a (* (PI) (PI)) (PI) (* x-scale x-scale) (* 1/2 (+ (* -1/16200 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/8100 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))))) 1/2 (+ (* -1/16200 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) (* 1/8100 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale)))) -1/16200 (* 1/8100 (/ (* (* a a) (* (PI) (PI))) (* x-scale x-scale))) 1/8100 (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (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)))))) (/ (* (* (* a a) a) (* (* b b) 4)) (* x-scale (* y-scale y-scale))) (* (* (* a a) a) (* (* b b) 4)) (* (* a a) a) (* (* b b) 4) (* b b) b 4 (* x-scale (* y-scale y-scale)) (* y-scale y-scale) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (* -4 (/ (* (* a a) (* b b)) (* (* x-scale y-scale) (* x-scale y-scale)))) -4 (/ (* (* a a) (* b b)) (* (* x-scale y-scale) (* x-scale y-scale))) (* (* a a) (* b b)) (* (* x-scale y-scale) (* x-scale y-scale)) (* 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 (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) 2 (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (sin (* 1/180 (* angle (PI)))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ 1 (* x-scale x-scale)) 1 (/ (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 (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) -1/4 (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))) (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))) (pow (sin (* 1/180 (* angle (PI)))) 2))) (/ (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))) -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/32400 (* (* angle angle) (* (PI) (PI)))) (* (* angle angle) (* (PI) (PI))) (* angle angle) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* x-scale (* y-scale (sqrt 8))) (sqrt (- (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2))))))) (* -1/4 (* (* x-scale (sqrt 8)) (sqrt (- (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2))))))) (* (* x-scale (sqrt 8)) (sqrt (- (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2)))))) (* x-scale (sqrt 8)) (sqrt (- (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2))))) (- (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2)))) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2))) (/ (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))))) (+ (* -2 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)) (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow a 4) (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))))
189.0ms
ew
@0
((fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (sin t) eh) (sin t) t eh (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) ew) (* eh t) ew (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (cos t) ew) (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg eh) (/ (tan t) ew)) (neg eh) (/ (tan t) ew) (tan t) 2 (sqrt (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))))) (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* ew (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (+ ew (* eh (* (* t t) (- (+ (* -1/2 (/ eh ew)) (* -1/2 (/ ew eh))) (* -1 (/ eh ew)))))) (* eh (* (* t t) (- (+ (* -1/2 (/ eh ew)) (* -1/2 (/ ew eh))) (* -1 (/ eh ew))))) (* (* t t) (- (+ (* -1/2 (/ eh ew)) (* -1/2 (/ ew eh))) (* -1 (/ eh ew)))) (* eh (+ (* -1/2 (/ (* ew (* t t)) (* eh eh))) (* 1/2 (/ (* t t) ew)))) (+ (* -1/2 (/ (* ew (* t t)) (* eh eh))) (* 1/2 (/ (* t t) ew))) -1/2 (/ (* ew (* t t)) (* eh eh)) (* ew (* t t)) (* t t) (* eh eh) (* 1/2 (/ (* t t) ew)) 1/2 (/ (* t t) ew) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (neg (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))) (* -1 (* (/ eh ew) (tan t))))

regimes32.1s (8%)

Memory
-274.6MiB live, 42 189.0MiB allocated; 11.3s collecting garbage
Counts
17 467 → 835
Calls

155 calls:

3.4s
phi1
2.5s
phi2
2.2s
lambda1
1.7s
lambda2
1.5s
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
Compiler

Compiled 14 771 to 13 897 computations (5.9% saved)

eval29.7s (7.4%)

Memory
562.4MiB live, 41 033.0MiB allocated; 10.4s collecting garbage
Compiler

Compiled 4 193 924 to 514 669 computations (87.7% saved)

prune20.2s (5%)

Memory
-578.3MiB live, 29 404.0MiB allocated; 7.5s collecting garbage
Counts
77 254 → 5 964
Compiler

Compiled 639 277 to 392 072 computations (38.7% saved)

analyze18.1s (4.5%)

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

Compiled 1 826 to 963 computations (47.3% saved)

derivations15.1s (3.8%)

Memory
-68.7MiB live, 12 827.3MiB allocated; 2.2s collecting garbage
Stop Event
41×fuel
11×done
Compiler

Compiled 11 124 to 5 473 computations (50.8% saved)

bsearch11.2s (2.8%)

Memory
170.3MiB live, 10 331.1MiB allocated; 4.4s collecting garbage
Algorithm
288×binary-search
93×left-value
Stop Event
281×narrow-enough
7×predicate-same
Samples
5.4s8 438×1valid
2.2s10 708×0valid
312.0ms636×2valid
104.0ms74×3valid
95.0ms995×0invalid
Compiler

Compiled 177 373 to 131 405 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-cos: 2.1s (28.2% of total)
ival-sin: 1.5s (21.2% of total)
ival-pow2: 1.2s (16.1% of total)
ival-mult!: 638.0ms (8.7% of total)
adjust: 586.0ms (8% of total)
ival-div!: 188.0ms (2.6% of total)
ival-sub!: 155.0ms (2.1% of total)
ival-sqrt: 143.0ms (2% of total)
ival-cosu: 140.0ms (1.9% of total)
ival-atan2: 139.0ms (1.9% of total)
ival-sinu: 125.0ms (1.7% of total)
ival-add!: 109.0ms (1.5% of total)
ival-acos: 85.0ms (1.2% of total)
ival-neg: 48.0ms (0.7% of total)
ival-exp: 43.0ms (0.6% of total)
ival-hypot: 32.0ms (0.4% of total)
ival-tan: 28.0ms (0.4% of total)
ival-log: 28.0ms (0.4% of total)
ival-atan: 24.0ms (0.3% of total)
ival-fabs: 3.0ms (0% of total)
ival-asin: 2.0ms (0% of total)
ival-log1p: 2.0ms (0% of total)

preprocess10.6s (2.6%)

Memory
-417.6MiB live, 13 788.7MiB allocated; 3.3s collecting garbage
Stop Event
51×node-limit
1×saturated
Compiler

Compiled 118 742 to 69 223 computations (41.7% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...