Herbie run

Date:Wednesday, April 16th, 2025
Commit:5565a39e on main
Seed:2025106
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:490 156.8 MB

Time bar (total: 6.7min)

sample2.8min (41.3%)

Memory
2 117.2MiB live, 198 724.2MiB allocated; 47.0s collecting garbage
Samples
45.0s119 643×1valid
35.1s281 257×0valid
19.1s3 876×4exit
14.4s25 127×2valid
7.2s11 284×5exit
7.0s3 266×3valid
5.4s35 311×0exit
2.9s12 136×1invalid
2.0s20 130×0invalid
436.0ms940×2invalid
268.0ms2 618×1exit
57.0ms19×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 22.7s (19.4% of total)
ival-mult!: 12.7s (10.9% of total)
ival-cos: 12.3s (10.5% of total)
adjust: 10.9s (9.3% of total)
ival-sin: 8.2s (7% of total)
ival-pow2: 7.8s (6.7% of total)
ival-div!: 7.3s (6.2% of total)
ival-sinu: 5.4s (4.6% of total)
ival-exp: 5.3s (4.5% of total)
ival-cosu: 5.0s (4.3% of total)
ival-sqrt: 3.6s (3.1% of total)
ival-log: 3.6s (3% of total)
ival-sub!: 3.2s (2.7% of total)
ival-add!: 2.8s (2.4% of total)
ival-neg: 1.7s (1.5% of total)
ival-atan2: 1.5s (1.3% of total)
ival-hypot: 741.0ms (0.6% of total)
ival-tan: 692.0ms (0.6% of total)
ival-acos: 455.0ms (0.4% of total)
ival-cbrt: 306.0ms (0.3% of total)
ival-atan: 275.0ms (0.2% of total)
ival-fabs: 163.0ms (0.1% of total)
ival-<: 137.0ms (0.1% of total)
ival-log1p: 116.0ms (0.1% of total)
ival-asin: 114.0ms (0.1% of total)
ival-and: 50.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 7.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

rewrite54.0s (13.4%)

Memory
1 430.7MiB live, 62 059.8MiB allocated; 13.7s collecting garbage
Stop Event
458×iter-limit
187×node-limit
9×unsound
3×saturated
Counts
54 153 → 80 384

regimes37.8s (9.4%)

Memory
627.5MiB live, 50 701.6MiB allocated; 8.2s collecting garbage
Counts
20 496 → 829
Calls

155 calls:

3.2s
phi1
2.9s
lambda1
2.8s
phi2
2.5s
lambda2
2.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 19 090 to 15 368 computations (19.5% saved)

series31.6s (7.9%)

Memory
1 543.1MiB live, 41 275.1MiB allocated; 6.9s collecting garbage
Counts
7 572 → 46 581
Calls

1623 calls:

TimeVariablePointExpression
656.0ms
x-scale
@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 (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))))) 1/4 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))))) (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))) (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))) (- (* b b) (* -1 (* b b))) (* b b) b (* -1 (* b b)) -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)))) (* (* 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))))))) (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) (* a a) a (* (* b b) 4) 4 (* x-scale (* y-scale y-scale)) x-scale (* y-scale y-scale) (/ (* 4 (* (* b a) (* b (neg a)))) (* (* x-scale y-scale) (* x-scale y-scale))) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b a) (* b (neg a)) (neg a) (* (* 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 (* (* 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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (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)))) (* 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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (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))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) 2 (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (sin (* 1/180 (* angle (PI)))) (* x-scale x-scale) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-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 (* (* 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) (pow (* x-scale y-scale) 2))) (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) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (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) (pow (* x-scale y-scale) 2))) (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 (* (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))))) (* (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))) 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-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) (* x-scale x-scale))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* 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)))))) (* (* (* 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))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (pow (* x-scale y-scale) 2) (- (+ (/ (/ (+ (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)))) (- (+ (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2)))) (- (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) (* 1/2 (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow b 4) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))))
295.0ms
ew
@0
((fabs (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos t) t ew (/ 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) eh (/ (tan t) ew) (tan t) 2 (* (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)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* 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 t) ew) (cos (atan (neg (* (/ eh ew) (tan t)))))) (* (cos t) ew) (+ ew (* (* t t) (+ (* -1/2 ew) (* 1/24 (* ew (* t t)))))) (* (* t t) (+ (* -1/2 ew) (* 1/24 (* ew (* t t))))) (* t t) (+ (* -1/2 ew) (* 1/24 (* ew (* t t)))) -1/2 (* 1/24 (* ew (* t t))) 1/24 (* ew (* t t)) (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 (+ (* (* (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 (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (/ (tan t) ew) (/ t ew) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) ew) (* eh 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 (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) (* (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)))))
256.0ms
ew
@0
((fabs (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos t) t ew (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew)))))) 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))) (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew)))) (* (* (neg eh) (/ (tan t) ew)) (* (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) (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) (cos (atan (neg (* (/ eh ew) (tan t)))))) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (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 (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) ew) (* eh t) (fabs (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (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 (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)))
181.0ms
t
@inf
((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))))) t)) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew)) (* (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))))) (* (* 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))) (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 (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))
177.0ms
phi1
@inf
((* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi1 phi2) 2)) 2) (sin (/ (- phi1 phi2) 2)) (/ (- phi1 phi2) 2) (- phi1 phi2) phi1 phi2 (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (cos phi2)) (cos phi1) (cos phi2) (sin (/ (- lambda1 lambda2) 2)) (/ (- lambda1 lambda2) 2) (- lambda1 lambda2) lambda1 lambda2 (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) (* (sin (/ phi1 2)) (cos (/ phi2 2))) (sin (/ phi1 2)) (/ phi1 2) (cos (/ phi2 2)) (/ phi2 2) (* (cos (/ phi1 2)) (sin (/ phi2 2))) (cos (/ phi1 2)) (sin (/ phi2 2)) (* (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) R) (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)) (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))) (cos (* 2 (/ (- lambda1 lambda2) 2))) (* 2 (/ (- lambda1 lambda2) 2)) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (* R (* 2 (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2)))) (cos (* 2 (/ (- phi1 phi2) 2))) (* 2 (/ (- phi1 phi2) 2)) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (sin (+ phi2 (/ (PI) 2)))) (sin (+ phi2 (/ (PI) 2))) (+ phi2 (/ (PI) 2)) (/ (PI) 2) (PI) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (exp (* (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) 1/2))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (exp (* (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) 1/2)))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (exp (* (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) 1/2))) (exp (* (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) 1/2)) (* (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) 1/2) (log (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))))

eval26.7s (6.6%)

Memory
-490.9MiB live, 34 999.2MiB allocated; 11.3s collecting garbage
Compiler

Compiled 11 459 023 to 588 842 computations (94.9% saved)

explain18.6s (4.6%)

Memory
-11.3MiB live, 24 356.8MiB allocated; 4.3s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18715
+.f64#fcancellation171236
sin.f64#fsensitivity16211
sqrt.f64#foflow-rescue13950
-.f64#fcancellation91312
-.f64#fnan-rescue6140
log.f64#fsensitivity6051
/.f64#fo/n4960
/.f64#fo/o3540
/.f64#fu/u2790
*.f64#fn*o2310
exp.f64#fsensitivity16431
sqrt.f64#fuflow-rescue1630
/.f64#fu/n1560
/.f64#fn/o1270
cbrt.f64#foflow-rescue910
*.f64#fn*u860
/.f64#fn/u430
cbrt.f64#fuflow-rescue420
*.f64#fu*o390
*.f64#fo*u340
acos.f64#fsensitivity214
pow.f64#fuflow-rescue80
log.f64#foflow-rescue60
pow.f64(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)sensitivity20
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity21
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow57
↳(exp.f64 b)underflow74
Confusion
Predicted +Predicted -
+572071
-13236198
Precision
0.8121539116853613
Recall
0.9877395959247107
Confusion?
Predicted +Predicted MaybePredicted -
+57204031
-1323356163
Precision?
0.8092160719303175
Recall?
0.9946468658262821
Freqs
test
numberfreq
06269
14662
21554
3352
4248
5143
657
718
86
93
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-405
Precision?
0.9148936170212766
Recall?
1.0
Samples
3.0s7 650×1valid
1.9s16 576×0valid
1.8s2 076×2valid
471.0ms322×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.1s (18.7% of total)
ival-cos: 794.0ms (13.8% of total)
ival-mult!: 693.0ms (12.1% of total)
adjust: 509.0ms (8.9% of total)
ival-pow2: 438.0ms (7.6% of total)
ival-div!: 377.0ms (6.6% of total)
ival-sinu: 273.0ms (4.8% of total)
ival-exp: 264.0ms (4.6% of total)
ival-cosu: 256.0ms (4.5% of total)
ival-sqrt: 205.0ms (3.6% of total)
ival-add!: 198.0ms (3.5% of total)
ival-log: 178.0ms (3.1% of total)
ival-sub!: 143.0ms (2.5% of total)
ival-neg: 66.0ms (1.2% of total)
ival-hypot: 55.0ms (1% of total)
ival-tan: 50.0ms (0.9% of total)
ival-atan2: 47.0ms (0.8% of total)
ival-atan: 30.0ms (0.5% of total)
ival-acos: 21.0ms (0.4% of total)
ival-cbrt: 20.0ms (0.3% of total)
ival-pow: 20.0ms (0.3% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze18.3s (4.6%)

Memory
-427.7MiB live, 19 440.0MiB allocated; 8.2s 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)

prune16.2s (4%)

Memory
-344.9MiB live, 26 175.6MiB allocated; 3.8s collecting garbage
Counts
95 686 → 5 821
Compiler

Compiled 972 297 to 365 338 computations (62.4% saved)

derivations14.4s (3.6%)

Memory
85.9MiB live, 12 349.0MiB allocated; 3.1s collecting garbage
Stop Event
43×fuel
9×done
Compiler

Compiled 43 809 to 5 564 computations (87.3% saved)

bsearch9.4s (2.3%)

Memory
-107.3MiB live, 11 150.8MiB allocated; 2.7s collecting garbage
Algorithm
270×binary-search
100×left-value
Stop Event
265×narrow-enough
5×predicate-same
Samples
4.4s6 881×1valid
1.9s13 698×0valid
330.0ms717×2valid
59.0ms32×3valid
58.0ms710×0invalid
2.0ms48×0exit
Compiler

Compiled 229 262 to 128 806 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-cos: 1.7s (28.7% of total)
ival-sin: 1.5s (26.5% of total)
ival-mult!: 588.0ms (10.1% of total)
adjust: 488.0ms (8.4% of total)
ival-div!: 246.0ms (4.2% of total)
ival-pow2: 238.0ms (4.1% of total)
ival-cosu: 185.0ms (3.2% of total)
ival-sub!: 168.0ms (2.9% of total)
ival-sqrt: 133.0ms (2.3% of total)
ival-atan2: 131.0ms (2.2% of total)
ival-sinu: 83.0ms (1.4% of total)
ival-add!: 80.0ms (1.4% of total)
ival-acos: 59.0ms (1% of total)
ival-exp: 44.0ms (0.8% of total)
ival-neg: 39.0ms (0.7% of total)
ival-atan: 31.0ms (0.5% of total)
ival-tan: 28.0ms (0.5% of total)
ival-hypot: 22.0ms (0.4% of total)
ival-asin: 14.0ms (0.2% of total)
ival-log: 12.0ms (0.2% of total)
ival-pow: 11.0ms (0.2% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-log1p: 3.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

preprocess8.8s (2.2%)

Memory
-689.1MiB live, 8 916.8MiB allocated; 3.1s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 244 134 to 63 094 computations (74.2% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...