Metrics for Herbie run

Date:	Tuesday, March 25th, 2025
Commit:	481a8102 on main
Seed:	2025084
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	532 593.6 MB

sample2.9min (40.4%)

Memory

2 426.0MiB live, 194 874.7MiB allocated; 53.5s collecting garbage

Samples

46.4s	119 380×	1	valid
34.6s	281 302×	0	valid
19.3s	3 970×	4	exit
16.4s	25 327×	2	valid
8.7s	11 459×	5	exit
7.8s	3 281×	3	valid
5.4s	34 848×	0	exit
2.2s	12 143×	1	invalid
2.1s	19 940×	0	invalid
292.0ms	856×	2	invalid
264.0ms	2 708×	1	exit
72.0ms	22×	4	valid
12.0ms	1×	2	exit

Precisions

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

ival-pow: 22.2s (18.2% of total)

ival-mult!: 14.2s (11.6% of total)

adjust: 12.4s (10.2% of total)

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

ival-sin: 8.5s (6.9% of total)

ival-div!: 8.2s (6.7% of total)

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

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

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

ival-cosu: 5.0s (4.1% of total)

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

ival-sub!: 3.9s (3.2% of total)

ival-log: 3.6s (2.9% of total)

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

ival-neg: 2.4s (2% of total)

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

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

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

ival-cbrt: 438.0ms (0.4% of total)

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

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

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

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

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

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

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

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

ival-<=: 6.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

rewrite59.8s (13.8%)

Memory

298.1MiB live, 68 482.6MiB allocated; 22.4s collecting garbage

Stop Event

451×	iter limit
188×	node limit
6×	unsound
3×	saturated

Counts

55 077 → 81 211

series34.2s (7.9%)

Memory

515.5MiB live, 47 622.5MiB allocated; 9.7s collecting garbage

Counts

7 574 → 47 503

Calls

1617 calls:

Time	Variable		Point	Expression
494.0ms	t	@	-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)))) 1 (+ 1 (exp (neg s))) (exp (neg s)) (neg s) s c_p (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 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) (/ 1 (+ 1 (exp (neg t)))) (+ 1 (exp (neg t))) (exp (neg t)) (neg t) t (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg t))))))
273.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)) (/ 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)) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (/ (- (pow (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) 2) (pow (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) 2)) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))))) (/ (- (pow (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) 2) (pow (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) 2)) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (- (pow (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) 2) (pow (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) 2)) (pow (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) 2) (* (* (cos t) ew) (cos (atan (* (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) (pow (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) 2) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))))
214.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))) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)) (* (neg (log (+ 1 (exp (neg s))))) c_p) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (exp (neg s)) (neg s) s c_p (* (neg (log (+ 1 (exp (neg t))))) c_p) (neg (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg t)))) (exp (neg t)) (neg t) 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 (pow (+ (exp (neg s)) 1) -1)) c_n) (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n)) (pow (- 1 (pow (+ (exp (neg s)) 1) -1)) c_n) (- 1 (pow (+ (exp (neg s)) 1) -1)) 1 (pow (+ (exp (neg s)) 1) -1) (+ (exp (neg s)) 1) -1 c_n (pow (- 1 (pow (+ (exp (neg t)) 1) -1)) c_n) (- 1 (pow (+ (exp (neg t)) 1) -1)) (pow (+ (exp (neg t)) 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)) (pow 1/2 (+ c_p c_n)) 1/2 (+ c_p 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) (/ 1 (+ 1 (exp (neg t)))) (+ 1 (exp (neg t))) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (- 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 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg s))))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
213.0ms	t	@	0	((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)) ew (sin t) t (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* eh (cos t)) (sin (atan (/ eh (* ew (tan t)))))) (* eh (cos t)) (cos t) (sin (atan (/ eh (* ew (tan t))))) (atan (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (* 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)))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan 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)))))) (* (sin t) ew) (* (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t))))) (* (cos t) eh) (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ 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)))))) (* (+ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew)) ew) (+ (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (sin t)) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew)) (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) (atan (* (/ (cos t) ew) (/ eh (sin t)))) (/ (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) ew) (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))))
211.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 (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) eh (sin t) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) (tan t) (sqrt (* (- (* (* 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))))) (* (* 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))))) (* (* 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))) (/ (pow (* eh t) 2) ew) (pow (* eh t) 2) (* eh t) 2 (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))))) (asinh (neg (* (/ eh ew) (tan t)))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) 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))) (* (/ eh ew) (tan t)) (/ eh 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)))))))) (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))) (sqrt (+ (* (* (cos t) ew) (cos (atan (* (neg eh) (/ (tan t) ew))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (sqrt ew) (sqrt (* (cos t) (cos (atan (* -1 (* (/ eh ew) (tan t)))))))) (* 1/2 (* (pow (* eh (sin t)) 2) (/ 1 (sqrt (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t)))))))))))) (sqrt ew) (sqrt (* (cos t) (cos (atan (* -1 (* (/ eh ew) (tan t))))))) (* (cos t) (cos (atan (* -1 (* (/ eh ew) (tan t)))))) (cos (atan (* -1 (* (/ eh ew) (tan t))))) (atan (* -1 (* (/ eh ew) (tan t)))) (* -1 (* (/ eh ew) (tan t))) (* 1/2 (* (pow (* eh (sin t)) 2) (/ 1 (sqrt (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t))))))))))) 1/2 (* (pow (* eh (sin t)) 2) (/ 1 (sqrt (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t)))))))))) (pow (* eh (sin t)) 2) (/ 1 (sqrt (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t))))))))) 1 (sqrt (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t)))))))) (* (pow ew 3) (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t))))))) (pow ew 3) 3 (* (pow (cos t) 3) (cos (atan (* -1 (* (/ eh ew) (tan t)))))) (pow (cos t) 3))

regimes32.6s (7.5%)

Memory

453.7MiB live, 48 175.0MiB allocated; 9.7s collecting garbage

Counts

16 840 → 841

Calls

155 calls:

2.2s	phi1
2.1s	phi2
2.0s	a
1.9s	lambda2
1.9s	lambda1

Compiler

Compiled 17 986 to 14 825 computations (17.6% saved)

eval25.6s (5.9%)

Memory: -495.7MiB live, 36 523.7MiB allocated; 11.1s collecting garbage
Compiler: Compiled 13 066 865 to 590 348 computations (95.5% saved)

prune24.5s (5.7%)

Memory: 121.5MiB live, 42 489.0MiB allocated; 7.1s collecting garbage
Counts: 111 883 → 5 990
Compiler: Compiled 945 702 to 372 874 computations (60.6% saved)

explain20.1s (4.6%)

Memory

0.1MiB live, 25 735.8MiB allocated; 4.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1958	1
`sin.f64`	`#f`	sensitivity	1716	3
`+.f64`	`#f`	cancellation	1715	37
`sqrt.f64`	`#f`	oflow-rescue	1389	0
`-.f64`	`#f`	cancellation	929	8
`-.f64`	`#f`	nan-rescue	608	0
`log.f64`	`#f`	sensitivity	586	1
`/.f64`	`#f`	o/n	475	0
`/.f64`	`#f`	o/o	362	0
`/.f64`	`#f`	u/u	279	0
`*.f64`	`#f`	*no**	247	0
`exp.f64`	`#f`	sensitivity	167	19
`sqrt.f64`	`#f`	uflow-rescue	159	0
`/.f64`	`#f`	u/n	153	0
`/.f64`	`#f`	n/o	118	0
`*.f64`	`#f`	*nu**	90	0
`cbrt.f64`	`#f`	oflow-rescue	75	0
`/.f64`	`#f`	n/u	55	0
`cbrt.f64`	`#f`	uflow-rescue	45	0
`*.f64`	`#f`	*uo**	38	0
`*.f64`	`#f`	*ou**	33	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	26	4
`pow.f64`	`#f`	sensitivity	13	1
`pow.f64`	`#f`	uflow-rescue	9	0
`log.f64`	`#f`	oflow-rescue	6	0

Confusion

	Predicted +	Predicted -
+	5815	63
-	1297	6137

Precision

0.8176321709786277

Recall

0.9892820687308609

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5815	34	29
-	1297	33	6104

Precision?

0.8147374286112272

Recall?

0.9950663490983328

Freqs

test

number	freq
0	6200
1	4677
2	1609
3	337
4	254
5	137
6	62
7	24
8	5
9	6
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	1
-	2	0	6

Precision?

0.9555555555555556

Recall?

0.9772727272727273

Samples

3.4s	7 730×	1	valid
2.1s	16 530×	0	valid
1.9s	2 052×	2	valid
503.0ms	312×	3	valid

Compiler

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

Precisions

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

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

ival-mult!: 919.0ms (14.9% of total)

ival-cos: 848.0ms (13.7% of total)

adjust: 475.0ms (7.7% of total)

ival-pow2: 423.0ms (6.8% of total)

ival-div!: 381.0ms (6.2% of total)

ival-sinu: 296.0ms (4.8% of total)

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

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

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

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

ival-add!: 178.0ms (2.9% of total)

ival-sub!: 169.0ms (2.7% of total)

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

ival-hypot: 79.0ms (1.3% of total)

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

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

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

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

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

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

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

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

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

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

analyze16.3s (3.8%)

Memory

412.0MiB live, 20 815.0MiB allocated; 4.6s 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)

preprocess15.9s (3.7%)

Memory

580.4MiB live, 18 066.5MiB allocated; 5.0s collecting garbage

Stop Event

104×	iter limit
92×	node limit
12×	saturated

Compiler

Compiled 248 957 to 64 163 computations (74.2% saved)

derivations14.1s (3.2%)

Memory

-26.1MiB live, 13 174.0MiB allocated; 1.9s collecting garbage

Stop Event

43×	fuel
9×	done

Compiler

Compiled 43 823 to 5 614 computations (87.2% saved)

bsearch12.6s (2.9%)

Memory

157.3MiB live, 13 576.7MiB allocated; 4.9s collecting garbage

Algorithm

271×	binary-search
111×	left-value

Stop Event

261×	narrow-enough
10×	predicate-same

Samples

4.6s	7 190×	1	valid
2.5s	1 188×	5	exit
1.8s	12 813×	0	valid
1.1s	1 113×	2	valid
105.0ms	1 030×	0	invalid
45.0ms	36×	3	valid
2.0ms	54×	0	exit

Compiler

Compiled 232 804 to 134 498 computations (42.2% saved)

Precisions

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

ival-cos: 1.8s (19.9% of total)

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

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

adjust: 861.0ms (9.4% of total)

ival-mult!: 791.0ms (8.6% of total)

ival-atan: 586.0ms (6.4% of total)

ival-pow2: 417.0ms (4.5% of total)

ival-div!: 385.0ms (4.2% of total)

ival-sinu: 216.0ms (2.3% of total)

ival-sqrt: 195.0ms (2.1% of total)

ival-sub!: 182.0ms (2% of total)

ival-exp: 153.0ms (1.7% of total)

ival-cosu: 139.0ms (1.5% of total)

ival-add!: 123.0ms (1.3% of total)

ival-atan2: 105.0ms (1.1% of total)

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

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

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

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

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

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

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

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

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

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

simplify2.9s (0.7%)

Memory

-197.2MiB live, 3 050.5MiB allocated; 394ms collecting garbage

Stop Event

48×	node limit
4×	saturated

start3.0ms (0%)

Memory: 6.8MiB live, 6.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample2.9min (40.4%)

rewrite59.8s (13.8%)

series34.2s (7.9%)

regimes32.6s (7.5%)

eval25.6s (5.9%)

prune24.5s (5.7%)

explain20.1s (4.6%)

analyze16.3s (3.8%)

preprocess15.9s (3.7%)

derivations14.1s (3.2%)

bsearch12.6s (2.9%)

simplify2.9s (0.7%)

start3.0ms (0%)

end0.0ms (0%)

Profiling