Metrics for Herbie run

Date:	Tuesday, November 26th, 2024
Commit:	0bc53aaa on bhargav-bigfloat
Hostname:	nightly with Racket 8.10
Seed:	2024331
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.3min (31.3%)

Memory

1 066.7MiB live, 197 674.6MiB allocated

Samples

49.1s	108 329×	1	valid
43.4s	294 655×	0	valid
31.7s	14 387×	5	exit
15.1s	23 338×	2	valid
7.2s	2 959×	3	valid
6.9s	34 710×	0	exit
3.1s	20 791×	0	invalid
2.4s	11 139×	1	invalid
419.0ms	823×	2	invalid
373.0ms	3 603×	1	exit
185.0ms	31×	4	valid
9.0ms	1×	3	exit
5.0ms	2×	4	exit

Precisions

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

ival-pow: 25.9s (18.9% of total)

ival-mult: 16.8s (12.3% of total)

ival-div: 11.0s (8% of total)

ival-cos: 10.5s (7.7% of total)

adjust: 9.4s (6.9% of total)

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

ival-sin: 7.7s (5.6% of total)

ival-sub: 6.5s (4.7% of total)

ival-add: 6.1s (4.5% of total)

ival-sinu: 6.0s (4.4% of total)

ival-exp: 5.7s (4.2% of total)

ival-cosu: 5.2s (3.8% of total)

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

ival-log: 3.8s (2.8% of total)

ival-neg: 2.0s (1.5% of total)

const: 1.8s (1.3% of total)

ival-<: 1.6s (1.2% of total)

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

ival-tan: 621.0ms (0.5% of total)

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

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

exact: 415.0ms (0.3% of total)

ival-and: 352.0ms (0.3% of total)

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

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

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

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

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

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

ival-pi: 165.0ms (0.1% of total)

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

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

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

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

Bogosity

simplify1.2min (11.5%)

Memory

272.8MiB live, 64 983.5MiB allocated

Algorithm

452×	egg-herbie

Stop Event

600×	iter limit
314×	node limit
138×	saturated

Counts

23 916 → 23 774

soundness1.0min (10%)

Memory

446.6MiB live, 39 900.3MiB allocated

Stop Event

427×	iter limit
285×	node limit
42×	fuel
10×	done
1×	saturated

Compiler

Compiled 100 669 to 34 104 computations (66.1% saved)

localize1.0min (9.8%)

Memory

-235.8MiB live, 64 907.7MiB allocated

Samples

19.8s	14 664×	1	valid
10.2s	28 320×	0	valid
7.6s	3 802×	2	valid
5.7s	536×	5	exit
1.5s	2 070×	0	invalid
1.1s	514×	2	exit
1.1s	136×	4	exit
818.0ms	397×	1	invalid
610.0ms	317×	3	valid
549.0ms	398×	1	exit
108.0ms	33×	3	exit
15.0ms	11×	2	invalid
8.0ms	2×	4	valid

Compiler

Compiled 251 998 to 19 374 computations (92.3% saved)

Precisions

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

ival-mult: 8.3s (20.7% of total)

ival-sin: 5.2s (12.8% of total)

ival-cos: 4.4s (11% of total)

ival-div: 3.8s (9.5% of total)

adjust: 3.4s (8.6% of total)

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

ival-pow2: 1.8s (4.4% of total)

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

ival-pow: 1.3s (3.3% of total)

const: 1.3s (3.3% of total)

ival-sqrt: 1.3s (3.2% of total)

ival-sinu: 1.2s (2.9% of total)

ival-log: 806.0ms (2% of total)

ival-cosu: 752.0ms (1.9% of total)

ival-exp: 672.0ms (1.7% of total)

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

ival-atan2: 311.0ms (0.8% of total)

ival-hypot: 267.0ms (0.7% of total)

ival-tan: 215.0ms (0.5% of total)

ival-cbrt: 172.0ms (0.4% of total)

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

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

exact: 105.0ms (0.3% of total)

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

ival-fabs: 85.0ms (0.2% of total)

ival-log1p: 74.0ms (0.2% of total)

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

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

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

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

ival-expm1: 7.0ms (0% of total)

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

ival-tanu: 4.0ms (0% of total)

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

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

rewrite44.1s (7.1%)

Memory

-173.4MiB live, 45 995.7MiB allocated

Stop Event

405×	iter limit
198×	node limit
1×	saturated
1×	unsound

Counts

3 651 → 140 132

regimes41.0s (6.6%)

Memory

-598.4MiB live, 49 363.1MiB allocated

Counts

19 944 → 926

Calls

155 calls:

2.4s	b
2.3s	a
2.3s	lambda2
2.2s	phi1
2.0s	lambda1

Compiler

Compiled 19 906 to 16 395 computations (17.6% saved)

eval35.9s (5.8%)

Memory: 80.2MiB live, 44 389.4MiB allocated
Compiler: Compiled 11 110 781 to 748 783 computations (93.3% saved)

prune26.4s (4.2%)

Memory: -316.0MiB live, 38 257.1MiB allocated
Counts: 168 435 → 7 507
Compiler: Compiled 1 068 320 to 421 602 computations (60.5% saved)

explain21.4s (3.4%)

Memory

139.3MiB live, 24 955.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1844	0
`+.f64`	`#f`	cancellation	1675	35
`sin.f64`	`#f`	sensitivity	1601	1
`sqrt.f64`	`#f`	oflow-rescue	1389	0
`-.f64`	`#f`	cancellation	939	13
`-.f64`	`#f`	nan-rescue	647	0
`log.f64`	`#f`	sensitivity	593	2
`/.f64`	`#f`	o/n	469	0
`/.f64`	`#f`	o/o	372	0
`/.f64`	`#f`	u/u	305	0
`*.f64`	`#f`	*no**	242	0
`/.f64`	`#f`	u/n	167	0
`exp.f64`	`#f`	sensitivity	156	27
`sqrt.f64`	`#f`	uflow-rescue	133	0
`/.f64`	`#f`	n/o	112	0
`*.f64`	`#f`	*nu**	87	0
`cbrt.f64`	`#f`	oflow-rescue	81	0
`cbrt.f64`	`#f`	uflow-rescue	40	0
`/.f64`	`#f`	n/u	39	0
`*.f64`	`#f`	*uo**	33	0
`*.f64`	`#f`	*ou**	32	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	14	5
`pow.f64`	`#f`	sensitivity	9	4
`pow.f64`	`#f`	uflow-rescue	9	0
`log.f64`	`#f`	oflow-rescue	8	0
`asin.f64`	`(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))`	sensitivity	1	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	1	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	1
↳	`(exp.f64 a)`	underflow	65
↳	`(exp.f64 b)`	underflow	55

Confusion

	Predicted +	Predicted -
+	5671	72
-	1329	6240

Precision

0.8101428571428572

Recall

0.9874629984328748

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5671	41	31
-	1329	36	6204

Precision?

0.8071216617210683

Recall?

0.9946021243252655

Freqs

test

number	freq
0	6312
1	4635
2	1571
3	316
4	239
5	144
6	74
7	16
8	4
9	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	1
-	3	0	6

Precision?

0.9333333333333333

Recall?

0.9767441860465116

Samples

3.2s	6 976×	1	valid
2.6s	17 456×	0	valid
2.0s	1 900×	2	valid
487.0ms	288×	3	valid
16.0ms	4×	4	valid

Compiler

Compiled 29 036 to 3 336 computations (88.5% saved)

Precisions

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

ival-sin: 1.1s (16.6% of total)

ival-mult: 892.0ms (13.5% of total)

ival-cos: 709.0ms (10.7% of total)

ival-div: 550.0ms (8.3% of total)

ival-pow2: 510.0ms (7.7% of total)

adjust: 447.0ms (6.8% of total)

ival-sinu: 371.0ms (5.6% of total)

ival-add: 345.0ms (5.2% of total)

ival-cosu: 316.0ms (4.8% of total)

ival-sub: 303.0ms (4.6% of total)

ival-exp: 232.0ms (3.5% of total)

ival-log: 190.0ms (2.9% of total)

ival-sqrt: 180.0ms (2.7% of total)

ival-neg: 115.0ms (1.7% of total)

ival-tan: 50.0ms (0.8% of total)

ival-pow: 44.0ms (0.7% of total)

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

ival-hypot: 40.0ms (0.6% of total)

ival-atan: 30.0ms (0.5% of total)

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

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

exact: 21.0ms (0.3% of total)

ival-pi: 19.0ms (0.3% of total)

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

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

ival-fabs: 11.0ms (0.2% of total)

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

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

series21.1s (3.4%)

Memory

191.7MiB live, 24 763.2MiB allocated

Counts

3 651 → 23 916

Calls

1644 calls:

Time	Variable		Point	Expression
237.0ms	angle	@	-inf	((+ (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)))) (sin (* (/ angle 180) (PI))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (+ (* (* (* (PI) (PI)) (+ (* (* -1/32400 b) b) (* 1/32400 (* a a)))) (* angle angle)) (* b b)) (* (* (PI) (PI)) (+ (* (* -1/32400 b) b) (* 1/32400 (* a a)))) (* (PI) (PI)) (exp (* (log (* (sin (* (PI) (* 1/180 angle))) a)) 2)) (+ (exp (* (log (* (sin (* (PI) (* 1/180 angle))) a)) 2)) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (* (log (* (sin (* (PI) (* 1/180 angle))) a)) 2) (log (* (sin (* (PI) (* 1/180 angle))) a)) (exp (* (log (/ 180 angle)) -1)) (* (log (/ 180 angle)) -1) (+ (pow (* a (sin (* (exp (* (log (/ 180 angle)) -1)) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (exp (* (log (/ 180 angle)) -1)) (PI)))) 2) (/ angle 180) (+ (exp (* (log (sqrt (* (sin (* (PI) (* 1/180 angle))) a))) 4)) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (exp (* (log (sqrt (* (sin (* (PI) (* 1/180 angle))) a))) 4)) (* (log (sqrt (* (sin (* (PI) (* 1/180 angle))) a))) 4) (PI) (sin (* (* 1/180 (PI)) angle)) (cos (* (/ angle 180) (PI))) (+ (* (* -1/32400 b) b) (* 1/32400 (* a a))) (sin (* (PI) (* 1/180 angle))) (sin (* (exp (* (log (/ 180 angle)) -1)) (PI))) (sqrt (/ (sin (* (* 1/180 (PI)) angle)) a)) (cos (* (/ angle 180) (PI))))
204.0ms	s	@	-inf	((- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 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 t)))) c_p) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (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))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (/ (* (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))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))) (log (+ 1 (exp (neg t)))) (/ 1 (+ (exp (neg t)) 1)) (- 1 (/ 1 (+ 1 (exp (neg t))))) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
157.0ms	y-scale	@	0	((/ (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))) (* (* (* x-scale 4) a) 1/4) (* a 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))) (* (sqrt 8) (* (* (sqrt 2) x-scale) (* 1/4 a))) (sqrt 8) (* (* (sqrt 2) x-scale) (* 1/4 a)) (exp (* (log (* (* (neg (pow (* b a) 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))))) (* (* -8 (pow (* b a) 2)) (pow (* y-scale x-scale) -2)))) 1/2)) (* (* (neg (pow (* b a) 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))))) (* (* -8 (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (* -4 (neg (pow (* a b) 2))) (* (/ (exp (* (log (* (* (neg (pow (* b a) 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))))) (* (* -8 (pow (* b a) 2)) (pow (* y-scale x-scale) -2)))) 1/2)) (* -4 (neg (pow (* a b) 2)))) (* y-scale x-scale)) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (* (/ x-scale (cos (* (* (PI) angle) 1/180))) (/ x-scale (cos (* (* (PI) angle) 1/180))))) (* y-scale 1)) (* y-scale (* (/ x-scale (cos (* (* (PI) angle) 1/180))) (/ x-scale (cos (* (* (PI) angle) 1/180))))) (* y-scale 1) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (pow (* (pow y-scale -2) (pow (sin (* (* (PI) angle) 1/180)) 2)) 2) (pow (* (/ (cos (* (* (PI) angle) 1/180)) x-scale) (/ (cos (* (* (PI) angle) 1/180)) x-scale)) 2) (* (- (pow (* (pow y-scale -2) (pow (sin (* (* (PI) angle) 1/180)) 2)) 2) (pow (* (/ (cos (* (* (PI) angle) 1/180)) x-scale) (/ (cos (* (* (PI) angle) 1/180)) x-scale)) 2)) (/ 1 (+ (* (pow y-scale -2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (neg (pow (cos (* (* (PI) angle) 1/180)) 2)) (pow x-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) (* 1/4 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)))) (log (* (* (neg (pow (* b a) 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))))) (* (* -8 (pow (* b a) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2)) (PI) (cos (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180)))
149.0ms	s	@	inf	((* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))))
124.0ms	angle	@	inf	((* (/ (* (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) y-scale) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) -1/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))) (* 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 b 2) (pow a 2) (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400) (+ (* (/ (+ (* (* (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 1/2) (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (- (pow b 2) (pow a 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))) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (* (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) y-scale) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) (sin (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180)) (PI) (/ (* (* 2 (- (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (+ b a) (- b a)) (PI))) (/ (* a a) (* y-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)))) (/ (+ (* (* (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-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)) (+ (* (- (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400) (+ (* (/ (+ (* (* (- (+ (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400) (* (/ (* (* (PI) b) (* (PI) b)) (* x-scale x-scale)) -1/32400)) (+ (* (/ (* (* (PI) b) (* (PI) b)) (* y-scale y-scale)) 1/32400) (* (/ (* (* (PI) a) (* (PI) a)) (* y-scale y-scale)) -1/32400))) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 2) (* (* (* (PI) (PI)) (/ (pow (* (+ b a) (- b a)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 1/8100)) (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) 1/2) (* (/ (* (* (PI) a) (* (PI) a)) (* x-scale x-scale)) 1/32400)))) (* angle angle)) (* -2 (/ (* b b) (* 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)) (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)))) (sin (* (/ angle 180) (PI))) (/ (/ (+ (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) 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)))))

analyze17.1s (2.7%)

Memory

117.8MiB live, 19 412.8MiB 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 964 computations (47.2% saved)

preprocess14.9s (2.4%)

Memory

15.1MiB live, 13 528.3MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 196 107 to 37 030 computations (81.1% saved)

bsearch11.8s (1.9%)

Memory

390.2MiB live, 12 044.6MiB allocated

Algorithm

307×	binary-search
102×	left-value

Stop Event

298×	narrow-enough
8×	predicate-same
1×	predicate-failed

Samples

4.3s	5 935×	1	valid
2.7s	14 007×	0	valid
884.0ms	656×	2	valid
292.0ms	96×	3	valid
197.0ms	1 857×	0	invalid
34.0ms	1×	5	exit
5.0ms	2×	4	exit
0.0ms	1×	0	exit

Compiler

Compiled 348 648 to 172 941 computations (50.4% saved)

Precisions

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

ival-cos: 1.3s (17.8% of total)

ival-mult: 1.1s (15.1% of total)

ival-sin: 1.0s (14.4% of total)

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

ival-cosu: 569.0ms (7.9% of total)

ival-div: 492.0ms (6.8% of total)

adjust: 476.0ms (6.6% of total)

ival-sinu: 396.0ms (5.5% of total)

ival-sub: 385.0ms (5.3% of total)

ival-add: 201.0ms (2.8% of total)

ival-sqrt: 141.0ms (1.9% of total)

ival-atan2: 131.0ms (1.8% of total)

ival-neg: 74.0ms (1% of total)

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

ival-pow: 44.0ms (0.6% of total)

ival-hypot: 39.0ms (0.5% of total)

ival-atan: 37.0ms (0.5% of total)

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

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

ival-exp: 19.0ms (0.3% of total)

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

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

exact: 14.0ms (0.2% of total)

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

ival-pi: 8.0ms (0.1% of total)

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

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

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

start2.0ms (0%)

Memory: 5.0MiB live, 5.0MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.7MiB allocated

sample3.3min (31.3%)

simplify1.2min (11.5%)

soundness1.0min (10%)

localize1.0min (9.8%)

rewrite44.1s (7.1%)

regimes41.0s (6.6%)

eval35.9s (5.8%)

prune26.4s (4.2%)

explain21.4s (3.4%)

series21.1s (3.4%)

analyze17.1s (2.7%)

preprocess14.9s (2.4%)

bsearch11.8s (1.9%)

start2.0ms (0%)

end0.0ms (0%)

Profiling