Herbie run

Date:Friday, April 11th, 2025
Commit:4f21fd8d on chassis-platforms-cleanup
Seed:2025101
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:429 913.3 MB

Time bar (total: 6.1min)

sample2.8min (45.5%)

Memory
2 545.6MiB live, 189 459.3MiB allocated; 44.8s collecting garbage
Samples
45.1s119 323×1valid
34.1s281 806×0valid
20.0s4 037×4exit
14.1s25 017×2valid
8.5s11 420×5exit
6.9s3 142×3valid
5.1s35 435×0exit
3.0s12 121×1invalid
2.3s19 688×0invalid
366.0ms929×2invalid
300.0ms2 614×1exit
78.0ms24×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 22.9s (19.4% of total)
adjust: 11.8s (10% of total)
ival-mult!: 11.8s (10% of total)
ival-cos: 11.3s (9.6% of total)
ival-div!: 8.1s (6.9% of total)
ival-sin: 7.9s (6.7% of total)
ival-pow2: 7.7s (6.6% of total)
ival-sinu: 6.2s (5.2% of total)
ival-exp: 5.6s (4.7% of total)
ival-cosu: 4.7s (4% of total)
ival-log: 4.1s (3.5% of total)
ival-sqrt: 3.7s (3.1% of total)
ival-sub!: 3.1s (2.7% of total)
ival-add!: 3.1s (2.6% of total)
ival-neg: 2.0s (1.7% of total)
ival-atan2: 774.0ms (0.7% of total)
ival-tan: 655.0ms (0.6% of total)
ival-hypot: 533.0ms (0.5% of total)
ival-cbrt: 412.0ms (0.3% of total)
ival-atan: 404.0ms (0.3% of total)
ival-acos: 383.0ms (0.3% of total)
ival-fabs: 231.0ms (0.2% of total)
ival-log1p: 152.0ms (0.1% of total)
ival-asin: 105.0ms (0.1% of total)
ival-<: 77.0ms (0.1% of total)
ival-and: 49.0ms (0% of total)
ival-assert: 9.0ms (0% of total)
ival-<=: 6.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite53.1s (14.4%)

Memory
461.6MiB live, 52 717.7MiB allocated; 16.3s collecting garbage
Stop Event
452×iter-limit
185×node-limit
6×unsound
4×saturated
Counts
49 582 → 74 677

series29.6s (8%)

Memory
779.8MiB live, 37 519.3MiB allocated; 5.6s collecting garbage
Counts
7 101 → 42 481
Calls

1602 calls:

TimeVariablePointExpression
179.0ms
t
@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 (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)) (* (neg (log (+ 1 (exp (neg s))))) c_p) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (exp (neg s)) (neg s) s c_p (* (neg (log (+ 1 (exp (neg t))))) c_p) (neg (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg t)))) (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))) (/ (pow (- 1 (pow (+ (exp (neg s)) 1) -1)) c_n) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n)) (pow (- 1 (pow (+ (exp (neg s)) 1) -1)) c_n) (- 1 (pow (+ (exp (neg s)) 1) -1)) 1 (pow (+ (exp (neg s)) 1) -1) (+ (exp (neg s)) 1) -1 c_n (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n) (- 1 (pow (+ (exp (neg t)) 1) -1)) (pow (+ (exp (neg t)) 1) -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))) (* (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))) (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/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 t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (pow (exp c_p) (neg (log (+ 1 (exp (neg t)))))) (exp c_p) (/ (* (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 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))))) (+ (* -1/4 t) 1/2) -1/4)
175.0ms
s
@inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (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 (+ 1 (exp (neg s))) (exp (neg s)) (neg s) s c_p (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 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 t)))) c_p) (/ 1 (+ 1 (exp (neg t)))) (+ 1 (exp (neg t))) (exp (neg t)) (neg t) t (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg t))))))
170.0ms
a
@-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 (* (* y-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))))) 1/4 (* (* y-scale (sqrt 8)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))))) (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* a (sin (* 1/180 (* angle (PI))))) a (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))) b (cos (* 1/180 (* angle (PI)))) (/ (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 4))) (* b (* y-scale 4)) (* y-scale 4) 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))) (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) (* (* b b) (sqrt 8))) (* (* x-scale x-scale) y-scale)) (sqrt (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))))) (/ (* (* a a) (* (* b b) (sqrt 8))) (* (* x-scale x-scale) y-scale)) (* (* a a) (* (* b b) (sqrt 8))) (* a a) (* (* b b) (sqrt 8)) (* b b) (* (* x-scale x-scale) y-scale) (* x-scale x-scale) x-scale (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b a) (* b (neg a)) (neg a) (pow (* x-scale y-scale) 2) (* 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 (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (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))))))) (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (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)))))) (* b (* x-scale (* y-scale (sqrt 8)))) (* x-scale (* y-scale (sqrt 8))) (sqrt (+ (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (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)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2)) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (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) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-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))) (* y-scale (+ (* 1/8 (* (/ (* x-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* y-scale y-scale)) (/ 1 (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))))))) (* 1/4 (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))))))) (+ (* 1/8 (* (/ (* x-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* y-scale y-scale)) (/ 1 (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))))))) (* 1/4 (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))))))) 1/8 (* (/ (* x-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* y-scale y-scale)) (/ 1 (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))))) (/ (* x-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* y-scale y-scale)) (* x-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))))) (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)))) (+ (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2))) 1/2 (/ (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (+ (* -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)))) -2 (* (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale))) (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) (/ (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* x-scale x-scale)) (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale))) (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* x-scale x-scale)) (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) (- (* b b) (* a a)) (/ 1 (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))))) 1 (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (* 1/4 (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))))) (* (* x-scale (sqrt 8)) (sqrt (+ (* 2 (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 2 (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))))) (* x-scale (sqrt 8)))
165.0ms
ew
@0
((fabs (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos t) t ew (cos (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (sin t) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan 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))))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (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))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin 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))))) (* (* 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)) (sin (atan (/ (* (neg eh) (tan 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))))) (* (+ (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) ew) (+ (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew)) (/ (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) ew))
161.0ms
s
@-inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)) (* (neg (log (+ 1 (exp (neg s))))) c_p) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (exp (neg s)) (neg s) s c_p (* (neg (log (+ 1 (exp (neg t))))) c_p) (neg (log (+ 1 (exp (neg t))))) (log 1/2) 1/2 (/ (* (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 (pow (+ (exp (neg s)) 1) -1)) c_n) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n)) 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))) (/ (pow (- 1 (pow (+ (exp (neg s)) 1) -1)) c_n) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n)) (pow (- 1 (pow (+ (exp (neg s)) 1) -1)) c_n) (- 1 (pow (+ (exp (neg s)) 1) -1)) (pow (+ (exp (neg s)) 1) -1) (+ (exp (neg s)) 1) -1 c_n (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) 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 (exp (neg (log (+ 1 (exp (neg s)))))) c_p) (exp (neg (log (+ 1 (exp (neg s)))))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (pow 1/2 (+ c_p c_n)) (+ 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 (pow (+ (exp (neg s)) 1) -1)) c_n) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n)) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n) (+ (* (* (* (pow 1/2 c_n) t) c_n) -1/2) (pow 1/2 c_n)) (* (* (pow 1/2 c_n) t) c_n) (* (pow 1/2 c_n) t) (pow 1/2 c_n) t -1/2)

eval20.9s (5.7%)

Memory
614.9MiB live, 28 661.4MiB allocated; 6.1s collecting garbage
Compiler

Compiled 10 785 569 to 530 484 computations (95.1% saved)

regimes20.4s (5.5%)

Memory
237.4MiB live, 29 236.6MiB allocated; 4.5s collecting garbage
Counts
10 849 → 682
Calls

155 calls:

1.4s
phi2
1.3s
b
1.3s
lambda1
1.2s
phi1
1.1s
lambda2
Compiler

Compiled 14 630 to 12 362 computations (15.5% saved)

explain19.0s (5.1%)

Memory
-305.4MiB live, 22 692.8MiB allocated; 4.3s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity187610
+.f64#fcancellation171541
sin.f64#fsensitivity16433
sqrt.f64#foflow-rescue14260
-.f64#fcancellation94217
-.f64#fnan-rescue6070
log.f64#fsensitivity5941
/.f64#fo/n4840
/.f64#fo/o3540
/.f64#fu/u2860
*.f64#fn*o2700
/.f64#fu/n1670
sqrt.f64#fuflow-rescue1540
exp.f64(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))sensitivity14632
/.f64#fn/o1090
*.f64#fn*u870
cbrt.f64#foflow-rescue850
cbrt.f64#fuflow-rescue450
/.f64#fn/u410
*.f64#fo*u360
*.f64#fu*o310
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)))))sensitivity162
pow.f64#fsensitivity93
pow.f64#fuflow-rescue80
log.f64#foflow-rescue50
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow2
↳(exp.f64 a)underflow64
↳(exp.f64 b)underflow72
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity14
Confusion
Predicted +Predicted -
+574676
-13326158
Precision
0.8118112461147217
Recall
0.986946066643765
Confusion?
Predicted +Predicted MaybePredicted -
+57465125
-1332436115
Precision?
0.808282208588957
Recall?
0.9957059429749227
Freqs
test
numberfreq
06234
14665
21595
3350
4240
5130
673
717
85
93
Total Confusion?
Predicted +Predicted MaybePredicted -
+4101
-307
Precision?
0.9318181818181818
Recall?
0.9761904761904762
Samples
3.0s7 716×1valid
2.0s16 544×0valid
1.9s2 038×2valid
432.0ms326×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-sin: 1.0s (17.9% of total)
ival-cos: 807.0ms (14.3% of total)
ival-mult!: 731.0ms (12.9% of total)
adjust: 479.0ms (8.5% of total)
ival-div!: 426.0ms (7.5% of total)
ival-pow2: 388.0ms (6.9% of total)
ival-cosu: 291.0ms (5.1% of total)
ival-sinu: 260.0ms (4.6% of total)
ival-exp: 228.0ms (4% of total)
ival-log: 206.0ms (3.6% of total)
ival-sub!: 177.0ms (3.1% of total)
ival-sqrt: 164.0ms (2.9% of total)
ival-add!: 141.0ms (2.5% of total)
ival-neg: 71.0ms (1.3% of total)
ival-tan: 52.0ms (0.9% of total)
ival-atan2: 48.0ms (0.8% of total)
ival-pow: 39.0ms (0.7% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-atan: 32.0ms (0.6% of total)
ival-acos: 20.0ms (0.4% of total)
ival-cbrt: 20.0ms (0.4% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

analyze15.2s (4.1%)

Memory
396.6MiB live, 18 831.4MiB allocated; 3.9s 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)

prune13.7s (3.7%)

Memory
-348.4MiB live, 20 063.7MiB allocated; 2.2s collecting garbage
Counts
87 059 → 4 919
Compiler

Compiled 815 184 to 313 149 computations (61.6% saved)

preprocess10.2s (2.8%)

Memory
-688.8MiB live, 11 117.1MiB allocated; 5.5s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 216 306 to 54 630 computations (74.7% saved)

derivations10.1s (2.7%)

Memory
27.4MiB live, 9 749.4MiB allocated; 1.1s collecting garbage
Stop Event
38×fuel
14×done
Compiler

Compiled 34 019 to 4 509 computations (86.7% saved)

bsearch8.5s (2.3%)

Memory
155.0MiB live, 9 857.3MiB allocated; 1.4s collecting garbage
Algorithm
281×binary-search
27×left-value
Stop Event
273×narrow-enough
8×predicate-same
Samples
3.4s6 131×1valid
2.3s13 502×0valid
401.0ms813×2valid
200.0ms129×3valid
101.0ms881×0invalid
33.0ms142×1invalid
14.0ms44×2invalid
5.0ms1×1exit
3.0ms1×4valid
Compiler

Compiled 214 434 to 124 938 computations (41.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-cos: 1.4s (25.2% of total)
ival-sin: 1.2s (20.9% of total)
ival-mult!: 625.0ms (11.1% of total)
adjust: 484.0ms (8.6% of total)
ival-pow2: 369.0ms (6.6% of total)
ival-div!: 293.0ms (5.2% of total)
ival-atan2: 174.0ms (3.1% of total)
ival-cosu: 160.0ms (2.8% of total)
ival-sub!: 158.0ms (2.8% of total)
ival-sinu: 144.0ms (2.6% of total)
ival-sqrt: 123.0ms (2.2% of total)
ival-exp: 90.0ms (1.6% of total)
ival-add!: 82.0ms (1.5% of total)
ival-acos: 81.0ms (1.4% of total)
ival-neg: 55.0ms (1% of total)
ival-tan: 44.0ms (0.8% of total)
ival-atan: 41.0ms (0.7% of total)
ival-log: 41.0ms (0.7% of total)
ival-hypot: 40.0ms (0.7% of total)
ival-pow: 12.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-asin: 10.0ms (0.2% of total)
ival-log1p: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...