Metrics for Herbie run

Date:	Friday, November 8th, 2024
Commit:	e1f2a9b8 on fix-1030
Hostname:	nightly with Racket 8.10
Seed:	2024313
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 (30.4%)

Memory

622.3MiB live, 200 709.7MiB allocated

Samples

49.5s	108 027×	1	valid
44.6s	295 005×	0	valid
30.9s	14 257×	5	exit
16.9s	23 225×	2	valid
7.6s	3 033×	3	valid
6.6s	34 804×	0	exit
3.4s	20 610×	0	invalid
2.6s	11 032×	1	invalid
399.0ms	3 613×	1	exit
388.0ms	772×	2	invalid
340.0ms	22×	4	valid
5.0ms	2×	4	exit

Precisions

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

ival-pow: 25.8s (18.4% of total)

ival-mult: 16.5s (11.8% of total)

ival-cos: 10.7s (7.6% of total)

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

ival-pow2: 8.9s (6.4% of total)

adjust: 8.9s (6.3% of total)

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

ival-sub: 7.0s (5% of total)

ival-add: 6.8s (4.9% of total)

ival-sinu: 5.9s (4.2% of total)

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

ival-cosu: 5.1s (3.7% of total)

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

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

ival-neg: 2.5s (1.8% of total)

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

const: 1.8s (1.3% of total)

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

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

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

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

exact: 400.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.4min (12.6%)

Memory

1 108.1MiB live, 69 327.1MiB allocated

Algorithm

456×	egg-herbie

Stop Event

608×	iter limit
377×	node limit
79×	saturated

Counts

25 244 → 25 087

localize1.2min (11%)

Memory

-75.2MiB live, 70 389.5MiB allocated

Samples

23.9s	15 156×	1	valid
11.5s	28 122×	0	valid
9.3s	3 788×	2	valid
6.4s	581×	5	exit
1.9s	2 139×	0	invalid
1.1s	321×	3	valid
871.0ms	191×	4	exit
848.0ms	468×	2	exit
780.0ms	442×	1	exit
654.0ms	338×	1	invalid
583.0ms	125×	3	exit
13.0ms	4×	2	invalid
11.0ms	37×	0	exit

Compiler

Compiled 264 265 to 20 177 computations (92.4% saved)

Precisions

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

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

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

ival-cos: 4.9s (10.4% of total)

ival-div: 4.7s (9.9% of total)

adjust: 3.6s (7.6% of total)

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

ival-pow2: 2.0s (4.3% of total)

ival-sub: 1.8s (3.7% of total)

ival-sinu: 1.5s (3.1% of total)

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

const: 1.2s (2.6% of total)

ival-log: 1.1s (2.4% of total)

ival-cosu: 966.0ms (2% of total)

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

ival-exp: 873.0ms (1.8% of total)

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

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

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

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

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

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

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

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

exact: 106.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

soundness1.0min (9.7%)

Memory

-276.7MiB live, 39 197.2MiB allocated

Stop Event

418×	iter limit
285×	node limit
46×	fuel
6×	done

Compiler

Compiled 82 731 to 29 375 computations (64.5% saved)

rewrite46.2s (7.1%)

Memory

-292.0MiB live, 47 156.3MiB allocated

Stop Event

406×	iter limit
201×	node limit
1×	saturated

Counts

3 753 → 138 489

regimes37.2s (5.8%)

Memory

29.0MiB live, 44 507.9MiB allocated

Counts

17 929 → 833

Calls

155 calls:

2.3s	phi1
2.1s	b
2.0s	phi2
1.8s	lambda1
1.6s	a

Compiler

Compiled 18 912 to 15 440 computations (18.4% saved)

eval35.5s (5.5%)

Memory: 172.3MiB live, 45 069.3MiB allocated
Compiler: Compiled 11 846 655 to 768 487 computations (93.5% saved)

prune28.7s (4.4%)

Memory: -554.1MiB live, 42 844.7MiB allocated
Counts: 165 649 → 7 433
Compiler: Compiled 1 098 600 to 428 221 computations (61% saved)

series23.6s (3.6%)

Memory

-43.5MiB live, 27 275.1MiB allocated

Counts

3 753 → 25 244

Calls

1647 calls:

Time	Variable		Point	Expression
357.0ms	angle	@	-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)))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (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 (- (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow a 4) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (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)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) 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)) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/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)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))))))) (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (- (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))) 2) (* (/ (pow (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) 2) (pow (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) 2)) 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 (* y-scale y-scale)) (* (- (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))) 2) (* (/ (pow (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) 2) (pow (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) 2)) 1/4)) (sqrt 8))) (sqrt (/ 1 (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) -1/16) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))))))) 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 (* (* (PI) angle) 1/180)) (neg (* a a)) (sin (* (* (PI) angle) 1/180)))
266.0ms	b	@	-inf	((- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))) (* (/ (pow (* a b) 2) (pow (* y-scale x-scale) 2)) -4) (/ (pow (* a b) 2) (pow (* y-scale x-scale) 2)) (pow (* a b) 2) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* (+ (* -4 (* (* (/ a x-scale) (/ a x-scale)) (+ (/ (pow (sin (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale))))) (* (* -8 (* a a)) (* (/ (pow (sin (* (* (PI) 1/180) angle)) 2) (* (* (* y-scale y-scale) x-scale) x-scale)) (pow (cos (* (* (PI) 1/180) angle)) 2)))) (* b b)) (+ (* -4 (* (* (/ a x-scale) (/ a x-scale)) (+ (/ (pow (sin (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale))))) (* (* -8 (* a a)) (* (/ (pow (sin (* (* (PI) 1/180) angle)) 2) (* (* (* y-scale y-scale) x-scale) x-scale)) (pow (cos (* (* (PI) 1/180) angle)) 2)))) (/ (* -4 (* a a)) (* (* y-scale x-scale) (* y-scale x-scale))) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* -4 (* a a)) (* a a) (* b b) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* -4 a) (* a (/ b (* y-scale y-scale))) (/ b (* y-scale y-scale)) (- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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))) (* (+ (* -4 (* (* (/ a x-scale) (/ a x-scale)) (+ (/ (pow (sin (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale))))) (* (* (* (pow (* (cos (* (* 1/180 angle) (PI))) (sin (* (* 1/180 angle) (PI)))) 2) (pow (* y-scale x-scale) -2)) (* -8 a)) a)) (* b b)) (+ (* -4 (* (* (/ a x-scale) (/ a x-scale)) (+ (/ (pow (sin (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale))))) (* (* (* (pow (* (cos (* (* 1/180 angle) (PI))) (sin (* (* 1/180 angle) (PI)))) 2) (pow (* y-scale x-scale) -2)) (* -8 a)) a)) (* (* (/ a x-scale) (/ a x-scale)) (+ (/ (pow (sin (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) 1/180) angle)) 4) (* y-scale y-scale)))) (pow (* y-scale x-scale) 2) (* (* y-scale x-scale) (* y-scale x-scale)) (* (* -4 (* a a)) (/ (/ (* b b) (* y-scale x-scale)) (* y-scale x-scale))) (/ (* b b) (* y-scale x-scale)) (/ (/ (* b b) (* y-scale x-scale)) (* y-scale x-scale)) (/ (* (* -4 a) (* a (/ b (* y-scale y-scale)))) (* x-scale (/ x-scale b))) (* (* -4 a) (* a (/ b (* y-scale y-scale)))) (sin (* (* 1/180 angle) (PI))) (sin (* (* (PI) 1/180) angle)) (cos (* (* 1/180 angle) (PI))) (cos (* (* (PI) 1/180) angle)))
205.0ms	t	@	-inf	((+ (* 0 (* (log 2) c_p)) (+ (* (+ (* 1/2 c_n) (* -1/2 c_p)) t) (* (+ (* 1/2 c_p) (* -1/2 c_n)) s))) (+ (* 1/2 c_n) (* -1/2 c_p)) (* (+ (* 1/2 c_p) (* -1/2 c_n)) s) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -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 (+ (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 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 1)) (- (+ (* (neg c_p) (log 2)) (+ (* (+ (* 1/2 c_p) (* -1/2 c_n)) s) (* (log 1/2) c_n))) (+ (* (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) c_n) (* (neg c_p) (log (+ 1 (exp (neg t))))))) (+ (* (+ (* 1/2 c_p) (* -1/2 c_n)) s) (* (log 1/2) c_n)) (+ (* (neg c_p) (log 2)) (+ (* (+ (* 1/2 c_p) (* -1/2 c_n)) s) (* (log 1/2) c_n))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n)))) (/ 1 (/ (+ (* (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (- (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (* s (+ (* 1/2 c_p) (* c_n -1/2))))) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 2)) (+ (pow (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) 3) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 3)))) (- (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (* s (+ (* 1/2 c_p) (* c_n -1/2)))) (* s (+ (* 1/2 c_p) (* c_n -1/2))) (+ (pow (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) 3) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 3)) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg c_p) (log 2)) (+ (* (+ (* -1/2 c_n) (* 1/2 c_p)) s) (+ (* c_n (- (log 1/2) (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))))) (* (log (+ 1 (exp (neg t)))) c_p)))) (* (log 2) c_p) (+ (* (+ (* 1/2 c_n) (* -1/2 c_p)) t) (* (+ (* 1/2 c_p) (* -1/2 c_n)) s)) (+ (exp (neg s)) 1) (/ 1 (+ (exp (neg t)) 1)) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (log (+ 1 (exp (neg t)))) (* (log 1/2) c_n) (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) (+ (* (neg c_p) (log 2)) (/ 1 (/ (+ (* (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (- (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (* s (+ (* 1/2 c_p) (* c_n -1/2))))) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 2)) (+ (pow (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) 3) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 3))))) (/ (+ (* (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (- (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) (* s (+ (* 1/2 c_p) (* c_n -1/2))))) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 2)) (+ (pow (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))) c_n) (* (log (+ 1 (exp (neg t)))) c_p)) 3) (pow (* s (+ (* 1/2 c_p) (* c_n -1/2))) 3))) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))))
168.0ms	s	@	-inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (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))) (+ (exp (neg s)) 1) (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 t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ 1 (exp (neg s)))) 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))) (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (exp (neg t)))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (+ 1 (exp (neg s))) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (+ 1 (exp (neg s))) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
155.0ms	h	@	inf	((/ 1 (* 2 a)) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (- (* g g) (* h h)) (+ (/ (cbrt (- (sqrt (* (- g h) (+ h g))) g)) (cbrt (* a 2))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (+ (neg g) (sqrt (- (* g g) (* h h)))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (- (* g -1/2) (* (sqrt (* (- g h) (+ h g))) 1/2)) (* (sqrt (sqrt (* (- g h) (+ h g)))) (sqrt (sqrt (* (- g h) (+ h g))))) (+ (neg g) (* (sqrt (sqrt (* (- g h) (+ h g)))) (sqrt (sqrt (* (- g h) (+ h g)))))) (+ (/ (cbrt (+ (* (- g h) (+ h g)) (* g g))) (cbrt (* (* (- (sqrt (* (- g h) (+ h g))) g) a) 2))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (sqrt (* (- g h) (+ h g))) (sqrt (- (* g g) (* h h))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (- (sqrt (* (- g h) (+ h g))) g)) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (/ (- (* g -1/2) (* (sqrt (* (- g h) (+ h g))) 1/2)) a)) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (* (sqrt (sqrt (* (- g h) (+ h g)))) (sqrt (sqrt (* (- g h) (+ h g)))))))) (cbrt (+ (* (- g h) (+ h g)) (* g g))))

explain23.5s (3.6%)

Memory

-394.9MiB live, 26 869.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1938	0
`+.f64`	`#f`	cancellation	1728	30
`sin.f64`	`#f`	sensitivity	1661	1
`sqrt.f64`	`#f`	oflow-rescue	1345	0
`-.f64`	`#f`	cancellation	887	13
`-.f64`	`#f`	nan-rescue	649	0
`log.f64`	`#f`	sensitivity	587	1
`/.f64`	`#f`	o/n	486	0
`/.f64`	`#f`	o/o	388	0
`/.f64`	`#f`	u/u	291	0
`*.f64`	`#f`	*no**	276	0
`exp.f64`	`#f`	sensitivity	164	22
`/.f64`	`#f`	u/n	153	0
`sqrt.f64`	`#f`	uflow-rescue	153	0
`/.f64`	`#f`	n/o	115	0
`*.f64`	`#f`	*nu**	76	0
`cbrt.f64`	`#f`	oflow-rescue	59	0
`/.f64`	`#f`	n/u	47	0
`cbrt.f64`	`#f`	uflow-rescue	39	0
`*.f64`	`#f`	*ou**	36	0
`*.f64`	`#f`	*uo**	29	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	22	2
`pow.f64`	`#f`	sensitivity	6	4
`log.f64`	`#f`	oflow-rescue	6	0
`pow.f64`	`#f`	uflow-rescue	5	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	62
↳	`(exp.f64 b)`	underflow	59

Confusion

	Predicted +	Predicted -
+	5738	73
-	1334	6167

Precision

0.811368778280543

Recall

0.9874376183101016

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5738	38	35
-	1334	29	6138

Precision?

0.8090769015268244

Recall?

0.9939769402856651

Freqs

test

number	freq
0	6240
1	4674
2	1565
3	344
4	257
5	148
6	58
7	18
8	4
9	3
10	1

Total Confusion?

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

Precision?

0.9347826086956522

Recall?

1.0

Samples

3.9s	6 914×	1	valid
2.7s	17 416×	0	valid
2.3s	1 978×	2	valid
583.0ms	316×	3	valid

Compiler

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

Precisions

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

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

ival-mult: 922.0ms (12.3% of total)

ival-div: 862.0ms (11.5% of total)

ival-cos: 749.0ms (10% of total)

ival-sub: 480.0ms (6.4% of total)

ival-pow2: 479.0ms (6.4% of total)

ival-exp: 449.0ms (6% of total)

adjust: 389.0ms (5.2% of total)

ival-cosu: 351.0ms (4.7% of total)

ival-add: 336.0ms (4.5% of total)

ival-sinu: 333.0ms (4.5% of total)

ival-log: 258.0ms (3.4% of total)

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

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

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

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

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

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

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

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

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

analyze18.0s (2.8%)

Memory

211.4MiB live, 19 005.7MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 964 computations (47.2% saved)

preprocess13.7s (2.1%)

Memory

244.8MiB live, 11 811.2MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 115 307 to 22 326 computations (80.6% saved)

bsearch9.0s (1.4%)

Memory

-160.4MiB live, 9 964.9MiB allocated

Algorithm

251×	binary-search
105×	left-value

Stop Event

245×	narrow-enough
6×	predicate-same

Samples

3.4s	4 873×	1	valid
2.5s	13 196×	0	valid
796.0ms	629×	2	valid
109.0ms	70×	3	valid
67.0ms	678×	0	invalid
1.0ms	28×	0	exit

Compiler

Compiled 212 545 to 119 401 computations (43.8% saved)

Precisions

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

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

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

ival-cos: 1.0s (17.4% of total)

ival-div: 599.0ms (10% of total)

ival-pow2: 367.0ms (6.1% of total)

adjust: 270.0ms (4.5% of total)

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

ival-add: 238.0ms (4% of total)

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

ival-sqrt: 181.0ms (3% of total)

ival-cosu: 156.0ms (2.6% of total)

ival-atan2: 75.0ms (1.3% of total)

ival-acos: 58.0ms (1% of total)

ival-hypot: 52.0ms (0.9% of total)

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

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

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

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

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

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

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

exact: 10.0ms (0.2% of total)

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

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

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

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

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

start2.0ms (0%)

Memory: 5.2MiB live, 5.1MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated

sample3.3min (30.4%)

simplify1.4min (12.6%)

localize1.2min (11%)

soundness1.0min (9.7%)

rewrite46.2s (7.1%)

regimes37.2s (5.8%)

eval35.5s (5.5%)

prune28.7s (4.4%)

series23.6s (3.6%)

explain23.5s (3.6%)

analyze18.0s (2.8%)

preprocess13.7s (2.1%)

bsearch9.0s (1.4%)

start2.0ms (0%)

end0.0ms (0%)

Profiling