Metrics for Herbie run

Date:	Wednesday, September 4th, 2024
Commit:	ac261103 on main
Hostname:	nightly with Racket 8.11.1
Seed:	2024248
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.4min (21.7%)

Memory

2 094.0MiB live, 251 833.3MiB allocated

Samples

57.8s	121 922×	1	valid
36.9s	279 983×	0	valid
33.5s	14 782×	5	exit
16.8s	24 208×	2	valid
7.8s	3 168×	3	valid
6.2s	35 676×	0	exit
4.2s	10 877×	1	exit
2.9s	20 841×	0	invalid
2.3s	11 503×	1	invalid
508.0ms	761×	2	invalid
467.0ms	35×	4	exit
356.0ms	31×	4	valid
284.0ms	23×	3	exit
26.0ms	11×	2	exit

Precisions

Click to see histograms. Total time spent on operations: 2.5min

ival-pow: 28.6s (19.3% of total)

ival-mult: 18.1s (12.2% of total)

ival-cos: 17.3s (11.7% of total)

ival-sin: 16.2s (10.9% of total)

ival-div: 11.8s (7.9% of total)

adjust: 10.5s (7.1% of total)

ival-pow2: 8.8s (5.9% of total)

ival-sub: 6.4s (4.3% of total)

ival-add: 6.0s (4% of total)

ival-exp: 5.6s (3.8% of total)

ival-log: 4.4s (3% of total)

ival-sqrt: 3.8s (2.6% of total)

ival-neg: 2.1s (1.4% of total)

const: 1.5s (1% of total)

ival-<: 1.5s (1% of total)

ival-pi: 883.0ms (0.6% of total)

ival-atan2: 843.0ms (0.6% of total)

ival-tan: 600.0ms (0.4% of total)

ival-hypot: 587.0ms (0.4% of total)

ival-acos: 424.0ms (0.3% of total)

exact: 411.0ms (0.3% of total)

ival-and: 328.0ms (0.2% of total)

ival-atan: 324.0ms (0.2% of total)

ival-true: 294.0ms (0.2% of total)

ival-cbrt: 280.0ms (0.2% of total)

ival-assert: 211.0ms (0.1% of total)

ival-asin: 139.0ms (0.1% of total)

ival-<=: 136.0ms (0.1% of total)

ival-fabs: 134.0ms (0.1% of total)

ival-log1p: 122.0ms (0.1% of total)

ival-==: 1.0ms (0% of total)

ival-or: 0.0ms (0% of total)

Bogosity

eval2.8min (18%)

Memory: 2 040.0MiB live, 327 914.2MiB allocated
Compiler: Compiled 14 937 118 to 815 892 computations (94.5% saved)

end2.1min (13.1%)

Memory: 132.2MiB live, 224 295.6MiB allocated

simplify1.5min (9.4%)

Memory

2 123.2MiB live, 109 339.9MiB allocated

Algorithm

456×	egg-herbie

Rules

3 685 026×	`lower-fma.f32`
3 683 926×	`lower-fma.f64`
1 736 668×	`lower-*.f32`
1 732 668×	`lower-*.f64`
966 206×	`lower-+.f32`

Stop Event

606×	iter limit
329×	node limit
127×	saturated

Counts

102 096 → 101 512

localize1.2min (7.3%)

Memory

-1 888.1MiB live, 95 644.6MiB allocated

Samples

23.4s	16 574×	1	valid
10.4s	28 038×	0	valid
9.9s	3 893×	2	valid
7.4s	683×	5	exit
2.3s	218×	4	exit
1.0s	1 288×	0	invalid
685.0ms	332×	3	valid
658.0ms	287×	1	invalid
569.0ms	346×	1	exit
168.0ms	52×	0	exit
2.0ms	1×	4	valid

Compiler

Compiled 126 379 to 9 669 computations (92.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 46.3s

ival-mult: 9.0s (19.4% of total)

ival-sin: 8.4s (18.2% of total)

ival-cos: 6.3s (13.7% of total)

ival-div: 4.4s (9.6% of total)

adjust: 3.6s (7.8% of total)

ival-add: 2.5s (5.4% of total)

ival-pow2: 1.9s (4.2% of total)

const: 1.5s (3.3% of total)

ival-pow: 1.4s (3.1% of total)

ival-sub: 1.4s (3% of total)

ival-sqrt: 1.2s (2.5% of total)

ival-exp: 995.0ms (2.2% of total)

ival-log: 700.0ms (1.5% of total)

ival-expm1: 444.0ms (1% of total)

ival-neg: 403.0ms (0.9% of total)

ival-hypot: 354.0ms (0.8% of total)

ival-atan2: 289.0ms (0.6% of total)

ival-log1p: 194.0ms (0.4% of total)

ival-fabs: 184.0ms (0.4% of total)

ival-atan: 167.0ms (0.4% of total)

ival-cbrt: 149.0ms (0.3% of total)

ival-tan: 137.0ms (0.3% of total)

ival-acos: 121.0ms (0.3% of total)

ival-asin: 112.0ms (0.2% of total)

exact: 105.0ms (0.2% of total)

ival-pi: 88.0ms (0.2% of total)

ival-true: 45.0ms (0.1% of total)

ival-assert: 23.0ms (0% of total)

ival-cosh: 16.0ms (0% of total)

ival-sinh: 10.0ms (0% of total)

ival-copysign: 2.0ms (0% of total)

ival-tanh: 1.0ms (0% of total)

soundness1.1min (6.8%)

Memory

165.0MiB live, 52 351.8MiB allocated

Rules

2 348 738×	`lower-fma.f32`
2 348 066×	`lower-fma.f64`
1 554 132×	`lower-*.f32`
1 551 238×	`lower-*.f64`
789 196×	`lower-+.f32`

Stop Event

427×	iter limit
290×	node limit
45×	fuel
7×	done
1×	saturated

Compiler

Compiled 48 693 to 26 380 computations (45.8% saved)

rewrite46.2s (4.9%)

Memory

339.3MiB live, 58 054.5MiB allocated

Rules

917 992×	`lower-fma.f32`
916 890×	`lower-fma.f64`
898 694×	`lower-*.f32`
894 774×	`lower-*.f64`
694 242×	`lower-/.f32`

Stop Event

407×	iter limit
201×	node limit
1×	saturated

Counts

3 775 → 136 329

prune42.5s (4.5%)

Memory: -2 100.4MiB live, 91 252.9MiB allocated
Counts: 289 779 → 7 879
Compiler: Compiled 593 335 to 296 989 computations (49.9% saved)

regimes41.6s (4.4%)

Memory

117.5MiB live, 63 378.9MiB allocated

Counts

22 250 → 976

Calls

155 calls:

2.7s	phi1
2.4s	a
2.2s	lambda1
2.2s	b
2.1s	phi2

Compiler

Compiled 21 146 to 17 201 computations (18.7% saved)

series31.3s (3.3%)

Memory

-487.2MiB live, 49 125.0MiB allocated

Counts

3 775 → 102 096

Calls

1623 calls:

Time	Variable		Point	Expression
409.0ms	a	@	inf	((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) y-scale)) (sqrt (* 2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))))) (* 1/4 (* (sqrt 8) y-scale)) (* (sqrt 8) y-scale) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (+ (* (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) 1/32400) (* (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)) -1/32400)) (+ (* (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)) 1/32400) (* (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) -1/32400)) (+ (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale))) (+ (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) (* (/ (* (PI) (PI)) y-scale) (/ (* b b) 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 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (+ (* (* a a) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)))) (sqrt (+ (* (* (pow a 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) 4) (pow (* (* a a) (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-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) (* 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))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (sqrt (* 2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2))))) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (* y-scale (sqrt 2)) (sqrt 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))) (/ (+ (* (* (- (+ (* (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) 1/32400) (* (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)) -1/32400)) (+ (* (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)) 1/32400) (* (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) -1/32400))) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) (+ (* -1/32400 (+ (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)))) (+ (* 1/32400 (+ (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)))) (* (/ (+ (* (* (- (+ (* (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) 1/32400) (* (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)) -1/32400)) (+ (* (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)) 1/32400) (* (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) -1/32400))) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) 1/2))) (* (* (* angle x-scale) (* angle x-scale)) (* (* (sqrt 8) y-scale) (+ (* -1/32400 (+ (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)))) (+ (* 1/32400 (+ (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)))) (* (/ (+ (* (* (- (+ (* (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) 1/32400) (* (* (/ (* (PI) (PI)) x-scale) (/ (* b b) x-scale)) -1/32400)) (+ (* (* (/ (* (PI) (PI)) y-scale) (/ (* b b) y-scale)) 1/32400) (* (* (/ (* a a) y-scale) (/ (* (PI) (PI)) y-scale)) -1/32400))) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (* (/ b x-scale) (/ b x-scale)) (* (/ a y-scale) (/ a y-scale)))) 1/2))))) (* (pow a 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) (sqrt (+ (* (* a a) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)))) (sqrt (+ (* (* (pow a 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) 4) (pow (* (* a a) (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2))))) (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 (+ (* (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 4) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))))
355.0ms	eh	@	inf	((* (+ (* (neg eh) (* (sin (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (/ (sin t) ew))) (* (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (cos 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) (* (sin (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (/ (sin t) ew))) (* (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (cos t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (/ ew (sqrt (+ (pow (* (/ (neg (sin t)) ew) (/ eh (cos t))) 2) 1))) (sqrt (+ (pow (* (/ (neg (sin t)) ew) (/ eh (cos t))) 2) 1)) (/ (- 0 (pow eh 3)) (+ 0 (+ (* eh eh) (* 0 eh)))) (* 0 eh) (+ 0 (+ (* eh eh) (* 0 eh))) (- 0 (pow eh 3)) (/ 1 (fabs (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew)))))) (fabs (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew))))) (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew)))) (/ 1 eh) (pow (pow (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) -1/4) -4) (pow (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) -1/4) (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (* (/ (neg eh) ew) (/ (sin t) (cos t))) (/ (sin t) (cos t)) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (* (/ t ew) (neg eh)) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (cos (atan (* (/ (neg (sin t)) ew) (/ eh (cos t))))) (* (/ (sin t) ew) (/ eh (cos t))) (/ (/ 1 eh) (* (sin (atan (* (/ (sin t) ew) (/ eh (cos t))))) (sin t))) (cos (atan (* (/ (tan t) ew) eh))) (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew)) (* (/ (tan t) ew) eh))
228.0ms	B	@	0	((/ (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) B)) (pow (pow (* (- A (sqrt (+ (* A A) (* B B)))) F) 1/4) 2)) (neg (/ (sqrt 2) B)) (/ (sqrt 2) B) (/ (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) B)) (sqrt (* (- A (sqrt (+ (* B B) (* A A)))) F))) (/ (* -2 (sqrt (* F A))) B) (* -2 (sqrt (* F A))) (/ (- (* 0 (+ (* -4 (* C A)) (* B B))) (* (+ (* -4 (* C A)) (* B B)) (sqrt (* (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))))) (* (+ (* -4 (* C A)) (* B B)) (+ (* -4 (* C A)) (* B B)))) (neg (* (sqrt (* F (/ (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (+ (* -4 (* A C)) (* B B))))) (sqrt 2))) (* (sqrt (* F (/ (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (+ (* -4 (* A C)) (* B B))))) (sqrt 2)) (sqrt (* F (/ (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (+ (* -4 (* A C)) (* B B))))) (/ (sqrt (* (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))) (neg (+ (* -4 (* C A)) (* B B)))) (sqrt (* (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))) (* (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (* (* 2 F) (+ (* -4 (* C A)) (* B B)))) (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (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))))))) (- (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))))))) (pow (* (- A (sqrt (+ (* A A) (* B B)))) F) 1/4) (pow (exp 1/4) (+ (log B) (log (neg F)))) (+ (log B) (log (neg F))) (sqrt (* F A)) (/ (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))) (+ (* -4 (* A C)) (* B B))) (+ (/ A B) (- (/ C B) 1)) (* (* 2 F) (+ (* -4 (* C A)) (* B B))) (- (+ 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)))))) (/ (* B B) C))
218.0ms	ew	@	0	((* (+ (* (neg eh) (* (sin (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (/ (sin t) ew))) (* (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (cos 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) (* (sin (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (/ (sin t) ew))) (* (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (cos t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (/ ew (sqrt (+ (pow (* (/ (neg (sin t)) ew) (/ eh (cos t))) 2) 1))) (sqrt (+ (pow (* (/ (neg (sin t)) ew) (/ eh (cos t))) 2) 1)) (/ (- 0 (pow eh 3)) (+ 0 (+ (* eh eh) (* 0 eh)))) (* 0 eh) (+ 0 (+ (* eh eh) (* 0 eh))) (- 0 (pow eh 3)) (/ 1 (fabs (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew)))))) (fabs (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew))))) (/ 1 (+ (* (* (sin t) (neg eh)) (neg (sin (atan (* (/ (tan t) ew) eh))))) (* (cos (atan (* (/ (tan t) ew) eh))) (* (cos t) ew)))) (/ 1 eh) (pow (pow (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) -1/4) -4) (pow (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) -1/4) (* (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (tan t) ew) eh)))) (fabs (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew))) (cos (atan (* (/ (neg eh) ew) (/ (sin t) (cos t))))) (* (/ (neg eh) ew) (/ (sin t) (cos t))) (/ (sin t) (cos t)) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (* (/ t ew) (neg eh)) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (cos (atan (* (/ (neg (sin t)) ew) (/ eh (cos t))))) (* (/ (sin t) ew) (/ eh (cos t))) (/ (/ 1 eh) (* (sin (atan (* (/ (sin t) ew) (/ eh (cos t))))) (sin t))) (cos (atan (* (/ (tan t) ew) eh))) (+ (* (* (* (tan t) eh) eh) (/ (sin t) ew)) (* (cos t) ew)) (* (/ (tan t) ew) eh))
202.0ms	b	@	0	((* 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)) (* 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)) (* 2 (/ (* a a) (* (* y-scale y-scale) (* (PI) (* (+ a b) (- b a)))))) (+ (* -2 (/ (* b b) (* (* x-scale x-scale) (* (PI) (* (+ a b) (- b a)))))) (* 2 (/ (* a a) (* (* y-scale y-scale) (* (PI) (* (+ a b) (- b 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)) (* 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 (* b b)) (* b b)) (* (PI) (PI))) (/ (+ (* -1/11664000 (* (pow (PI) 3) (* (+ a b) (- b a)))) (* -1/34992000 (* (pow (PI) 3) (* (+ a b) (- b a))))) (* (pow (+ a b) 2) (pow (- b a) 2)))) (+ (* -1/11664000 (* (pow (PI) 3) (* (+ a b) (- b a)))) (* -1/34992000 (* (pow (PI) 3) (* (+ a b) (- b a))))) (* (pow (+ a b) 2) (pow (- b a) 2)) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale)))) (PI) (/ (* (* 2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) y-scale) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) (* (/ y-scale x-scale) (/ (sin (* 1/180 (* angle (PI)))) (cos (* 1/180 (* angle (PI)))))) (* 1/180 (* angle (PI))) (/ y-scale (* angle (* x-scale (PI)))) (/ (* (* x-scale y-scale) (- (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (+ (* (* b b) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (* (pow b 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) 4) (pow (+ (* (* b b) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (neg (* y-scale y-scale))))) 2)))))) (* (* (* b b) (cos (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)))) (* (* x-scale x-scale) (* (PI) (* (+ a b) (- b a)))) (/ (- (- (/ (/ (+ (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)) (/ (* a a) (* (* y-scale y-scale) (* (PI) (* (+ a b) (- b a))))) (/ (* (* 2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) y-scale) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180)))) (/ (+ (* -1/11664000 (* (pow (PI) 3) (* (+ a b) (- b a)))) (* -1/34992000 (* (pow (PI) 3) (* (+ a b) (- b a))))) (* (pow (+ a b) 2) (pow (- b a) 2))) (/ (+ (* (/ (+ (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) 1/2) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (* (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))) (cos (* (* (PI) angle) 1/180)))) (+ (* -2 (+ (* (* b b) (+ (* -1/32400 (/ (* (* a a) (* (PI) (PI))) (* y-scale y-scale))) (* 1/32400 (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))))) (/ (* (* a a) (+ (* -1/32400 (* (* b b) (* (PI) (PI)))) (* 1/32400 (* (* a a) (* (PI) (PI)))))) (* y-scale y-scale)))) (* 1/8100 (/ (* (* (PI) (PI)) (* (pow (+ a b) 2) (pow (- b a) 2))) (* y-scale y-scale)))))

explain22.0s (2.3%)

Memory

-372.9MiB live, 30 452.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1821	5
`+.f64`	`#f`	cancellation	1737	48
`sin.f64`	`#f`	sensitivity	1574	4
`sqrt.f64`	`#f`	oflow-rescue	1446	0
`-.f64`	`#f`	cancellation	949	15
`log.f64`	`#f`	sensitivity	581	1
`-.f64`	`#f`	nan-rescue	579	0
`/.f64`	`#f`	o/n	501	0
`/.f64`	`#f`	u/u	338	0
`/.f64`	`#f`	o/o	336	0
`*.f64`	`#f`	*no**	278	0
`sqrt.f64`	`#f`	uflow-rescue	164	0
`/.f64`	`#f`	u/n	161	0
`exp.f64`	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`	sensitivity	155	26
`/.f64`	`#f`	n/o	111	0
`cbrt.f64`	`#f`	oflow-rescue	88	0
`*.f64`	`#f`	*nu**	70	0
`*.f64`	`#f`	*uo**	38	0
`/.f64`	`#f`	n/u	37	0
`cbrt.f64`	`#f`	uflow-rescue	37	0
`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)))))`	sensitivity	19	3
`*.f64`	`#f`	*ou**	19	0
`pow.f64`	`#f`	sensitivity	10	1
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	oflow-rescue	4	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	overflow	4
↳	`(exp.f64 b)`	overflow	4
`pow.f64`	`#f`	uflow-rescue	3	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	2	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	2
↳	`(exp.f64 a)`	underflow	62
↳	`(exp.f64 b)`	underflow	61

Confusion

	Predicted +	Predicted -
+	5737	79
-	1380	6116

Precision

0.8060980750316145

Recall

0.9864167812929848

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5737	45	34
-	1380	44	6072

Precision?

0.8023868998057174

Recall?

0.9941540577716643

Freqs

test

number	freq
0	6195
1	4677
2	1660
3	357
4	241
5	109
6	50
7	11
8	4
9	8

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	41	1	0
-	3	0	7

Precision?

0.9333333333333333

Recall?

1.0

Samples

4.4s	8 130×	1	valid
2.2s	16 254×	0	valid
2.1s	1 954×	2	valid
863.0ms	284×	3	valid
5.0ms	2×	4	valid

Compiler

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

Precisions

Click to see histograms. Total time spent on operations: 7.9s

ival-sin: 1.6s (21% of total)

ival-cos: 1.5s (19% of total)

ival-mult: 1.0s (12.9% of total)

ival-div: 608.0ms (7.7% of total)

ival-sqrt: 454.0ms (5.8% of total)

adjust: 443.0ms (5.6% of total)

ival-pow2: 413.0ms (5.3% of total)

ival-sub: 406.0ms (5.2% of total)

ival-add: 380.0ms (4.8% of total)

ival-exp: 281.0ms (3.6% of total)

ival-log: 200.0ms (2.5% of total)

ival-tan: 95.0ms (1.2% of total)

ival-hypot: 79.0ms (1% of total)

ival-neg: 66.0ms (0.8% of total)

ival-fabs: 48.0ms (0.6% of total)

ival-atan2: 42.0ms (0.5% of total)

ival-pi: 32.0ms (0.4% of total)

ival-pow: 27.0ms (0.3% of total)

ival-atan: 26.0ms (0.3% of total)

ival-true: 25.0ms (0.3% of total)

ival-acos: 24.0ms (0.3% of total)

exact: 19.0ms (0.2% of total)

ival-cbrt: 17.0ms (0.2% of total)

ival-assert: 12.0ms (0.2% of total)

ival-asin: 9.0ms (0.1% of total)

ival-log1p: 6.0ms (0.1% of total)

analyze16.2s (1.7%)

Memory

336.5MiB live, 23 988.7MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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 990 computations (45.8% saved)

preprocess14.6s (1.5%)

Memory

-141.1MiB live, 16 690.4MiB allocated

Algorithm

52×	egg-herbie

Rules

238 304×	`lower-fma.f64`
238 304×	`lower-fma.f32`
81 478×	`lower-*.f32`
81 146×	`lower-*.f64`
46 832×	`unsub-neg`

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 68 325 to 24 982 computations (63.4% saved)

bsearch9.4s (1%)

Memory

-21.0MiB live, 14 086.7MiB allocated

Algorithm

276×	binary-search
148×	left-value

Stop Event

271×	narrow-enough
5×	predicate-same

Samples

3.9s	5 866×	1	valid
2.4s	13 018×	0	valid
581.0ms	843×	2	valid
143.0ms	81×	3	valid
60.0ms	627×	0	invalid
14.0ms	33×	1	exit
8.0ms	168×	0	exit

Compiler

Compiled 82 592 to 74 280 computations (10.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 6.2s

ival-cos: 1.4s (21.9% of total)

ival-sin: 1.3s (20.8% of total)

ival-mult: 954.0ms (15.4% of total)

ival-pow2: 524.0ms (8.5% of total)

ival-sub: 485.0ms (7.8% of total)

ival-div: 406.0ms (6.6% of total)

adjust: 373.0ms (6% of total)

ival-add: 199.0ms (3.2% of total)

ival-sqrt: 154.0ms (2.5% of total)

ival-atan2: 142.0ms (2.3% of total)

ival-acos: 48.0ms (0.8% of total)

ival-atan: 36.0ms (0.6% of total)

ival-neg: 34.0ms (0.5% of total)

ival-pi: 33.0ms (0.5% of total)

ival-hypot: 27.0ms (0.4% of total)

ival-exp: 25.0ms (0.4% of total)

ival-tan: 24.0ms (0.4% of total)

ival-asin: 22.0ms (0.4% of total)

ival-true: 16.0ms (0.3% of total)

exact: 13.0ms (0.2% of total)

ival-assert: 9.0ms (0.1% of total)

ival-fabs: 6.0ms (0.1% of total)

ival-cbrt: 6.0ms (0.1% of total)

ival-log: 6.0ms (0.1% of total)

ival-log1p: 2.0ms (0% of total)

start2.0ms (0%)

Memory: 5.4MiB live, 5.4MiB allocated

sample3.4min (21.7%)

eval2.8min (18%)

end2.1min (13.1%)

simplify1.5min (9.4%)

localize1.2min (7.3%)

soundness1.1min (6.8%)

rewrite46.2s (4.9%)

prune42.5s (4.5%)

regimes41.6s (4.4%)

series31.3s (3.3%)

explain22.0s (2.3%)

analyze16.2s (1.7%)

preprocess14.6s (1.5%)

bsearch9.4s (1%)

start2.0ms (0%)

Profiling