Metrics for Herbie run

Date:	Thursday, April 17th, 2025
Commit:	8acb8247 on no-err2-report
Seed:	2025107
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	515 092.4 MB

sample2.8min (40.2%)

Memory

2 239.9MiB live, 195 069.4MiB allocated; 45.1s collecting garbage

Samples

43.8s	119 120×	1	valid
32.6s	281 398×	0	valid
19.7s	3 935×	4	exit
16.1s	25 501×	2	valid
7.9s	11 267×	5	exit
7.3s	3 269×	3	valid
4.7s	34 721×	0	exit
2.3s	12 523×	1	invalid
2.2s	19 681×	0	invalid
527.0ms	919×	2	invalid
295.0ms	2 723×	1	exit
72.0ms	24×	4	valid

Precisions

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

ival-pow: 21.8s (18.7% of total)

adjust: 12.4s (10.6% of total)

ival-mult!: 12.1s (10.4% of total)

ival-cos: 9.9s (8.5% of total)

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

ival-div!: 7.7s (6.6% of total)

ival-pow2: 7.4s (6.3% of total)

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

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

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

ival-log: 5.1s (4.3% of total)

ival-sqrt: 3.4s (2.9% of total)

ival-sub!: 3.1s (2.6% of total)

ival-add!: 3.0s (2.5% of total)

ival-neg: 2.0s (1.7% of total)

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

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

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

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

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

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

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

ival-<: 175.0ms (0.1% of total)

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

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

ival-and: 49.0ms (0% of total)

ival-<=: 24.0ms (0% of total)

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

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

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

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

Bogosity

rewrite1.0min (14.6%)

Memory

10.8MiB live, 66 768.5MiB allocated; 21.9s collecting garbage

Stop Event

449×	iter-limit
188×	node-limit
7×	unsound
3×	saturated

Counts

54 872 → 84 082

regimes40.6s (9.9%)

Memory

-98.3MiB live, 55 812.6MiB allocated; 14.1s collecting garbage

Counts

21 508 → 895

Calls

155 calls:

2.8s	lambda1
2.6s	phi2
2.5s	phi1
2.4s	b
2.3s	(-.f64 lambda1 lambda2)

Compiler

Compiled 21 391 to 16 235 computations (24.1% saved)

series31.3s (7.6%)

Memory

1 733.2MiB live, 44 614.9MiB allocated; 8.6s collecting garbage

Counts

7 756 → 47 116

Calls

1620 calls:

Time	Variable		Point	Expression
326.0ms	y-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))) (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)))))) (* (* (* 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))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (* 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)) (* 4 (* (* b a) (* b (neg a)))) 4 (* (* b a) (* b (neg a))) (* b a) b a (* b (neg a)) (neg a) (pow (* x-scale y-scale) 2) (* x-scale y-scale) x-scale y-scale (+ (+ (/ (/ (+ (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)))) (+ (/ (/ (+ (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 (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (* a (sin (* (/ angle 180) (PI)))) (sin (* (/ angle 180) (PI))) (* (/ angle 180) (PI)) (/ angle 180) angle 180 (PI) (pow (* b (cos (* (/ angle 180) (PI)))) 2) (* b (cos (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI))) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow (* a (cos (* (/ angle 180) (PI)))) 2) (* a (cos (* (/ angle 180) (PI)))) (pow (* b (sin (* (/ angle 180) (PI)))) 2) (* b (sin (* (/ angle 180) (PI)))) (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))) (+ (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)) (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 (* 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 (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 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) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (* 2 (- (pow b 2) (pow a 2))) (- (pow b 2) (pow a 2)) (pow b 2) (pow a 2))
203.0ms	ew	@	0	((fabs (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2)))) (sin t) t (cos (/ (PI) 2)) (/ (PI) 2) (PI) 2 (* (cos t) (sin (/ (PI) 2))) (cos t) (sin (/ (PI) 2)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg 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))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) ew) (* eh t) (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))))) (neg (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (* -1 (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (pow (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) 2) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (/ (tan t) ew) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))))
198.0ms	ew	@	0	((fabs (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) ew (cos t) t (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) 2 (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (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))))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh 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))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (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))))) (neg (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (* (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))))) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))))
185.0ms	t	@	inf	((fabs (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) ew (cos t) t (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) 2 (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (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))))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh 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))))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (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))))) (neg (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (neg (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t))) (* (cos (atan (neg (* (/ eh ew) (tan t))))) (cos t)) (* (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))))) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew)))) (atan (* (neg eh) (/ (tan t) ew))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))))
180.0ms	t	@	0	((fabs (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))))) (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t))))) (cos t) t (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) ew (tan t) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (sin t) ew) (sin t) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (/ eh (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) ew) (sin t)) (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) ew) (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (atan (* (/ (cos t) ew) (/ eh (sin t)))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ (/ (+ (* -1/3 (* (* t t) eh)) eh) ew) t) (/ (+ (* -1/3 (* (* t t) eh)) eh) ew) (+ (* -1/3 (* (* t t) eh)) eh) -1/3 (* (* t t) eh) (* t t) (fabs (+ (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))))) (+ (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (cos t) eh))

eval25.0s (6.1%)

Memory: 293.1MiB live, 38 843.9MiB allocated; 9.2s collecting garbage
Compiler: Compiled 11 342 958 to 598 606 computations (94.7% saved)

explain20.1s (4.9%)

Memory

-181.7MiB live, 25 957.6MiB allocated; 6.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1845	1
`+.f64`	`#f`	cancellation	1728	32
`sin.f64`	`#f`	sensitivity	1590	0
`sqrt.f64`	`#f`	oflow-rescue	1382	0
`-.f64`	`#f`	cancellation	965	12
`-.f64`	`#f`	nan-rescue	625	0
`log.f64`	`#f`	sensitivity	580	2
`/.f64`	`#f`	o/n	454	0
`/.f64`	`#f`	o/o	356	0
`/.f64`	`#f`	u/u	320	0
`*.f64`	`#f`	*no**	254	0
`/.f64`	`#f`	u/n	185	0
`exp.f64`	`#f`	sensitivity	177	17
`sqrt.f64`	`#f`	uflow-rescue	153	0
`/.f64`	`#f`	n/o	121	0
`cbrt.f64`	`#f`	oflow-rescue	88	0
`*.f64`	`#f`	*nu**	73	0
`cbrt.f64`	`#f`	uflow-rescue	47	0
`*.f64`	`#f`	*ou**	46	0
`/.f64`	`#f`	n/u	39	0
`*.f64`	`#f`	*uo**	30	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	21	1
`pow.f64`	`#f`	uflow-rescue	17	0
`pow.f64`	`#f`	sensitivity	9	3
`log.f64`	`#f`	oflow-rescue	3	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	64
↳	`(exp.f64 b)`	underflow	64

Confusion

	Predicted +	Predicted -
+	5740	59
-	1320	6193

Precision

0.8130311614730878

Recall

0.9898258320400068

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5740	33	26
-	1320	32	6161

Precision?

0.8102456140350878

Recall?

0.9955164683566132

Freqs

test

number	freq
0	6252
1	4698
2	1538
3	336
4	253
5	139
6	67
7	19
8	6
9	3
10	1

Total Confusion?

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

Precision?

0.9555555555555556

Recall?

1.0

Samples

3.1s	7 670×	1	valid
2.4s	16 568×	0	valid
1.7s	2 066×	2	valid
539.0ms	318×	3	valid
5.0ms	2×	4	valid

Compiler

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

Precisions

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

ival-sin: 987.0ms (16.2% of total)

ival-cos: 876.0ms (14.4% of total)

ival-mult!: 636.0ms (10.5% of total)

adjust: 585.0ms (9.6% of total)

ival-div!: 514.0ms (8.4% of total)

ival-pow2: 427.0ms (7% of total)

ival-sinu: 338.0ms (5.6% of total)

ival-cosu: 267.0ms (4.4% of total)

ival-exp: 257.0ms (4.2% of total)

ival-sqrt: 219.0ms (3.6% of total)

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

ival-sub!: 156.0ms (2.6% of total)

ival-add!: 148.0ms (2.4% of total)

ival-pow: 135.0ms (2.2% of total)

ival-tan: 96.0ms (1.6% of total)

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

ival-atan2: 54.0ms (0.9% of total)

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

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

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

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

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

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

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

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

prune19.3s (4.7%)

Memory: -992.7MiB live, 32 373.9MiB allocated; 6.6s collecting garbage
Counts: 98 866 → 5 979
Compiler: Compiled 986 650 to 372 982 computations (62.2% saved)

analyze16.0s (3.9%)

Memory

251.0MiB live, 18 601.5MiB 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)

derivations15.3s (3.7%)

Memory

-158.3MiB live, 14 276.1MiB allocated; 1.7s collecting garbage

Stop Event

43×	fuel
9×	done

Compiler

Compiled 50 975 to 6 325 computations (87.6% saved)

bsearch9.6s (2.3%)

Memory

219.7MiB live, 12 362.9MiB allocated; 1.8s collecting garbage

Algorithm

293×	binary-search
97×	left-value

Stop Event

286×	narrow-enough
7×	predicate-same

Samples

4.4s	6 944×	1	valid
2.0s	14 179×	0	valid
431.0ms	923×	2	valid
209.0ms	66×	3	valid
90.0ms	894×	0	invalid

Compiler

Compiled 243 522 to 136 904 computations (43.8% saved)

Precisions

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

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

ival-sin: 1.5s (23.9% of total)

ival-mult!: 644.0ms (10.3% of total)

adjust: 479.0ms (7.7% of total)

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

ival-div!: 301.0ms (4.8% of total)

ival-sub!: 212.0ms (3.4% of total)

ival-cosu: 175.0ms (2.8% of total)

ival-atan2: 171.0ms (2.7% of total)

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

ival-sqrt: 164.0ms (2.6% of total)

ival-add!: 141.0ms (2.3% of total)

ival-acos: 84.0ms (1.3% of total)

ival-pow: 78.0ms (1.3% of total)

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

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

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

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

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

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

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

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

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

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

preprocess8.3s (2%)

Memory

147.5MiB live, 10 403.1MiB allocated; 1.9s collecting garbage

Stop Event

46×	node-limit
6×	saturated

Compiler

Compiled 228 569 to 65 121 computations (71.5% saved)

start9.0ms (0%)

Memory: -41.6MiB live, 7.2MiB allocated; 2ms collecting garbage

end0.0ms (0%)

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

sample2.8min (40.2%)

rewrite1.0min (14.6%)

regimes40.6s (9.9%)

series31.3s (7.6%)

eval25.0s (6.1%)

explain20.1s (4.9%)

prune19.3s (4.7%)

analyze16.0s (3.9%)

derivations15.3s (3.7%)

bsearch9.6s (2.3%)

preprocess8.3s (2%)

start9.0ms (0%)

end0.0ms (0%)

Profiling