Metrics for Herbie run

Date:	Wednesday, October 9th, 2024
Commit:	b5a8073d on reorg-report-page
Hostname:	nightly with Racket 8.10
Seed:	2024283
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 (28.6%)

Memory

-172.3MiB live, 225 852.2MiB allocated

Samples

52.4s	108 429×	1	valid
43.7s	294 170×	0	valid
31.4s	14 297×	5	exit
17.3s	23 624×	2	valid
8.1s	3 070×	3	valid
6.4s	34 674×	0	exit
3.3s	20 799×	0	invalid
3.1s	11 159×	1	invalid
391.0ms	3 556×	1	exit
304.0ms	809×	2	invalid
74.0ms	19×	4	valid
4.0ms	2×	4	exit

Precisions

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

ival-pow: 26.1s (18.3% of total)

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

ival-cos: 11.3s (7.9% of total)

ival-div: 10.7s (7.5% of total)

adjust: 9.4s (6.6% of total)

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

ival-pow2: 7.6s (5.3% of total)

ival-sub: 6.8s (4.8% of total)

ival-exp: 6.5s (4.6% of total)

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

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

ival-cosu: 5.6s (3.9% of total)

ival-log: 5.0s (3.5% of total)

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

ival-neg: 2.6s (1.9% of total)

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

const: 1.6s (1.1% of total)

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

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

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

ival-acos: 517.0ms (0.4% of total)

exact: 392.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.4min (12.2%)

Memory

863.4MiB live, 92 281.1MiB allocated

Algorithm

454×	egg-herbie

Stop Event

603×	iter limit
319×	node limit
135×	saturated

Counts

98 880 → 98 183

localize1.1min (9.4%)

Memory

-232.0MiB live, 83 553.6MiB allocated

Samples

22.0s	14 248×	1	valid
10.3s	29 320×	0	valid
8.7s	3 673×	2	valid
6.3s	485×	5	exit
1.5s	168×	4	exit
1.3s	1 859×	0	invalid
996.0ms	424×	1	invalid
759.0ms	272×	3	valid
657.0ms	428×	1	exit
623.0ms	364×	2	exit
115.0ms	206×	0	exit
75.0ms	5×	3	exit
4.0ms	4×	4	valid

Compiler

Compiled 268 972 to 20 254 computations (92.5% saved)

Precisions

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

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

ival-sin: 6.1s (14% of total)

ival-cos: 5.6s (12.8% of total)

ival-div: 4.0s (9.2% of total)

adjust: 3.5s (8.1% of total)

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

const: 1.8s (4.2% of total)

ival-pow2: 1.7s (3.8% of total)

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

ival-sub: 1.3s (3.1% of total)

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

ival-sinu: 1.0s (2.4% of total)

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

ival-cosu: 806.0ms (1.8% of total)

ival-exp: 642.0ms (1.5% of total)

ival-atan2: 451.0ms (1% of total)

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

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

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

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

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

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

exact: 104.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

soundness59.6s (8.4%)

Memory

239.1MiB live, 41 659.4MiB allocated

Stop Event

403×	iter limit
272×	node limit
44×	fuel
8×	done

Compiler

Compiled 92 398 to 32 214 computations (65.1% saved)

eval59.5s (8.4%)

Memory: 690.3MiB live, 79 713.6MiB allocated
Compiler: Compiled 21 858 056 to 809 284 computations (96.3% saved)

prune48.5s (6.9%)

Memory: -849.5MiB live, 82 001.9MiB allocated
Counts: 287 491 → 8 132
Compiler: Compiled 1 173 866 to 454 885 computations (61.2% saved)

rewrite47.3s (6.7%)

Memory

563.3MiB live, 54 250.7MiB allocated

Stop Event

408×	iter limit
199×	node limit
1×	saturated
1×	unsound

Counts

3 618 → 134 724

regimes45.9s (6.5%)

Memory

31.3MiB live, 58 108.1MiB allocated

Counts

23 168 → 936

Calls

155 calls:

2.5s	a
2.5s	phi1
2.4s	phi2
2.3s	b
2.1s	lambda1

Compiler

Compiled 21 024 to 16 210 computations (22.9% saved)

series25.2s (3.6%)

Memory

-325.2MiB live, 33 997.1MiB allocated

Counts

3 618 → 98 880

Calls

1653 calls:

Time	Variable		Point	Expression
304.0ms	phi1	@	0	((* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* 1/2 phi2)) (- lambda1 lambda2)) (* (cos (* 1/2 phi2)) (- lambda1 lambda2))) (* phi2 phi2))) (* (cos (* 1/2 phi2)) (- lambda1 lambda2)) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (neg phi1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* 1/2 phi1)) (- lambda1 lambda2)) (* (cos (* 1/2 phi1)) (- lambda1 lambda2))) (* phi1 phi1))) (* (cos (* 1/2 phi1)) lambda1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (* (neg lambda1) (cos (* (+ phi2 phi1) 1/2))) (neg lambda1) (+ (* (* 1/2 R) (* (* lambda2 phi1) (sin (* 1/2 phi2)))) (* (* (neg lambda2) R) (cos (* 1/2 phi2)))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg (* R lambda2)) (cos (* (+ phi2 phi1) 1/2))) (* 1/2 R) (cos (* 1/2 phi2)) (cos (* (+ phi2 phi1) 1/2)) (* (* lambda2 phi1) (sin (* 1/2 phi2))))
296.0ms	x-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))) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (* (+ (pow (* (cos (* 1/180 (* (PI) angle))) a) 2) (pow (* (sin (* 1/180 (* (PI) angle))) b) 2)) 2))) (* 1/4 (* (sqrt 8) x-scale)) (* (sqrt 8) x-scale) (* 1/4 (* b (* y-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))) (* b (* y-scale 4)) (* y-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 (* (sqrt 8) x-scale)) (sqrt (* 2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))) (* -1/4 (* b (* x-scale (* (sin (* 1/180 (* angle (PI)))) (* (sqrt 2) (sqrt 8)))))) (* b (* x-scale (* (sin (* 1/180 (* angle (PI)))) (* (sqrt 2) (sqrt 8))))) (exp (* (log 2) 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))) (* (* 1/4 b) (* (* y-scale (exp (* (log 2) 1/2))) (sqrt 8))) (* 1/4 b) (exp (* (log (* (+ (pow (* (cos (* 1/180 (* (PI) angle))) a) 2) (pow (* (sin (* 1/180 (* (PI) angle))) b) 2)) 2)) 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))) (* (* 1/4 (* (sqrt 8) x-scale)) (exp (* (log (* (+ (pow (* (cos (* 1/180 (* (PI) angle))) a) 2) (pow (* (sin (* 1/180 (* (PI) angle))) b) 2)) 2)) 1/2))) (sqrt (* (+ (pow (* (cos (* 1/180 (* (PI) angle))) a) 2) (pow (* (sin (* 1/180 (* (PI) angle))) b) 2)) 2)) (sin (* 1/180 (* (PI) angle))) (cos (* 1/180 (* (PI) angle))) (sin (* 1/180 (* angle (PI)))) (* (* y-scale (exp (* (log 2) 1/2))) (sqrt 8)) (* y-scale (exp (* (log 2) 1/2))) (log (* (+ (pow (* (cos (* 1/180 (* (PI) angle))) a) 2) (pow (* (sin (* 1/180 (* (PI) angle))) b) 2)) 2)))
261.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 t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (* -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 (+ (exp (neg t)) 1) (* -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 (+ (exp (neg s)) 1) (* -1 c_p)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (+ (exp (neg s)) 1) (* -1 c_p)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (log (+ 1 (exp (neg t)))) (pow (+ (exp (neg t)) 1) (* -1 c_p)))
194.0ms	lambda2	@	-inf	((+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* R (* 2 (atan2 (sqrt (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- phi1 phi2) 2)) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (pow (sin (/ (- phi1 phi2) 2)) 2) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sin (* (- lambda1 lambda2) 1/2)) (/ (- phi1 phi2) 2) (sin (/ (- phi1 phi2) 2)) (sin (/ (- lambda1 lambda2) 2)) (- 1 (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))
166.0ms	x-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))) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (* 2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))) (* 1/4 (* (sqrt 8) x-scale)) (* (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 (* 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) (* (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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)) (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))) (/ 1 (* 2 (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) 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))) (* (+ (* (/ (* (* (* (sqrt 8) y-scale) (+ (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)))) 1/2) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2))))) (sqrt (/ 1 (* 2 (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))))) (* x-scale x-scale)) 1/8) (* (* 1/4 (* (sqrt 8) y-scale)) (sqrt (* 2 (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))))) x-scale) (sqrt (* 2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))))) (sin (* (* (PI) angle) 1/180)) (cos (* (* (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) (* (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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)) (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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) (* (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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))) (+ (* (* (- (+ (* (* (/ (* a a) x-scale) (/ (* (PI) (PI)) x-scale)) 1/32400) (* (* (/ (* b b) x-scale) (/ (* (PI) (PI)) 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)) (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))))) (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale))))))

explain21.4s (3%)

Memory

-23.6MiB live, 29 836.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1888	1
`+.f64`	`#f`	cancellation	1717	32
`sin.f64`	`#f`	sensitivity	1643	1
`sqrt.f64`	`#f`	oflow-rescue	1389	0
`-.f64`	`#f`	cancellation	920	15
`-.f64`	`#f`	nan-rescue	643	0
`log.f64`	`#f`	sensitivity	569	1
`/.f64`	`#f`	o/n	496	0
`/.f64`	`#f`	o/o	375	0
`/.f64`	`#f`	u/u	284	0
`*.f64`	`#f`	*no**	258	0
`exp.f64`	`#f`	sensitivity	163	16
`sqrt.f64`	`#f`	uflow-rescue	140	0
`/.f64`	`#f`	u/n	131	0
`/.f64`	`#f`	n/o	126	0
`cbrt.f64`	`#f`	oflow-rescue	87	0
`*.f64`	`#f`	*nu**	74	0
`cbrt.f64`	`#f`	uflow-rescue	42	0
`*.f64`	`#f`	*ou**	34	0
`/.f64`	`#f`	n/u	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	23	2
`*.f64`	`#f`	*uo**	23	0
`pow.f64`	`#f`	uflow-rescue	5	0
`log.f64`	`#f`	oflow-rescue	5	0
`pow.f64`	`#f`	sensitivity	4	1
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	3	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	3
↳	`(exp.f64 a)`	underflow	53
↳	`(exp.f64 b)`	underflow	64

Confusion

	Predicted +	Predicted -
+	5655	58
-	1352	6247

Precision

0.8070500927643784

Recall

0.9898477157360406

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5655	25	33
-	1352	33	6214

Precision?

0.8039631988676574

Recall?

0.9942237003325748

Freqs

test

number	freq
0	6305
1	4622
2	1582
3	325
4	238
5	132
6	65
7	35
8	6
9	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	0
-	3	0	6

Precision?

0.9347826086956522

Recall?

1.0

Samples

3.4s	6 958×	1	valid
2.7s	17 524×	0	valid
2.0s	1 878×	2	valid
644.0ms	264×	3	valid

Compiler

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

Precisions

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

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

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

ival-cos: 782.0ms (11.7% of total)

ival-pow2: 543.0ms (8.2% of total)

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

adjust: 425.0ms (6.4% of total)

ival-sub: 324.0ms (4.9% of total)

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

ival-sinu: 291.0ms (4.4% of total)

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

ival-exp: 267.0ms (4% of total)

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

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

ival-atan2: 79.0ms (1.2% of total)

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

ival-pow: 53.0ms (0.8% of total)

ival-tan: 48.0ms (0.7% of total)

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

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

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

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

analyze17.0s (2.4%)

Memory

336.2MiB live, 20 029.0MiB 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)

preprocess15.6s (2.2%)

Memory

57.8MiB live, 15 434.5MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 158 833 to 34 034 computations (78.6% saved)

bsearch12.1s (1.7%)

Memory

162.2MiB live, 15 894.4MiB allocated

Algorithm

272×	binary-search
154×	left-value

Stop Event

260×	narrow-enough
12×	predicate-same

Samples

4.1s	5 563×	1	valid
2.9s	13 399×	0	valid
2.2s	1 977×	5	exit
217.0ms	415×	2	valid
41.0ms	386×	0	invalid
26.0ms	15×	3	valid
1.0ms	23×	0	exit

Compiler

Compiled 214 357 to 123 858 computations (42.2% saved)

Precisions

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

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

ival-sin: 1.4s (17.4% of total)

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

adjust: 914.0ms (11% of total)

ival-div: 634.0ms (7.6% of total)

ival-pow: 555.0ms (6.7% of total)

ival-sub: 449.0ms (5.4% of total)

ival-pow2: 384.0ms (4.6% of total)

ival-add: 255.0ms (3.1% of total)

ival-exp: 243.0ms (2.9% of total)

ival-atan2: 144.0ms (1.7% of total)

ival-sinu: 133.0ms (1.6% of total)

ival-cosu: 115.0ms (1.4% of total)

ival-sqrt: 95.0ms (1.1% of total)

ival-tan: 74.0ms (0.9% of total)

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

ival-atan: 58.0ms (0.7% of total)

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

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

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

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

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

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

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

exact: 10.0ms (0.1% of total)

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

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

start2.0ms (0%)

Memory: 5.7MiB live, 5.7MiB allocated

end0.0ms (0%)

Memory: 0.9MiB live, 0.8MiB allocated

sample3.4min (28.6%)

simplify1.4min (12.2%)

localize1.1min (9.4%)

soundness59.6s (8.4%)

eval59.5s (8.4%)

prune48.5s (6.9%)

rewrite47.3s (6.7%)

regimes45.9s (6.5%)

series25.2s (3.6%)

explain21.4s (3%)

analyze17.0s (2.4%)

preprocess15.6s (2.2%)

bsearch12.1s (1.7%)

start2.0ms (0%)

end0.0ms (0%)

Profiling