Metrics for Herbie run

Date:	Tuesday, January 21st, 2025
Commit:	10c82be6 on refactor-egg-herbie
Seed:	2025021
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	652 753.3 MB

sample3.9min (39%)

Memory

1 584.4MiB live, 238 853.4MiB allocated; 1.1min collecting garbage

Samples

60.0s	119 901×	1	valid
50.4s	17 838×	5	exit
43.3s	281 525×	0	valid
17.7s	24 750×	2	valid
7.8s	3 119×	3	valid
6.9s	34 238×	0	exit
3.2s	19 828×	0	invalid
3.0s	12 372×	1	invalid
550.0ms	825×	2	invalid
100.0ms	17×	4	valid
21.0ms	34×	1	exit

Precisions

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

ival-pow: 41.2s (24.6% of total)

ival-mult: 18.5s (11% of total)

adjust: 16.1s (9.6% of total)

ival-div: 11.7s (7% of total)

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

ival-sin: 10.5s (6.3% of total)

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

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

ival-sub: 6.4s (3.9% of total)

ival-add: 6.4s (3.8% of total)

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

ival-sinu: 5.0s (3% of total)

ival-log: 4.2s (2.5% of total)

ival-sqrt: 3.6s (2.1% of total)

const: 2.6s (1.5% of total)

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

ival-<: 1.7s (1% of total)

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

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

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

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

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

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

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

exact: 400.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.3min (13.2%)

Memory

938.2MiB live, 81 547.4MiB allocated; 18.1s collecting garbage

Stop Event

591×	iter limit
421×	node limit
19×	saturated
2×	unsound

Counts

29 440 → 29 440

localize1.2min (11.6%)

Memory

-205.4MiB live, 78 780.1MiB allocated; 17.0s collecting garbage

Samples

24.6s	16 252×	1	valid
10.6s	26 121×	0	valid
10.5s	781×	5	exit
8.7s	3 641×	2	valid
1.9s	295×	3	valid
1.6s	2 791×	0	invalid
120.0ms	5×	4	exit
37.0ms	4×	2	exit
36.0ms	27×	1	invalid
29.0ms	2×	3	exit
1.0ms	1×	0	exit

Compiler

Compiled 116 661 to 9 016 computations (92.3% saved)

Precisions

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

ival-mult: 10.2s (20.9% of total)

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

adjust: 6.1s (12.4% of total)

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

ival-div: 4.2s (8.6% of total)

ival-add: 2.4s (5% of total)

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

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

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

ival-exp: 1.6s (3.3% of total)

const: 1.1s (2.3% of total)

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

ival-sinu: 690.0ms (1.4% of total)

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

ival-cosu: 619.0ms (1.3% of total)

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

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

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

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

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

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

exact: 116.0ms (0.2% of total)

ival-tan: 115.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

ival-asin: 14.0ms (0% of total)

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

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

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

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

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

regimes34.7s (5.9%)

Memory

-89.3MiB live, 39 999.8MiB allocated; 9.8s collecting garbage

Counts

19 258 → 907

Calls

155 calls:

2.0s	c
2.0s	(-.f64 lambda1 lambda2)
1.9s	a
1.7s	b
1.6s	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

Compiler

Compiled 18 228 to 14 693 computations (19.4% saved)

series26.2s (4.4%)

Memory

-88.0MiB live, 31 014.2MiB allocated; 6.4s collecting garbage

Counts

3 543 → 29 440

Calls

1614 calls:

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

rewrite24.6s (4.1%)

Memory

175.7MiB live, 25 866.9MiB allocated; 4.5s collecting garbage

Stop Event

570×	iter limit
158×	node limit
33×	unsound
4×	saturated

Counts

3 543 → 54 803

prune23.6s (4%)

Memory: -61.6MiB live, 38 997.4MiB allocated; 4.8s collecting garbage
Counts: 91 089 → 6 442
Compiler: Compiled 1 055 927 to 400 213 computations (62.1% saved)

derivations20.9s (3.5%)

Memory

-129.7MiB live, 16 673.9MiB allocated; 2.6s collecting garbage

Stop Event

42×	fuel
10×	done

Compiler

Compiled 48 523 to 5 916 computations (87.8% saved)

eval20.7s (3.5%)

Memory: -162.4MiB live, 26 337.4MiB allocated; 7.7s collecting garbage
Compiler: Compiled 9 071 012 to 471 000 computations (94.8% saved)

explain20.6s (3.5%)

Memory

-248.8MiB live, 25 969.0MiB allocated; 3.3s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1892	2
`+.f64`	`#f`	cancellation	1703	44
`sin.f64`	`#f`	sensitivity	1622	0
`sqrt.f64`	`#f`	oflow-rescue	1404	0
`-.f64`	`#f`	cancellation	949	11
`-.f64`	`#f`	nan-rescue	666	0
`log.f64`	`#f`	sensitivity	592	2
`/.f64`	`#f`	o/n	480	0
`/.f64`	`#f`	o/o	389	0
`/.f64`	`#f`	u/u	281	0
`*.f64`	`#f`	*no**	262	0
`exp.f64`	`#f`	sensitivity	163	34
`/.f64`	`#f`	u/n	151	0
`sqrt.f64`	`#f`	uflow-rescue	147	0
`/.f64`	`#f`	n/o	134	0
`*.f64`	`#f`	*nu**	84	0
`cbrt.f64`	`#f`	oflow-rescue	77	0
`*.f64`	`#f`	*uo**	43	0
`/.f64`	`#f`	n/u	37	0
`cbrt.f64`	`#f`	uflow-rescue	27	0
`*.f64`	`#f`	*ou**	26	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	19	2
`pow.f64`	`#f`	uflow-rescue	11	0
`log.f64`	`#f`	oflow-rescue	6	0
`pow.f64`	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`	sensitivity	3	0
`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	62
↳	`(exp.f64 b)`	underflow	63

Confusion

	Predicted +	Predicted -
+	5832	72
-	1279	6129

Precision

0.820137814653354

Recall

0.9878048780487805

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5832	47	25
-	1279	43	6086

Precision?

0.8164143868907097

Recall?

0.9957655826558266

Freqs

test

number	freq
0	6201
1	4708
2	1578
3	352
4	244
5	135
6	73
7	12
8	5
9	2
10	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	0
-	2	0	7

Precision?

0.9555555555555556

Recall?

1.0

Samples

3.6s	7 758×	1	valid
2.3s	16 556×	0	valid
2.2s	2 026×	2	valid
586.0ms	284×	3	valid

Compiler

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

Precisions

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

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

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

adjust: 839.0ms (12.4% of total)

ival-cos: 696.0ms (10.3% of total)

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

ival-pow2: 499.0ms (7.4% of total)

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

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

ival-cosu: 273.0ms (4% of total)

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

ival-log: 208.0ms (3.1% of total)

ival-exp: 203.0ms (3% of total)

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

ival-neg: 87.0ms (1.3% of total)

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

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

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

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

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

ival-pow: 24.0ms (0.4% of total)

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

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

analyze19.7s (3.3%)

Memory

634.9MiB live, 22 234.3MiB allocated; 5.8s collecting garbage

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)

preprocess14.0s (2.4%)

Memory

999.6MiB live, 15 570.7MiB allocated; 2.2s collecting garbage

Stop Event

104×	iter limit
92×	node limit
12×	saturated

Compiler

Compiled 135 283 to 23 067 computations (82.9% saved)

bsearch9.4s (1.6%)

Memory

202.4MiB live, 10 899.0MiB allocated; 2.5s collecting garbage

Algorithm

275×	binary-search
136×	left-value

Stop Event

265×	narrow-enough
10×	predicate-same

Samples

3.8s	5 492×	1	valid
2.7s	12 861×	0	valid
543.0ms	806×	2	valid
97.0ms	648×	0	invalid
67.0ms	41×	3	valid
2.0ms	36×	0	exit

Compiler

Compiled 219 598 to 127 101 computations (42.1% saved)

Precisions

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

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

ival-cos: 1.2s (19.6% of total)

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

adjust: 496.0ms (8% of total)

ival-pow2: 374.0ms (6% of total)

ival-div: 297.0ms (4.8% of total)

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

ival-cosu: 232.0ms (3.7% of total)

ival-sinu: 225.0ms (3.6% of total)

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

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

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

ival-acos: 66.0ms (1.1% of total)

ival-log: 53.0ms (0.9% of total)

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

ival-neg: 38.0ms (0.6% of total)

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

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

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

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

exact: 11.0ms (0.2% of total)

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

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

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

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

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

start4.0ms (0%)

Memory: 8.9MiB live, 8.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 1.0MiB live, 0.9MiB allocated; 0ms collecting garbage

sample3.9min (39%)

simplify1.3min (13.2%)

localize1.2min (11.6%)

regimes34.7s (5.9%)

series26.2s (4.4%)

rewrite24.6s (4.1%)

prune23.6s (4%)

derivations20.9s (3.5%)

eval20.7s (3.5%)

explain20.6s (3.5%)

analyze19.7s (3.3%)

preprocess14.0s (2.4%)

bsearch9.4s (1.6%)

start4.0ms (0%)

end0.0ms (0%)

Profiling