Metrics for Herbie run

Date:	Monday, December 16th, 2024
Commit:	ef6821a8 on no-diff-report
Hostname:	nightly with Racket 8.10
Seed:	2024351
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
Memory:	692 850.6 MB

sample3.9min (34.9%)

Memory

1 276.4MiB live, 233 894.7MiB allocated

Samples

58.8s	120 165×	1	valid
51.6s	17 615×	5	exit
43.7s	281 448×	0	valid
18.8s	24 559×	2	valid
7.5s	3 122×	3	valid
5.8s	34 413×	0	exit
3.9s	12 421×	1	invalid
3.5s	19 540×	0	invalid
504.0ms	857×	2	invalid
269.0ms	18×	4	valid
32.0ms	34×	1	exit

Precisions

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

ival-pow: 42.3s (25% of total)

ival-mult: 19.7s (11.6% of total)

adjust: 15.8s (9.3% of total)

ival-cos: 11.5s (6.8% of total)

ival-div: 10.5s (6.2% of total)

ival-pow2: 8.7s (5.1% of total)

ival-sin: 8.2s (4.8% of total)

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

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

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

ival-exp: 6.0s (3.5% of total)

ival-cosu: 5.5s (3.2% of total)

ival-log: 4.6s (2.7% of total)

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

ival-neg: 2.2s (1.3% of total)

const: 1.9s (1.1% of total)

ival-hypot: 1.6s (0.9% of total)

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

ival-log1p: 979.0ms (0.6% of total)

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

ival-atan2: 693.0ms (0.4% of total)

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

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

exact: 406.0ms (0.2% of total)

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

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

ival-<=: 285.0ms (0.2% of total)

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

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

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

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

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

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

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

Bogosity

localize1.5min (13.1%)

Memory

-121.7MiB live, 90 167.7MiB allocated

Samples

27.5s	17 029×	1	valid
24.7s	967×	5	exit
10.2s	26 110×	0	valid
9.4s	4 074×	2	valid
1.8s	2 918×	0	invalid
1.2s	276×	3	valid
530.0ms	6×	4	exit
427.0ms	182×	1	invalid
39.0ms	143×	0	exit
39.0ms	3×	3	exit
31.0ms	3×	4	valid
9.0ms	1×	2	exit

Compiler

Compiled 118 385 to 9 298 computations (92.1% saved)

Precisions

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

ival-sin: 22.0s (33.4% of total)

ival-mult: 9.1s (13.9% of total)

adjust: 6.6s (10% of total)

ival-cos: 6.6s (10% of total)

ival-div: 4.8s (7.4% of total)

ival-add: 2.8s (4.2% of total)

ival-pow2: 2.6s (3.9% of total)

const: 1.9s (2.8% of total)

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

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

ival-sqrt: 933.0ms (1.4% of total)

ival-exp: 908.0ms (1.4% of total)

ival-sinu: 815.0ms (1.2% of total)

ival-cosu: 749.0ms (1.1% of total)

ival-log: 667.0ms (1% of total)

ival-neg: 452.0ms (0.7% of total)

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

ival-expm1: 306.0ms (0.5% of total)

ival-atan2: 278.0ms (0.4% of total)

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

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

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

ival-acos: 125.0ms (0.2% of total)

exact: 111.0ms (0.2% of total)

ival-tan: 89.0ms (0.1% of total)

ival-atan: 83.0ms (0.1% of total)

ival-asinh: 73.0ms (0.1% of total)

ival-cosh: 66.0ms (0.1% of total)

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

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

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

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

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

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

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

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

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

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

simplify1.3min (11.4%)

Memory

1 331.8MiB live, 74 810.9MiB allocated

Algorithm

456×	egg-herbie

Stop Event

606×	iter limit
394×	node limit
62×	saturated

Counts

24 483 → 24 326

derivations54.0s (8.1%)

Memory

-34.1MiB live, 38 190.2MiB allocated

Stop Event

426×	iter limit
279×	node limit
44×	fuel
8×	done
3×	saturated
3×	unsound

Compiler

Compiled 44 952 to 6 025 computations (86.6% saved)

rewrite40.5s (6%)

Memory

729.1MiB live, 41 778.2MiB allocated

Stop Event

426×	iter limit
191×	node limit
7×	unsound
4×	saturated

Counts

3 683 → 91 539

regimes31.4s (4.7%)

Memory

-257.4MiB live, 39 970.3MiB allocated

Counts

18 400 → 852

Calls

155 calls:

2.2s	b
1.9s	a
1.8s	phi2
1.7s	phi1
1.5s	lambda2

Compiler

Compiled 20 911 to 15 911 computations (23.9% saved)

eval28.4s (4.2%)

Memory: -191.7MiB live, 35 217.3MiB allocated
Compiler: Compiled 10 265 714 to 614 101 computations (94% saved)

series26.6s (4%)

Memory

370.4MiB live, 31 379.6MiB allocated

Counts

3 683 → 24 483

Calls

1638 calls:

Time	Variable		Point	Expression
242.0ms	t	@	-inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n)))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (neg (log (+ 1 (exp (neg s))))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ 1 (+ (exp (neg s)) 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)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 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 (+ 1 (exp (neg s)))) (/ 1 (+ 1 (exp (neg t)))) (+ (* (* (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) c_p) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n))) (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t)))) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))))
192.0ms	y-scale	@	inf	((* (* (* x-scale 4) a) 1/4) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* x-scale 4) a) (* x-scale 4) (* (* (* 1/4 a) x-scale) 4) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) x-scale) (* 1/4 a) (exp (* (log (* (* (- (+ (/ (/ (+ (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)))) (neg (pow (* a b) 2))) (* (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2)) 8))) 1/2)) (/ (neg (exp (* (log (* (* (- (+ (/ (/ (+ (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)))) (neg (pow (* a b) 2))) (* (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2)) 8))) 1/2))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a))) (* (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2)) 8) (+ (/ (* (* b b) (* (PI) (PI))) (* x-scale x-scale)) (/ (* (* b b) (* (PI) (PI))) (* y-scale y-scale))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) 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))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (- (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow b 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (exp (* (log 8) 1/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))) (- (+ (/ (/ (+ (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 (* (* (- (+ (/ (/ (+ (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)))) (neg (pow (* a b) 2))) (* (/ (neg (pow (* a b) 2)) (pow (* y-scale x-scale) 2)) 8))) (neg a) (PI) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (cos (* -1/180 (* (PI) angle))))
174.0ms	x-scale	@	inf	((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 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))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (- (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow b 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))))))) (* 1/4 (* (sqrt 8) x-scale)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (- (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (/ (* 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 (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (- (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (- (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)))) (neg a) (PI) (cos (* -1/180 (* (PI) angle))) (neg b) (sin (* (* (PI) angle) 1/180)) (cos (* (PI) (/ angle 180))))
167.0ms	eh	@	-inf	((fabs (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) ew) (sin t)) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)))) (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) ew) (sin t)) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh))) (* (cos (atan (/ (/ eh (tan t)) ew))) ew) (cos (atan (/ (/ eh (tan t)) ew))) (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)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (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)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (* (cos t) eh)) (pow (sqrt (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) 2) (fabs (pow (sqrt (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) 2)) (sqrt (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (fabs (/ (sqrt (* (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (/ (sqrt (* (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (* (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (* (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (/ eh (tan t)) ew) (/ eh (tan t)) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) (* (cos t) eh) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2))
155.0ms	t	@	-inf	((- (* (log (+ 1 (exp (neg s)))) (neg c_p)) (* (log (+ 1 (exp (neg t)))) (neg c_p))) (+ (* (neg c_p) (log 2)) (* (+ (* (* c_p s) -1/8) (* 1/2 c_p)) s)) (+ (* (* c_p s) -1/8) (* 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 (/ 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)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow 1/2 c_n) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (+ (* (* (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) c_p) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n))) (+ (* (- (log (+ 1 (exp (neg t)))) (log (+ 1 (exp (neg s))))) c_p) 1) (- (log (+ 1 (exp (neg t)))) (log (+ 1 (exp (neg s))))) (- (* (log (+ 1 (exp (neg s)))) (neg c_p)) (* (log (+ 1 (exp (neg t)))) (neg 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))) (exp (- (* (log (+ 1 (exp (neg s)))) (neg c_p)) (* (log (+ 1 (exp (neg t)))) (neg c_p)))) (* (log (+ 1 (exp (neg s)))) (neg c_p)) (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) (log (- 1 (exp (neg (log (+ 1 (exp (neg t)))))))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n)))) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n))) (* (log (+ 1 (exp (neg s)))) (neg c_p)) (log (+ 1 (exp (neg t)))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg s)))) (- (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) (log (- 1 (exp (neg (log (+ 1 (exp (neg t))))))))))

prune23.2s (3.5%)

Memory: 509.4MiB live, 35 570.2MiB allocated
Counts: 125 018 → 6 623
Compiler: Compiled 1 082 177 to 412 004 computations (61.9% saved)

explain22.2s (3.3%)

Memory

-337.9MiB live, 25 024.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1903	0
`+.f64`	`#f`	cancellation	1731	30
`sin.f64`	`#f`	sensitivity	1652	3
`sqrt.f64`	`#f`	oflow-rescue	1370	0
`-.f64`	`#f`	cancellation	1010	8
`-.f64`	`#f`	nan-rescue	656	0
`log.f64`	`#f`	sensitivity	602	2
`/.f64`	`#f`	o/n	498	0
`/.f64`	`#f`	o/o	375	0
`/.f64`	`#f`	u/u	289	0
`*.f64`	`#f`	*no**	237	0
`exp.f64`	`#f`	sensitivity	168	26
`/.f64`	`#f`	u/n	152	0
`sqrt.f64`	`#f`	uflow-rescue	137	0
`/.f64`	`#f`	n/o	113	0
`cbrt.f64`	`#f`	oflow-rescue	100	0
`*.f64`	`#f`	*nu**	95	0
`/.f64`	`#f`	n/u	41	0
`cbrt.f64`	`#f`	uflow-rescue	41	0
`*.f64`	`#f`	*ou**	39	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	5
`*.f64`	`#f`	*uo**	19	0
`pow.f64`	`#f`	uflow-rescue	10	0
`pow.f64`	`#f`	sensitivity	7	1
`log.f64`	`#f`	oflow-rescue	5	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	69
↳	`(exp.f64 b)`	underflow	60

Confusion

	Predicted +	Predicted -
+	5772	71
-	1376	6093

Precision

0.8074986010072748

Recall

0.9878487078555537

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5772	44	27
-	1376	23	6070

Precision?

0.8060984060984061

Recall?

0.9953790860859147

Freqs

test

number	freq
0	6164
1	4725
2	1595
3	357
4	230
5	137
6	69
7	23
8	5
9	5
10	2

Total Confusion?

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

Precision?

0.9347826086956522

Recall?

1.0

Samples

4.4s	7 830×	1	valid
2.4s	16 456×	0	valid
2.2s	2 062×	2	valid
611.0ms	276×	3	valid

Compiler

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

Precisions

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

ival-sin: 1.2s (14.6% of total)

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

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

ival-sqrt: 804.0ms (10.1% of total)

adjust: 802.0ms (10.1% of total)

ival-div: 504.0ms (6.3% of total)

ival-cosu: 478.0ms (6% of total)

ival-pow2: 451.0ms (5.7% of total)

ival-sub: 318.0ms (4% of total)

ival-sinu: 309.0ms (3.9% of total)

ival-add: 274.0ms (3.4% of total)

ival-log: 239.0ms (3% of total)

ival-exp: 223.0ms (2.8% of total)

ival-neg: 140.0ms (1.8% of total)

ival-atan2: 59.0ms (0.7% of total)

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

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

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

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

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

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

analyze20.9s (3.1%)

Memory

-64.8MiB live, 19 784.3MiB 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 963 computations (47.3% saved)

preprocess13.5s (2%)

Memory

201.6MiB live, 14 573.3MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 122 785 to 22 969 computations (81.3% saved)

bsearch11.3s (1.7%)

Memory

178.9MiB live, 12 482.2MiB allocated

Algorithm

266×	binary-search
89×	left-value

Stop Event

260×	narrow-enough
6×	predicate-same

Samples

4.7s	6 716×	1	valid
3.1s	13 016×	0	valid
739.0ms	1 046×	2	valid
74.0ms	38×	3	valid
53.0ms	576×	0	invalid
2.0ms	7×	1	invalid

Compiler

Compiled 231 196 to 135 275 computations (41.5% saved)

Precisions

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

ival-sin: 2.2s (27.7% of total)

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

ival-mult: 900.0ms (11.6% of total)

adjust: 795.0ms (10.2% of total)

ival-pow2: 509.0ms (6.6% of total)

ival-div: 340.0ms (4.4% of total)

ival-sub: 295.0ms (3.8% of total)

ival-sinu: 206.0ms (2.7% of total)

ival-cosu: 169.0ms (2.2% of total)

ival-add: 161.0ms (2.1% of total)

ival-sqrt: 155.0ms (2% of total)

ival-acos: 129.0ms (1.7% of total)

ival-atan2: 113.0ms (1.5% of total)

ival-exp: 52.0ms (0.7% of total)

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

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

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

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

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

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

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

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

ival-hypot: 14.0ms (0.2% of total)

exact: 11.0ms (0.1% of total)

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

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

start3.0ms (0%)

Memory: 6.6MiB live, 6.6MiB allocated

end0.0ms (0%)

Memory: 0.9MiB live, 0.8MiB allocated

sample3.9min (34.9%)

localize1.5min (13.1%)

simplify1.3min (11.4%)

derivations54.0s (8.1%)

rewrite40.5s (6%)

regimes31.4s (4.7%)

eval28.4s (4.2%)

series26.6s (4%)

prune23.2s (3.5%)

explain22.2s (3.3%)

analyze20.9s (3.1%)

preprocess13.5s (2%)

bsearch11.3s (1.7%)

start3.0ms (0%)

end0.0ms (0%)

Profiling