Metrics for Herbie run

Date:	Thursday, February 20th, 2025
Commit:	87019920 on main
Seed:	2025051
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:	554 320.1 MB

sample3.7min (44.6%)

Memory

3 161.2MiB live, 245 876.7MiB allocated; 59.9s collecting garbage

Samples

58.4s	120 259×	1	valid
54.5s	17 840×	5	exit
38.9s	281 207×	0	valid
17.7s	24 724×	2	valid
8.3s	3 099×	3	valid
5.5s	34 624×	0	exit
3.6s	12 108×	1	invalid
2.5s	19 537×	0	invalid
390.0ms	836×	2	invalid
248.0ms	23×	4	valid
107.0ms	1×	4	exit
22.0ms	33×	1	exit
3.0ms	1×	3	exit
2.0ms	1×	2	exit

Precisions

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

ival-pow: 44.3s (26.9% of total)

adjust: 17.6s (10.7% of total)

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

ival-cos: 11.6s (7% of total)

ival-div: 11.1s (6.8% of total)

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

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

ival-sub: 7.2s (4.4% of total)

ival-add: 6.5s (3.9% of total)

ival-sinu: 6.0s (3.7% of total)

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

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

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

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

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

ival-log1p: 773.0ms (0.5% of total)

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

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

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

const: 493.0ms (0.3% of total)

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

exact: 358.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

rewrite1.0min (12.4%)

Memory

283.1MiB live, 62 187.1MiB allocated; 23.0s collecting garbage

Stop Event

454×	iter limit
188×	node limit
8×	unsound
3×	saturated

Counts

55 980 → 83 767

regimes35.8s (7.1%)

Memory

493.0MiB live, 39 620.3MiB allocated; 5.9s collecting garbage

Counts

20 317 → 954

Calls

155 calls:

2.5s	phi1
2.5s	phi2
2.2s	b
2.2s	lambda1
2.0s	lambda2

Compiler

Compiled 20 072 to 16 478 computations (17.9% saved)

series34.1s (6.8%)

Memory

417.6MiB live, 40 053.2MiB allocated; 9.3s collecting garbage

Counts

7 648 → 48 332

Calls

1623 calls:

Time	Variable		Point	Expression
1.2s	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)))))) (+ (* (* (cos (atan (* (/ (cos t) ew) (/ eh (sin t))))) ew) (sin t)) (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (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)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (cos t) t ew (/ eh (sin t)) eh (sin t) (* (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t)))))) (* (cos t) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (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)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (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)) (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)) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) (tan 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)) (tan t) (fabs (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2)))) 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))) (+ 1 (pow (/ (/ eh ew) (tan t)) 2)) (pow (/ (/ eh ew) (tan t)) 2) 2)
1.1s	phi1	@	inf	((+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (sin (- lambda1 lambda2))) (cos phi2) phi2 (sin (- lambda1 lambda2)) (- lambda1 lambda2) lambda2 (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (cos phi1) phi1 (* (cos phi2) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2)))
222.0ms	a	@	0	((+ (* (cbrt (/ 1/2 a)) (cbrt (- (neg g) (sqrt (* (+ g h) (- g h)))))) (cbrt (* (/ 1/2 a) (+ (* -1 g) (sqrt (* (+ g h) (- g h))))))) (cbrt (/ 1/2 a)) (/ 1/2 a) 1/2 a (cbrt (- (neg g) (sqrt (* (+ g h) (- g h))))) (- (neg g) (sqrt (* (+ g h) (- g h)))) (neg g) g (sqrt (* (+ g h) (- g h))) (cbrt (* (/ 1/2 a) (+ (* -1 g) (sqrt (* (+ g h) (- g h)))))) (* (/ 1/2 a) (+ (* -1 g) (sqrt (* (+ g h) (- g h))))) (* -1/2 (/ (* g 0) a)) -1/2 (/ (* g 0) a) (* g 0) 0 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (neg (* (pow (/ g a) 1/3) 1)) (* (pow (/ g a) 1/3) 1) (pow (/ g a) 1/3) (/ g a) 1/3 1 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ (neg g) a) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) (* 2 a) 2 (- (neg g) (sqrt (- (* g g) (* h h)))) (* -1/2 (/ (* h h) g)) (/ (* h h) g) (* h h) h (+ (* (cbrt (/ 1/2 a)) (cbrt (- (neg g) (sqrt (* (+ g h) (- g h)))))) (cbrt (* (/ 1/2 a) (+ (* -1 g) (sqrt (* (+ g h) (- g h))))))) (* -1 (* g (+ (* (cbrt (/ 0 (* a (* g g)))) (cbrt 1/2)) (cbrt (* (/ 2 (* a (* g g))) 1/2))))) -1 (* g (+ (* (cbrt (/ 0 (* a (* g g)))) (cbrt 1/2)) (cbrt (* (/ 2 (* a (* g g))) 1/2)))) (+ (* (cbrt (/ 0 (* a (* g g)))) (cbrt 1/2)) (cbrt (* (/ 2 (* a (* g g))) 1/2))) (cbrt (/ 0 (* a (* g g)))) (/ 0 (* a (* g g))) (* a (* g g)) (* g g) (cbrt 1/2) (cbrt (* (/ 2 (* a (* g g))) 1/2)) (* (/ 2 (* a (* g g))) 1/2) (/ 2 (* a (* g g))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (exp (* (log (* (+ g h) (- g h))) 1/2)))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (+ (neg g) (sqrt (- (* g g) (* h h)))) (sqrt (- (* g g) (* h h))) (- (* g g) (* h h)) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (exp (* (log (* (+ g h) (- g h))) 1/2))))) (* (/ 1 (* 2 a)) (- (neg g) (exp (* (log (* (+ g h) (- g h))) 1/2)))) (- (neg g) (exp (* (log (* (+ g h) (- g h))) 1/2))) (exp (* (log (* (+ g h) (- g h))) 1/2)) (* (log (* (+ g h) (- g h))) 1/2) (log (* (+ g h) (- g h))) (* (+ g h) (- g h)) (+ g h) (- g h))
208.0ms	ew	@	0	((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))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))))) (neg eh) eh (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) ew (tan t) t (sin t) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (* (cos t) ew) (cos t) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))) (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)) (pow (neg (* (/ eh ew) (tan t))) 2) 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))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (* (neg (* (/ eh ew) (tan t))) (neg (* (/ eh ew) (tan t))))))))) (fabs (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (/ 1 (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew)))))) (sqrt (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))))) (+ 1 (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew)))) (* (* (neg eh) (/ (tan t) ew)) (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (/ (tan t) ew) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (/ (pow (* eh t) 2) ew) (pow (* eh t) 2) (* 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))))) t)) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew)) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t) (* (cos (atan (neg (* (/ eh ew) (tan t))))) ew) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (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))))) (* (- (/ (* (* (cos t) ew) (cos (atan (neg (* (/ eh ew) (tan t)))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (- (/ (* (* (cos t) ew) (cos (atan (neg (* (/ eh ew) (tan t)))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (* ew (+ (* (/ eh (* ew ew)) (/ (pow (sin t) 2) (cos t))) (/ (* (cos t) (cos (neg (atan (* (/ eh ew) (tan t)))))) eh))) (+ (* (/ eh (* ew ew)) (/ (pow (sin t) 2) (cos t))) (/ (* (cos t) (cos (neg (atan (* (/ eh ew) (tan t)))))) eh)) (/ eh (* ew ew)) (* ew ew) (/ (pow (sin t) 2) (cos t)) (pow (sin t) 2) (/ (* (cos t) (cos (neg (atan (* (/ eh ew) (tan t)))))) eh) (* (cos t) (cos (neg (atan (* (/ eh ew) (tan t)))))) (cos (neg (atan (* (/ eh ew) (tan t))))) (neg (atan (* (/ eh ew) (tan t)))) (atan (* (/ eh ew) (tan t))))
180.0ms	ew	@	0	((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))) (* (* (cos t) ew) (cos (atan (neg (* (/ eh ew) (tan t))))))) (neg eh) eh (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) ew (tan t) t (sin t) (* (* (cos t) ew) (cos (atan (neg (* (/ eh ew) (tan t)))))) (* (cos t) ew) (cos t) (cos (atan (neg (* (/ eh ew) (tan t))))) (atan (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))))) (* (cos (atan (neg (* (/ eh ew) (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))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (+ (* (* (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 (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))) (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))))) (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2)))) (cos (/ (PI) 2)) (/ (PI) 2) (PI) 2 (* (cos t) (sin (/ (PI) 2))) (sin (/ (PI) 2)))

eval24.6s (4.9%)

Memory: 839.7MiB live, 33 976.2MiB allocated; 6.5s collecting garbage
Compiler: Compiled 13 075 810 to 602 552 computations (95.4% saved)

prune24.4s (4.9%)

Memory: -274.9MiB live, 37 499.7MiB allocated; 5.9s collecting garbage
Counts: 112 928 → 5 974
Compiler: Compiled 980 422 to 376 924 computations (61.6% saved)

explain22.1s (4.4%)

Memory

-359.0MiB live, 25 656.2MiB allocated; 5.3s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1867	2
`+.f64`	`#f`	cancellation	1719	31
`sin.f64`	`#f`	sensitivity	1617	0
`sqrt.f64`	`#f`	oflow-rescue	1411	0
`-.f64`	`#f`	cancellation	950	15
`-.f64`	`#f`	nan-rescue	634	0
`log.f64`	`#f`	sensitivity	578	1
`/.f64`	`#f`	o/n	562	0
`/.f64`	`#f`	o/o	371	0
`/.f64`	`#f`	u/u	292	0
`*.f64`	`#f`	*no**	250	0
`sqrt.f64`	`#f`	uflow-rescue	151	0
`exp.f64`	`#f`	sensitivity	150	32
`/.f64`	`#f`	u/n	122	0
`cbrt.f64`	`#f`	oflow-rescue	110	0
`/.f64`	`#f`	n/o	106	0
`*.f64`	`#f`	*nu**	71	0
`/.f64`	`#f`	n/u	55	0
`cbrt.f64`	`#f`	uflow-rescue	53	0
`*.f64`	`#f`	*uo**	31	0
`*.f64`	`#f`	*ou**	22	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	3
`pow.f64`	`#f`	uflow-rescue	9	0
`log.f64`	`#f`	oflow-rescue	7	0
`pow.f64`	`#f`	sensitivity	6	5

Confusion

	Predicted +	Predicted -
+	5772	75
-	1322	6143

Precision

0.8136453340851424

Recall

0.987172909184197

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5772	48	27
-	1322	35	6108

Precision?

0.8109237843109934

Recall?

0.995382247306311

Freqs

test

number	freq
0	6218
1	4745
2	1544
3	307
4	241
5	151
6	68
7	26
8	6
9	6

Total Confusion?

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

Precision?

0.9347826086956522

Recall?

1.0

Samples

4.0s	7 634×	1	valid
3.2s	2 016×	2	valid
2.6s	16 630×	0	valid
631.0ms	338×	3	valid
28.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: 8.5s

ival-sin: 2.1s (24% of total)

ival-cos: 1.1s (12.4% of total)

ival-mult: 963.0ms (11.3% of total)

ival-div: 759.0ms (8.9% of total)

adjust: 669.0ms (7.8% of total)

ival-pow2: 450.0ms (5.3% of total)

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

ival-sub: 397.0ms (4.6% of total)

ival-sinu: 355.0ms (4.2% of total)

ival-exp: 310.0ms (3.6% of total)

ival-add: 284.0ms (3.3% of total)

ival-log: 176.0ms (2.1% of total)

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

ival-fabs: 75.0ms (0.9% of total)

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

ival-tan: 66.0ms (0.8% of total)

ival-neg: 60.0ms (0.7% of total)

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

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

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

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

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

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

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

exact: 19.0ms (0.2% of total)

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

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

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

bsearch21.6s (4.3%)

Memory

200.9MiB live, 17 062.0MiB allocated; 3.2s collecting garbage

Algorithm

319×	binary-search
115×	left-value

Stop Event

309×	narrow-enough
10×	predicate-same

Samples

8.7s	2 215×	5	exit
5.7s	7 661×	1	valid
2.5s	14 503×	0	valid
693.0ms	951×	2	valid
409.0ms	167×	3	valid
372.0ms	46×	4	valid
114.0ms	895×	0	invalid
3.0ms	66×	0	exit

Compiler

Compiled 259 862 to 153 444 computations (41% saved)

Precisions

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

ival-pow: 7.2s (42.2% of total)

ival-sin: 2.0s (11.6% of total)

ival-cos: 1.7s (9.7% of total)

adjust: 1.6s (9.5% of total)

ival-mult: 1.2s (7% of total)

ival-div: 578.0ms (3.4% of total)

ival-sub: 512.0ms (3% of total)

ival-pow2: 413.0ms (2.4% of total)

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

ival-add: 307.0ms (1.8% of total)

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

ival-sinu: 270.0ms (1.6% of total)

ival-sqrt: 149.0ms (0.9% of total)

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

ival-acos: 109.0ms (0.6% of total)

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

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

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

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

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

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

exact: 14.0ms (0.1% of total)

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

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

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

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

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

analyze19.6s (3.9%)

Memory

-65.9MiB live, 20 748.0MiB allocated; 6.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)

derivations16.1s (3.2%)

Memory

-369.9MiB live, 13 309.9MiB allocated; 3.0s collecting garbage

Stop Event

42×	fuel
10×	done

Compiler

Compiled 49 907 to 6 338 computations (87.3% saved)

preprocess14.8s (2.9%)

Memory

122.0MiB live, 15 266.0MiB allocated; 2.9s collecting garbage

Stop Event

104×	iter limit
92×	node limit
12×	saturated

Compiler

Compiled 141 193 to 25 531 computations (81.9% saved)

simplify3.1s (0.6%)

Memory

-126.7MiB live, 3 057.6MiB allocated; 626ms collecting garbage

Stop Event

49×	node limit
3×	saturated

start3.0ms (0%)

Memory: 6.2MiB live, 6.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample3.7min (44.6%)

rewrite1.0min (12.4%)

regimes35.8s (7.1%)

series34.1s (6.8%)

eval24.6s (4.9%)

prune24.4s (4.9%)

explain22.1s (4.4%)

bsearch21.6s (4.3%)

analyze19.6s (3.9%)

derivations16.1s (3.2%)

preprocess14.8s (2.9%)

simplify3.1s (0.6%)

start3.0ms (0%)

end0.0ms (0%)

Profiling