Herbie run

Date:Sunday, March 23rd, 2025
Commit:d4169ed9 on autofix-21-1
Seed:2025082
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:498 864.3 MB

Time bar (total: 7.2min)

sample3.0min (41.2%)

Memory
1 926.0MiB live, 192 014.7MiB allocated; 59.1s collecting garbage
Samples
47.4s118 982×1valid
33.6s281 677×0valid
18.3s3 918×4exit
17.0s25 294×2valid
8.2s11 682×5exit
6.8s3 338×3valid
5.9s34 893×0exit
2.7s19 790×0invalid
2.3s11 922×1invalid
300.0ms848×2invalid
239.0ms2 677×1exit
92.0ms21×4valid
12.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 22.4s (18.4% of total)
ival-mult!: 13.2s (10.9% of total)
adjust: 11.5s (9.4% of total)
ival-cos: 10.9s (9% of total)
ival-sin: 8.9s (7.3% of total)
ival-div!: 8.5s (7% of total)
ival-pow2: 7.9s (6.5% of total)
ival-exp: 6.5s (5.4% of total)
ival-cosu: 5.9s (4.9% of total)
ival-sinu: 5.8s (4.8% of total)
ival-log: 4.0s (3.3% of total)
ival-sqrt: 3.6s (3% of total)
ival-sub!: 3.6s (3% of total)
ival-add!: 2.9s (2.4% of total)
ival-neg: 1.9s (1.6% of total)
ival-hypot: 862.0ms (0.7% of total)
ival-atan2: 759.0ms (0.6% of total)
ival-tan: 607.0ms (0.5% of total)
ival-cbrt: 416.0ms (0.3% of total)
ival-acos: 397.0ms (0.3% of total)
ival-atan: 341.0ms (0.3% of total)
ival-fabs: 168.0ms (0.1% of total)
ival-log1p: 132.0ms (0.1% of total)
ival-asin: 125.0ms (0.1% of total)
ival-<: 66.0ms (0.1% of total)
ival-and: 52.0ms (0% of total)
ival-assert: 8.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

rewrite57.7s (13.4%)

Memory
648.4MiB live, 62 872.4MiB allocated; 19.0s collecting garbage
Stop Event
463×iter limit
191×node limit
7×unsound
2×saturated
Counts
54 220 → 81 970

regimes34.4s (8%)

Memory
-70.7MiB live, 43 838.6MiB allocated; 10.4s collecting garbage
Counts
19 444 → 856
Calls

155 calls:

2.7s
phi2
2.5s
lambda2
2.5s
phi1
1.9s
lambda1
1.5s
(-.f64 lambda1 lambda2)
Compiler

Compiled 18 361 to 14 659 computations (20.2% saved)

series32.8s (7.6%)

Memory
620.2MiB live, 41 591.1MiB allocated; 8.7s collecting garbage
Counts
7 717 → 46 503
Calls

1620 calls:

TimeVariablePointExpression
1.2s
x
@inf
((* (/ 1 2) (log (/ (+ 1 x) (- 1 x)))) (/ 1 2) 1 2 (log (/ (+ 1 x) (- 1 x))) (/ (+ 1 x) (- 1 x)) (+ 1 x) x (- 1 x))
516.0ms
A
@inf
((/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))) (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) 2 (* (- (pow B 2) (* (* 4 A) C)) F) (- (pow B 2) (* (* 4 A) C)) (pow B 2) B (* (* 4 A) C) (* 4 A) 4 A C F (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))) (+ (pow (- A C) 2) (pow B 2)) (pow (- A C) 2) (- A C))
203.0ms
a
@inf
((* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))))) -1/2 (* (/ y-scale x-scale) (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))))) (/ y-scale x-scale) y-scale x-scale (/ (+ (* 2 (pow (* a (sin (* 1/180 (* angle (PI))))) 2)) (* 2 (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))))) (+ (* 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)))) (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) (- (* b b) (* a a)) (* b b) (* a a) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* 90 (* (/ x-scale angle) (/ (* y-scale (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale))))) (* (PI) (- (* b b) (* a a)))))) 90 (* (/ x-scale angle) (/ (* y-scale (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale))))) (* (PI) (- (* b b) (* a a))))) (/ x-scale angle) (/ (* y-scale (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale))))) (* (PI) (- (* b b) (* a a)))) (* y-scale (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale))))) (- (* 2 (/ (* a a) (* y-scale y-scale))) (* 2 (/ (* b b) (* x-scale x-scale)))) (* 2 (/ (* a a) (* y-scale y-scale))) (/ (* a a) (* y-scale y-scale)) (* y-scale y-scale) (* 2 (/ (* b b) (* x-scale x-scale))) (/ (* b b) (* x-scale x-scale)) (* x-scale x-scale) (* (PI) (- (* b b) (* a a))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* -1/2 (* (/ x-scale (cos (* 1/180 (* angle (PI))))) (/ (* y-scale (- (/ (pow (cos (* 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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI))))))) (* (/ x-scale (cos (* 1/180 (* angle (PI))))) (/ (* y-scale (- (/ (pow (cos (* 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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI)))))) (/ x-scale (cos (* 1/180 (* angle (PI))))) (/ (* y-scale (- (/ (pow (cos (* 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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (sin (* 1/180 (* angle (PI))))) (* y-scale (- (/ (pow (cos (* 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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))))) (- (/ (pow (cos (* 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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (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) (+ (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 (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))) (+ (* 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)) 4 (/ (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 (* x-scale y-scale) 2) (* x-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 (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2))) (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))) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* a (cos (* 1/180 (* angle (PI))))) (+ (sqrt (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2))) (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))) (/ (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)) (pow (* x-scale y-scale) 2))) (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))) (+ (* 4 (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2))) (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)) (/ (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2)) (* (pow a 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow a 4) (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) (- (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (/ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (* 2 (- (pow b 2) (pow a 2))) (- (pow b 2) (pow a 2)) (pow b 2) (pow a 2) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) (cos (* (/ angle 180) (PI))) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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 (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (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) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (+ (* (* angle angle) (+ (* -1/32400 (pow (* b (PI)) 2)) (* 1/32400 (pow (* a (PI)) 2)))) (* b b)) (* angle angle) (+ (* -1/32400 (pow (* b (PI)) 2)) (* 1/32400 (pow (* a (PI)) 2))) -1/32400 (pow (* b (PI)) 2) (* b (PI)) (* 1/32400 (pow (* a (PI)) 2)) 1/32400 (pow (* a (PI)) 2) (* a (PI)) (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 (- (/ (/ (+ (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 (- (/ (/ (+ (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 (* 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)) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))
194.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 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow 1/2 (+ c_p c_n)) 1/2 (+ c_p c_n) 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 (+ 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 (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 (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)) (+ (* (+ (* (* -1/2 c_n) (pow 1/2 (+ c_p c_n))) (* (* 1/2 c_p) (pow 1/2 (+ c_p c_n)))) s) (pow 1/2 (+ c_p c_n))) (+ (* (* -1/2 c_n) (pow 1/2 (+ c_p c_n))) (* (* 1/2 c_p) (pow 1/2 (+ c_p c_n)))) (* -1/2 c_n) -1/2 (* (* 1/2 c_p) (pow 1/2 (+ c_p c_n))) (* 1/2 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 (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (+ (* (* (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (* (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (log (- 1 (pow (+ (exp (neg t)) 1) -1)))))) c_n) (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t)))))))) c_n) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (+ (* (- (* (* (pow (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (+ (* (* (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (* (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (log (- 1 (pow (+ (exp (neg t)) 1) -1)))))) c_n) (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t)))))))) (- (* (* (pow (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (+ (* (* (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (* (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (log (- 1 (pow (+ (exp (neg t)) 1) -1)))))) (* (* (pow (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (* (pow (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2) (log (- 1 (pow (+ (exp (neg s)) 1) -1))) 2 (+ (* (* (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) 1/2) (* (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (log (- 1 (pow (+ (exp (neg t)) 1) -1))))) (* (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (log (- 1 (pow (+ (exp (neg t)) 1) -1))) 2) (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (* (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (log (- 1 (pow (+ (exp (neg t)) 1) -1)))) (/ (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t))))))) (- (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))))) (* (log (- 1 (pow (+ (exp (neg s)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s)))))) (exp c_p) (* (log (- 1 (pow (+ (exp (neg t)) 1) -1))) (pow (exp c_p) (neg (log (+ 1 (exp (neg s))))))) (pow (exp c_p) (neg (log (+ 1 (exp (neg t)))))))
193.0ms
ew
@0
((fabs (+ (* ew (* (sin t) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))))) (+ (* ew (* (sin t) (cos (atan (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))) ew (* (sin t) (cos (atan (/ (/ eh ew) (tan t))))) (sin t) t (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (cos t) eh) (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ eh ew) (tan t))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (/ eh (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (fabs (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2)))) 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))) (+ 1 (pow (/ (/ eh ew) (tan t)) 2)) (pow (/ (/ eh ew) (tan t)) 2) 2 (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (+ (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) eh) (+ (* ew (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh)) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t))) (/ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) eh) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (atan (* (/ (cos t) ew) (/ eh (sin t)))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (cos t)))

eval24.8s (5.8%)

Memory
-205.6MiB live, 33 188.9MiB allocated; 11.1s collecting garbage
Compiler

Compiled 13 354 200 to 598 417 computations (95.5% saved)

prune22.4s (5.2%)

Memory
94.1MiB live, 35 241.0MiB allocated; 5.9s collecting garbage
Counts
112 973 → 5 910
Compiler

Compiled 939 042 to 363 377 computations (61.3% saved)

explain20.4s (4.7%)

Memory
-353.5MiB live, 25 566.1MiB allocated; 5.7s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19698
sin.f64#fsensitivity17134
+.f64#fcancellation170934
sqrt.f64#foflow-rescue14210
-.f64#fcancellation94515
-.f64#fnan-rescue6580
log.f64#fsensitivity6082
/.f64#fo/n5250
/.f64#fo/o3630
/.f64#fu/u3120
*.f64#fn*o2410
exp.f64#fsensitivity16125
/.f64#fu/n1540
sqrt.f64#fuflow-rescue1520
/.f64#fn/o1300
cbrt.f64#foflow-rescue970
*.f64#fn*u770
cbrt.f64#fuflow-rescue490
/.f64#fn/u360
*.f64#fo*u360
*.f64#fu*o280
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)))))sensitivity183
pow.f64#fuflow-rescue70
log.f64#foflow-rescue60
pow.f64#fsensitivity40
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow70
↳(exp.f64 b)underflow61
Confusion
Predicted +Predicted -
+579169
-13936059
Precision
0.8060968819599109
Recall
0.9882252559726963
Confusion?
Predicted +Predicted MaybePredicted -
+57914326
-1393326027
Precision?
0.803691968590715
Recall?
0.9955631399317406
Freqs
test
numberfreq
06128
14736
21570
3344
4290
5155
663
716
84
95
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
3.0s7 660×1valid
2.1s16 600×0valid
1.8s2 004×2valid
544.0ms360×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-sin: 1.1s (19% of total)
ival-mult!: 836.0ms (14.2% of total)
ival-cos: 817.0ms (13.9% of total)
adjust: 468.0ms (8% of total)
ival-pow2: 413.0ms (7% of total)
ival-div!: 362.0ms (6.2% of total)
ival-sinu: 313.0ms (5.3% of total)
ival-cosu: 279.0ms (4.7% of total)
ival-exp: 235.0ms (4% of total)
ival-log: 195.0ms (3.3% of total)
ival-sqrt: 190.0ms (3.2% of total)
ival-sub!: 157.0ms (2.7% of total)
ival-add!: 138.0ms (2.3% of total)
ival-neg: 106.0ms (1.8% of total)
ival-tan: 50.0ms (0.9% of total)
ival-atan2: 43.0ms (0.7% of total)
ival-hypot: 36.0ms (0.6% of total)
ival-atan: 31.0ms (0.5% of total)
ival-acos: 21.0ms (0.4% of total)
ival-pow: 20.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.3% of total)
ival-asin: 18.0ms (0.3% of total)
ival-fabs: 13.0ms (0.2% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

preprocess17.0s (4%)

Memory
338.3MiB live, 17 654.7MiB allocated; 5.7s collecting garbage
Stop Event
104×iter limit
92×node limit
12×saturated
Compiler

Compiled 219 541 to 62 531 computations (71.5% saved)

analyze16.1s (3.8%)

Memory
428.4MiB live, 19 439.4MiB allocated; 4.8s 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)

derivations14.7s (3.4%)

Memory
160.1MiB live, 13 382.7MiB allocated; 2.0s collecting garbage
Stop Event
44×fuel
8×done
Compiler

Compiled 42 162 to 5 843 computations (86.1% saved)

bsearch9.4s (2.2%)

Memory
103.0MiB live, 11 110.4MiB allocated; 1.4s collecting garbage
Algorithm
304×binary-search
77×left-value
Stop Event
297×narrow-enough
7×predicate-same
Samples
4.6s7 247×1valid
1.9s13 046×0valid
392.0ms747×2valid
142.0ms1 565×0invalid
82.0ms48×3valid
45.0ms189×1invalid
17.0ms53×2invalid
0.0ms11×0exit
Compiler

Compiled 207 943 to 130 113 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-cos: 1.6s (25.9% of total)
ival-sin: 1.6s (25.1% of total)
ival-mult!: 791.0ms (12.6% of total)
adjust: 593.0ms (9.5% of total)
ival-pow2: 300.0ms (4.8% of total)
ival-sub!: 210.0ms (3.3% of total)
ival-sqrt: 168.0ms (2.7% of total)
ival-sinu: 146.0ms (2.3% of total)
ival-div!: 145.0ms (2.3% of total)
ival-cosu: 143.0ms (2.3% of total)
ival-acos: 143.0ms (2.3% of total)
ival-atan2: 129.0ms (2.1% of total)
ival-add!: 126.0ms (2% of total)
ival-neg: 39.0ms (0.6% of total)
ival-exp: 37.0ms (0.6% of total)
ival-tan: 33.0ms (0.5% of total)
ival-atan: 24.0ms (0.4% of total)
ival-log: 20.0ms (0.3% of total)
ival-asin: 7.0ms (0.1% of total)
ival-pow: 7.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)
ival-hypot: 6.0ms (0.1% of total)
ival-log1p: 2.0ms (0% of total)
ival-cbrt: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

simplify2.9s (0.7%)

Memory
14.1MiB live, 2 956.5MiB allocated; 351ms collecting garbage
Stop Event
48×node limit
4×saturated

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...