Metrics for Herbie run

Date:	Friday, November 22nd, 2024
Commit:	a938fc34 on zane-issue-1058
Hostname:	nightly with Racket 8.10
Seed:	2024327
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.4min (32%)

Memory

444.5MiB live, 198 192.1MiB allocated

Samples

51.4s	108 276×	1	valid
45.0s	294 763×	0	valid
33.4s	14 669×	5	exit
16.7s	23 231×	2	valid
7.4s	3 015×	3	valid
6.5s	34 990×	0	exit
3.5s	11 190×	1	invalid
3.3s	20 967×	0	invalid
374.0ms	814×	2	invalid
340.0ms	3 591×	1	exit
197.0ms	27×	4	valid
84.0ms	1×	4	exit
1.0ms	1×	2	exit

Precisions

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

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

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

ival-cos: 11.4s (7.8% of total)

ival-div: 11.3s (7.8% of total)

adjust: 10.1s (6.9% of total)

ival-pow2: 8.1s (5.6% of total)

ival-sin: 8.0s (5.5% of total)

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

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

ival-exp: 6.2s (4.3% of total)

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

ival-sinu: 5.2s (3.6% of total)

ival-log: 4.8s (3.3% of total)

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

ival-neg: 2.3s (1.6% of total)

const: 1.6s (1.1% of total)

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

ival-atan2: 1.1s (0.8% of total)

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

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

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

exact: 399.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.3min (12.2%)

Memory

543.7MiB live, 64 736.2MiB allocated

Algorithm

452×	egg-herbie

Stop Event

600×	iter limit
367×	node limit
85×	saturated

Counts

23 953 → 23 801

localize1.1min (10.4%)

Memory

353.3MiB live, 67 922.3MiB allocated

Samples

22.0s	15 178×	1	valid
10.6s	28 233×	0	valid
8.7s	3 750×	2	valid
6.2s	555×	5	exit
1.8s	649×	2	exit
1.4s	146×	4	exit
981.0ms	312×	3	valid
945.0ms	1 601×	0	invalid
671.0ms	260×	1	invalid
480.0ms	470×	1	exit
112.0ms	32×	3	exit
47.0ms	6×	4	valid
27.0ms	8×	2	invalid

Compiler

Compiled 114 482 to 9 335 computations (91.8% saved)

Precisions

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

ival-mult: 9.4s (21% of total)

ival-sin: 6.8s (15.2% of total)

ival-cos: 4.5s (10.2% of total)

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

adjust: 3.7s (8.2% of total)

ival-add: 2.6s (5.9% of total)

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

ival-pow: 1.8s (4% of total)

ival-sub: 1.5s (3.3% of total)

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

const: 1.0s (2.3% of total)

ival-sqrt: 966.0ms (2.2% of total)

ival-exp: 957.0ms (2.1% of total)

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

ival-neg: 641.0ms (1.4% of total)

ival-log: 625.0ms (1.4% of total)

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

ival-log1p: 298.0ms (0.7% of total)

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

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

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

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

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

exact: 107.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

soundness1.0min (9.8%)

Memory

260.7MiB live, 41 136.6MiB allocated

Stop Event

420×	iter limit
281×	node limit
43×	fuel
9×	done

Compiler

Compiled 97 041 to 33 159 computations (65.8% saved)

rewrite44.8s (7%)

Memory

-275.7MiB live, 43 936.4MiB allocated

Stop Event

406×	iter limit
199×	node limit
1×	saturated

Counts

3 688 → 133 642

regimes35.6s (5.6%)

Memory

47.2MiB live, 42 496.2MiB allocated

Counts

19 400 → 901

Calls

155 calls:

2.8s	b
2.1s	a
2.1s	phi1
1.9s	phi2
1.6s	lambda1

Compiler

Compiled 18 857 to 15 012 computations (20.4% saved)

eval33.1s (5.2%)

Memory: 355.9MiB live, 41 241.3MiB allocated
Compiler: Compiled 10 467 034 to 715 171 computations (93.2% saved)

prune27.5s (4.3%)

Memory: -563.2MiB live, 37 239.7MiB allocated
Counts: 157 511 → 7 373
Compiler: Compiled 1 057 145 to 418 091 computations (60.5% saved)

series22.3s (3.5%)

Memory

65.7MiB live, 25 850.4MiB allocated

Counts

3 688 → 23 953

Calls

1638 calls:

Time	Variable		Point	Expression
255.0ms	R	@	0	((* (pow (+ (pow (- phi1 phi2) 2) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)) 1/4) (* (pow (+ (pow (- phi1 phi2) 2) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)) 1/4) R)) (pow (+ (pow (- phi1 phi2) 2) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)) 1/4) (+ (pow (- phi1 phi2) 2) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)) (pow (- phi1 phi2) 2) (* 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) (- 1 (/ phi2 phi1))) (- phi2 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 phi2)) (- lambda1 lambda2)) (* (cos (* 1/2 phi2)) (- lambda1 lambda2))) (* phi2 phi2))) (* (cos (* 1/2 phi2)) lambda1) (+ (* (* -1/8 (* phi2 phi2)) (- lambda1 lambda2)) (- 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)))) (sqrt (+ (* (* (cos (* 1/2 phi2)) (- lambda1 lambda2)) (* (cos (* 1/2 phi2)) (- lambda1 lambda2))) (* phi2 phi2))) (+ (* (neg R) (/ (cos (* 1/2 (+ phi2 phi1))) lambda1)) (* R (/ (cos (* 1/2 (+ phi2 phi1))) lambda2))) (* (+ (* (neg R) (/ (cos (* 1/2 (+ phi2 phi1))) lambda1)) (* R (/ (cos (* 1/2 (+ phi2 phi1))) lambda2))) lambda2) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg lambda1) (+ (* (cos (* 1/2 (+ phi2 phi1))) R) (/ (* (* (neg lambda2) (cos (* 1/2 (+ phi2 phi1)))) R) lambda1))) (cos (* (+ phi2 phi1) -1/2)) (* (pow (+ (pow (- phi1 phi2) 2) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)) 1/4) R) (* (cos (* 1/2 phi2)) (- lambda1 lambda2)) (cos (* 1/2 (+ phi2 phi1))))
199.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))) (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)))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) 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)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (log (+ 1 (exp (neg t)))) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (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))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (/ 1 (+ 1 (exp (neg t)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
160.0ms	F	@	0	((sqrt (+ (pow (- A C) 2) (pow B 2))) (- (pow B 2) (* (* 4 A) C)) (+ (pow (- A C) 2) (pow B 2)) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))
150.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 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg t))))))
129.0ms	y-scale	@	0	((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (/ (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))) (* 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)))))) (/ (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) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (* (* (* (sqrt 8) y-scale) x-scale) b) (+ (* (/ (* 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)))) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 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 (- (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) 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)))))) (/ (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)))) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))))))) (* 1/4 (* (sqrt 8) y-scale)) (* (sqrt 8) 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)) (sin (* (* (PI) angle) 1/180)) (neg (* a a)))

explain22.2s (3.5%)

Memory

-136.2MiB live, 24 680.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1847	2
`+.f64`	`#f`	cancellation	1736	31
`sin.f64`	`#f`	sensitivity	1584	5
`sqrt.f64`	`#f`	oflow-rescue	1371	0
`-.f64`	`#f`	cancellation	922	7
`-.f64`	`#f`	nan-rescue	687	0
`log.f64`	`#f`	sensitivity	568	0
`/.f64`	`#f`	o/n	502	0
`/.f64`	`#f`	o/o	387	0
`*.f64`	`#f`	*no**	280	0
`/.f64`	`#f`	u/u	262	0
`exp.f64`	`#f`	sensitivity	164	25
`/.f64`	`#f`	u/n	155	0
`sqrt.f64`	`#f`	uflow-rescue	149	0
`/.f64`	`#f`	n/o	103	0
`cbrt.f64`	`#f`	oflow-rescue	83	0
`*.f64`	`#f`	*nu**	76	0
`cbrt.f64`	`#f`	uflow-rescue	48	0
`*.f64`	`#f`	*uo**	40	0
`/.f64`	`#f`	n/u	29	0
`*.f64`	`#f`	*ou**	27	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	16	3
`pow.f64`	`#f`	sensitivity	12	3
`pow.f64`	`#f`	uflow-rescue	9	0
`log.f64`	`#f`	oflow-rescue	3	0
`asin.f64`	`(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))`	sensitivity	1	2
`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	74
↳	`(exp.f64 b)`	underflow	55

Confusion

	Predicted +	Predicted -
+	5718	72
-	1303	6219

Precision

0.8144139011536818

Recall

0.9875647668393782

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5718	41	31
-	1303	24	6195

Precision?

0.8127293254304262

Recall?

0.9946459412780656

Freqs

test

number	freq
0	6291
1	4653
2	1532
3	363
4	248
5	134
6	57
7	23
8	8
9	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	0
-	2	0	8

Precision?

0.9545454545454546

Recall?

1.0

Samples

3.7s	7 098×	1	valid
2.8s	17 350×	0	valid
1.9s	1 888×	2	valid
595.0ms	282×	3	valid
50.0ms	6×	4	valid

Compiler

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

Precisions

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

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

ival-mult: 981.0ms (13.7% of total)

ival-cos: 785.0ms (11% of total)

ival-div: 566.0ms (7.9% of total)

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

ival-exp: 470.0ms (6.6% of total)

adjust: 420.0ms (5.9% of total)

ival-cosu: 377.0ms (5.3% of total)

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

ival-sinu: 331.0ms (4.6% of total)

ival-add: 308.0ms (4.3% of total)

ival-log: 298.0ms (4.2% of total)

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

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

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

ival-pow: 67.0ms (0.9% of total)

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

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

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

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

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

analyze17.3s (2.7%)

Memory

-27.9MiB live, 18 525.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 963 computations (47.3% saved)

preprocess13.8s (2.2%)

Memory

-146.0MiB live, 11 993.1MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 128 997 to 22 823 computations (82.3% saved)

bsearch9.9s (1.6%)

Memory

52.5MiB live, 10 660.0MiB allocated

Algorithm

275×	binary-search
125×	left-value

Stop Event

270×	narrow-enough
5×	predicate-same

Samples

4.4s	5 323×	1	valid
2.4s	11 629×	0	valid
634.0ms	769×	2	valid
177.0ms	87×	3	valid
51.0ms	566×	0	invalid

Compiler

Compiled 260 581 to 136 507 computations (47.6% saved)

Precisions

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

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

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

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

ival-pow2: 441.0ms (6.5% of total)

ival-add: 377.0ms (5.6% of total)

adjust: 349.0ms (5.2% of total)

ival-div: 337.0ms (5% of total)

ival-sub: 288.0ms (4.3% of total)

ival-cosu: 284.0ms (4.2% of total)

ival-sinu: 268.0ms (4% of total)

ival-log: 260.0ms (3.8% of total)

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

ival-sqrt: 105.0ms (1.6% of total)

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

ival-asin: 47.0ms (0.7% of total)

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

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

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

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

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

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

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

exact: 10.0ms (0.1% of total)

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

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

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

start2.0ms (0%)

Memory: 5.2MiB live, 5.2MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample3.4min (32%)

simplify1.3min (12.2%)

localize1.1min (10.4%)

soundness1.0min (9.8%)

rewrite44.8s (7%)

regimes35.6s (5.6%)

eval33.1s (5.2%)

prune27.5s (4.3%)

series22.3s (3.5%)

explain22.2s (3.5%)

analyze17.3s (2.7%)

preprocess13.8s (2.2%)

bsearch9.9s (1.6%)

start2.0ms (0%)

end0.0ms (0%)

Profiling