Metrics for Herbie run

Date:	Thursday, September 5th, 2024
Commit:	7a659933 on fewer-globals
Hostname:	nightly with Racket 8.11.1
Seed:	2024249
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.5min (21.8%)

Memory

78.8MiB live, 248 729.9MiB allocated

Samples

58.5s	121 163×	1	valid
39.6s	280 798×	0	valid
30.3s	14 214×	5	exit
16.9s	24 148×	2	valid
7.9s	3 167×	3	valid
6.4s	34 963×	0	exit
4.1s	10 716×	1	exit
3.4s	21 114×	0	invalid
3.0s	11 259×	1	invalid
444.0ms	30×	4	exit
395.0ms	779×	2	invalid
339.0ms	36×	4	valid
258.0ms	22×	3	exit
41.0ms	16×	2	exit

Precisions

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

ival-pow: 25.7s (17.4% of total)

ival-cos: 18.3s (12.3% of total)

ival-mult: 17.9s (12.1% of total)

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

ival-div: 12.5s (8.4% of total)

adjust: 10.2s (6.9% of total)

ival-pow2: 8.6s (5.8% of total)

ival-sub: 6.9s (4.7% of total)

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

ival-exp: 5.8s (3.9% of total)

ival-log: 4.5s (3% of total)

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

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

const: 1.9s (1.3% of total)

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

ival-pi: 975.0ms (0.7% of total)

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

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

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

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

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

exact: 420.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

Bogosity

eval2.5min (15.5%)

Memory: 689.0MiB live, 267 344.6MiB allocated
Compiler: Compiled 13 764 383 to 807 640 computations (94.1% saved)

end2.3min (14.6%)

Memory: 785.4MiB live, 259 883.4MiB allocated

simplify1.6min (10%)

Memory

1 642.6MiB live, 116 794.9MiB allocated

Algorithm

452×	egg-herbie

Rules

3 336 754×	`lower-fma.f32`
3 335 786×	`lower-fma.f64`
1 704 060×	`lower-*.f32`
1 700 110×	`lower-*.f64`
929 040×	`lower-+.f32`

Stop Event

600×	iter limit
318×	node limit
134×	saturated

Counts

100 680 → 100 134

localize1.1min (6.9%)

Memory

-294.9MiB live, 87 151.3MiB allocated

Samples

23.5s	15 951×	1	valid
9.3s	27 615×	0	valid
8.6s	3 900×	2	valid
7.0s	770×	5	exit
1.5s	184×	4	exit
954.0ms	1 837×	0	invalid
877.0ms	386×	3	valid
625.0ms	296×	1	invalid
57.0ms	5×	3	exit
53.0ms	51×	1	exit
48.0ms	204×	0	exit
1.0ms	1×	4	valid

Compiler

Compiled 117 946 to 9 291 computations (92.1% saved)

Precisions

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

ival-mult: 8.6s (20.1% of total)

ival-sin: 8.1s (18.8% of total)

ival-cos: 6.3s (14.6% of total)

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

adjust: 3.4s (7.9% of total)

ival-add: 2.2s (5.2% of total)

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

ival-pow: 1.6s (3.7% of total)

ival-sub: 1.3s (2.9% of total)

ival-sqrt: 970.0ms (2.3% of total)

const: 928.0ms (2.2% of total)

ival-log: 699.0ms (1.6% of total)

ival-exp: 684.0ms (1.6% of total)

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

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

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

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

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

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

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

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

exact: 106.0ms (0.2% of total)

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

ival-expm1: 70.0ms (0.2% of total)

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

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

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

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

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

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

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

soundness1.0min (6.6%)

Memory

237.3MiB live, 47 790.4MiB allocated

Rules

2 164 714×	`lower-fma.f32`
2 164 114×	`lower-fma.f64`
1 475 712×	`lower-*.f32`
1 472 796×	`lower-*.f64`
756 674×	`lower-+.f32`

Stop Event

422×	iter limit
281×	node limit
45×	fuel
7×	done
1×	saturated

Compiler

Compiled 57 343 to 28 468 computations (50.4% saved)

rewrite52.7s (5.5%)

Memory

153.1MiB live, 64 922.4MiB allocated

Rules

902 300×	`lower-fma.f32`
901 332×	`lower-fma.f64`
883 512×	`lower-*.f32`
879 658×	`lower-*.f64`
666 178×	`lower-/.f32`

Stop Event

405×	iter limit
199×	node limit
1×	saturated

Counts

3 661 → 131 601

regimes46.5s (4.9%)

Memory

76.3MiB live, 65 394.0MiB allocated

Counts

23 394 → 957

Calls

155 calls:

3.2s	phi2
2.9s	a
2.7s	b
2.6s	phi1
2.3s	lambda2

Compiler

Compiled 18 911 to 16 089 computations (14.9% saved)

prune38.5s (4.1%)

Memory: -720.3MiB live, 76 334.1MiB allocated
Counts: 285 949 → 7 692
Compiler: Compiled 582 823 to 292 111 computations (49.9% saved)

series33.0s (3.5%)

Memory

-2 627.2MiB live, 45 274.0MiB allocated

Counts

3 661 → 100 680

Calls

1626 calls:

Time	Variable		Point	Expression
617.0ms	v	@	0	((* (/ (sin v) (+ (* (cos v) e) 1)) e) (/ (sin v) (+ (* (cos v) e) 1)) (* (+ (* (neg e) (cos v)) 1) (sin v)) (+ (* (neg e) (cos v)) 1) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* (/ e (+ e 1)) v) (* (- v (* v e)) e) (- v (* v e)) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* e (sin v)) (* (+ (* -1/6 (* v v)) 1) e) (+ (* -1/6 (* v v)) 1) (/ e (/ (+ (* (cos v) e) 1) (sin v))) (/ (+ (* (cos v) e) 1) (sin v)) (/ (+ (* (+ (* (+ (* 1/24 e) (+ (* (+ (* -1/2 e) (+ (* 1/6 e) 1/6)) 1/6) (+ (* -1/120 e) -1/120))) (* v v)) (+ (* -1/2 e) (+ (* 1/6 e) 1/6))) (* v v)) (+ 1 e)) v) (/ (+ (* (+ (* 1/45 (* v v)) 1/3) (* v v)) -1) v) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (/ (sin v) (- (cos v) (/ -1 e))) (sin v) (- (cos v) (/ -1 e)) (cos v) (+ 1 (* e (cos v))) (* (/ (+ (* (+ (* 1/45 (* v v)) 1/3) (* v v)) -1) v) (neg e)))
433.0ms	b	@	-inf	((+ (* (* (* b b) (cos (* (* angle (PI)) 1/180))) (cos (* (* angle (PI)) 1/180))) (pow (* a (sin (* (* angle (PI)) 1/180))) 2)) (* (* b b) (cos (* (* angle (PI)) 1/180))) (* b b) (cos (* (* angle (PI)) 1/180)) (+ (pow (* (sin (* (PI) (* 1/180 angle))) a) 2) (pow (* (cos (/ (* (PI) angle) -180)) b) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (* (* angle angle) 1/32400) (* (* (* (PI) (PI)) a) a)) (* (* angle angle) 1/32400) (* (+ (* (* (sin (* (* (PI) 1/180) angle)) (/ a b)) (* (sin (* (* (PI) 1/180) angle)) (/ a b))) (* (cos (* (* (PI) 1/180) angle)) (cos (* (* (PI) 1/180) angle)))) (* b b)) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (pow (exp -1) (log (/ (/ 180 angle) (PI)))))) 2)) (+ (* (* (sin (* (* (PI) 1/180) angle)) (/ a b)) (* (sin (* (* (PI) 1/180) angle)) (/ a b))) (* (cos (* (* (PI) 1/180) angle)) (cos (* (* (PI) 1/180) angle)))) (* (sin (* (* (PI) 1/180) angle)) (/ a b)) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (pow (exp -1) (log (/ (/ 180 angle) (PI)))))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (exp (log (* angle 1/180))) (/ (exp (log (* angle 1/180))) (pow (PI) -1)) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (/ (exp (log (* angle 1/180))) (pow (PI) -1)))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (sin (* (* angle (PI)) 1/180)) (* (* angle (PI)) 1/180) (* angle (PI)) (* (* (PI) (PI)) a) (sin (* (* (PI) 1/180) angle)) (cos (* (* (PI) 1/180) angle)) (cos (pow (exp -1) (log (/ (/ 180 angle) (PI))))) (pow (exp -1) (log (/ (/ 180 angle) (PI)))) (sin (* (/ angle 180) (PI))) (cos (/ (exp (log (* angle 1/180))) (pow (PI) -1))))
396.0ms	phi1	@	-inf	((+ (* (* (cos lambda2) (sin lambda1)) (cos phi2)) (* (* (neg (sin lambda2)) (cos lambda1)) (cos phi2))) (atan2 (+ (* (* (cos lambda2) (sin lambda1)) (cos phi2)) (* (* (neg (sin lambda2)) (cos lambda1)) (cos phi2))) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (* (cos lambda2) (sin lambda1)) (cos phi2)) (* (cos lambda2) (sin lambda1)) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (sin (- lambda1 lambda2)) (cos phi2)) (sin (- lambda1 lambda2)) (- lambda1 lambda2) (atan2 (* (+ (sin (+ phi2 (- lambda1 lambda2))) (sin (- (- lambda1 lambda2) phi2))) 1/2) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (+ (sin (+ phi2 (- lambda1 lambda2))) (sin (- (- lambda1 lambda2) phi2))) 1/2) (+ (sin (+ phi2 (- lambda1 lambda2))) (sin (- (- lambda1 lambda2) phi2))) (sin (+ phi2 (- lambda1 lambda2))) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (sin (- lambda1 lambda2)) (cos phi2)) (sin (- lambda1 lambda2)) (+ (* (+ (* (* -1/2 lambda2) (sin lambda1)) (neg (cos lambda1))) lambda2) (sin lambda1)) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (- (cos (- lambda1 lambda2)) (cos (+ lambda2 lambda1))) 1/2) (* (cos lambda1) (cos lambda2)))))) (* (sin (- lambda1 lambda2)) (cos phi2)) (cos (- lambda1 lambda2)) (* (* (neg (sin lambda2)) (cos lambda1)) (cos phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))) (* (sin phi1) (cos phi2)) (sin (- (- lambda1 lambda2) phi2)) (- (cos (- lambda1 lambda2)) (cos (+ lambda2 lambda1))) (cos (+ lambda2 lambda1)))
345.0ms	b	@	-inf	((+ (* (/ (* c c) b) (/ a b)) (/ (* (* (* a (pow c 3)) a) 2) (pow b 4))) (+ (+ (* (* 5 (pow a 3)) (/ (pow c 4) (pow b 6))) (+ (* (/ (* c c) b) (/ a b)) (/ (* (* (* a (pow c 3)) a) 2) (pow b 4)))) c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* -1/4 a) (* (/ (pow c 4) (pow b 6)) (/ 20 b))) (/ (* (pow c 3) -2) (pow b 5))) a) (* (neg c) (/ c (pow b 3)))) a) (/ (neg c) b)) (/ -1 (/ b c)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ b c) (/ 1 (/ 2 (/ (- (sqrt (+ (* (* -4 c) a) (* b b))) b) a))) (/ 2 (/ (- (sqrt (+ (* (* -4 c) a) (* b b))) b) a)) (/ (- (sqrt (+ (* (* -4 c) a) (* b b))) b) a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (+ (* (* (/ c (pow b 3)) c) a) (/ c b)) (* (/ 1/2 a) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ 1/2 a) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (* (* c (/ c (pow b 3))) a) (/ c b)) (+ (* (* a (* (* (/ a (pow b 5)) (* c c)) c)) -4) (* (+ (* (* c (/ c (pow b 3))) a) (/ c b)) -2)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (pow c 4) (pow b 6)) (/ (* (* (* a (pow c 3)) a) 2) (pow b 4)) (/ c (pow b 3)) (* (+ (* (* (/ c (pow b 3)) c) a) (/ c b)) a) (* (/ a (pow b 5)) (* c c)) (* (+ (* (* a (* (* (/ a (pow b 5)) (* c c)) c)) -4) (* (+ (* (* c (/ c (pow b 3))) a) (/ c b)) -2)) a))
327.0ms	R	@	0	((/ 1 (/ (+ lambda2 lambda1) (* (+ lambda2 lambda1) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (+ (/ 1 (/ (+ lambda2 lambda1) (* (+ lambda2 lambda1) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (* (- phi1 phi2) (- phi1 phi2))) (/ (+ lambda2 lambda1) (* (+ lambda2 lambda1) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2))) (* R (sqrt (+ (/ 1 (/ (+ lambda2 lambda1) (* (+ lambda2 lambda1) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (pow (* (- (* (cos (* phi2 -1/2)) (cos (* phi1 -1/2))) (* (sin (* phi2 -1/2)) (sin (* phi1 -1/2)))) (- lambda1 lambda2)) 2)))) (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (pow (* (- (* (cos (* phi2 -1/2)) (cos (* phi1 -1/2))) (* (sin (* phi2 -1/2)) (sin (* phi1 -1/2)))) (- lambda1 lambda2)) 2))) (neg phi2) (* (/ (/ (- phi2 phi1) phi1) phi2) phi1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (* (- 1 (/ phi1 phi2)) phi2) (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (* (neg (* R lambda2)) (cos (* (+ phi2 phi1) -1/2))) (neg (* R lambda2)) (* R lambda2) (+ (* (neg R) (/ (cos (* -1/2 (+ phi2 phi1))) lambda1)) (* R (/ (cos (* -1/2 (+ phi2 phi1))) lambda2))) (* lambda2 (+ (* (neg R) (/ (cos (* -1/2 (+ phi2 phi1))) lambda1)) (* R (/ (cos (* -1/2 (+ phi2 phi1))) lambda2)))) (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (* (+ (* R (cos (* (+ phi2 phi1) -1/2))) (/ (* (* R lambda2) (cos (* (+ phi2 phi1) -1/2))) (neg lambda1))) lambda1) (sqrt (+ (/ 1 (/ (+ lambda2 lambda1) (* (+ lambda2 lambda1) (pow (* (cos (* (+ phi2 phi1) -1/2)) (- lambda1 lambda2)) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (cos (* (+ phi2 phi1) -1/2)) (/ (/ (- phi2 phi1) phi1) phi2) (cos (* -1/2 (+ phi2 phi1))))

explain21.0s (2.2%)

Memory

-248.5MiB live, 29 665.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1793	1
`+.f64`	`#f`	cancellation	1738	37
`sin.f64`	`#f`	sensitivity	1554	2
`sqrt.f64`	`#f`	oflow-rescue	1405	0
`-.f64`	`#f`	cancellation	959	12
`log.f64`	`#f`	sensitivity	589	2
`-.f64`	`#f`	nan-rescue	553	0
`/.f64`	`#f`	o/n	543	0
`/.f64`	`#f`	o/o	345	0
`/.f64`	`#f`	u/u	331	0
`*.f64`	`#f`	*no**	264	0
`/.f64`	`#f`	u/n	172	0
`exp.f64`	`#f`	sensitivity	172	19
`sqrt.f64`	`#f`	uflow-rescue	159	0
`/.f64`	`#f`	n/o	97	0
`*.f64`	`#f`	*nu**	97	0
`cbrt.f64`	`#f`	oflow-rescue	73	0
`/.f64`	`#f`	n/u	40	0
`cbrt.f64`	`#f`	uflow-rescue	38	0
`*.f64`	`#f`	*uo**	33	0
`*.f64`	`#f`	*ou**	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	20	1
`pow.f64`	`#f`	uflow-rescue	8	0
`pow.f64`	`#f`	sensitivity	7	1
`log.f64`	`#f`	oflow-rescue	4	0
`asin.f64`	`(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))`	sensitivity	1	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	72
↳	`(exp.f64 b)`	underflow	67

Confusion

	Predicted +	Predicted -
+	5836	68
-	1333	6075

Precision

0.8140605384293486

Recall

0.9884823848238482

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5836	38	30
-	1333	27	6048

Precision?

0.8119988941111418

Recall?

0.9949186991869918

Freqs

test

number	freq
0	6143
1	4761
2	1657
3	341
4	241
5	95
6	47
7	16
8	5
9	5
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	1	0
-	3	0	6

Precision?

0.9347826086956522

Recall?

1.0

Samples

4.2s	7 918×	1	valid
2.1s	2 042×	2	valid
2.0s	16 316×	0	valid
677.0ms	348×	3	valid

Compiler

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

Precisions

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

ival-sin: 1.6s (21.7% of total)

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

ival-mult: 1.1s (14.5% of total)

ival-div: 635.0ms (8.6% of total)

adjust: 509.0ms (6.9% of total)

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

ival-sub: 350.0ms (4.8% of total)

ival-add: 282.0ms (3.8% of total)

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

ival-log: 233.0ms (3.2% of total)

ival-sqrt: 226.0ms (3.1% of total)

ival-atan2: 159.0ms (2.2% of total)

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

ival-pow: 85.0ms (1.2% of total)

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

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

ival-pi: 36.0ms (0.5% of total)

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

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

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

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

exact: 19.0ms (0.3% of total)

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

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

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

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

analyze16.9s (1.8%)

Memory

103.9MiB live, 25 202.2MiB allocated

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 990 computations (45.8% saved)

preprocess14.5s (1.5%)

Memory

252.6MiB live, 16 800.6MiB allocated

Algorithm

52×	egg-herbie

Rules

238 304×	`lower-fma.f64`
238 304×	`lower-fma.f32`
81 478×	`lower-*.f32`
81 146×	`lower-*.f64`
46 832×	`unsub-neg`

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 78 567 to 27 040 computations (65.6% saved)

bsearch10.0s (1.1%)

Memory

-152.7MiB live, 14 149.7MiB allocated

Algorithm

281×	binary-search
144×	left-value

Stop Event

266×	narrow-enough
13×	predicate-same
2×	predicate-failed

Samples

4.9s	6 371×	1	valid
1.8s	10 651×	0	valid
1.0s	572×	2	valid
103.0ms	1 139×	0	invalid
79.0ms	38×	3	valid
25.0ms	57×	1	exit

Compiler

Compiled 91 655 to 77 826 computations (15.1% saved)

Precisions

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

ival-cos: 1.6s (21.7% of total)

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

ival-mult: 1.1s (15.6% of total)

ival-sqrt: 703.0ms (9.8% of total)

ival-div: 475.0ms (6.7% of total)

ival-atan2: 375.0ms (5.3% of total)

ival-pow2: 372.0ms (5.2% of total)

adjust: 334.0ms (4.7% of total)

ival-sub: 280.0ms (3.9% of total)

ival-add: 182.0ms (2.5% of total)

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

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

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

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

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

ival-neg: 23.0ms (0.3% of total)

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

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

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

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

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

exact: 12.0ms (0.2% of total)

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

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

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

start2.0ms (0%)

Memory: 5.9MiB live, 5.7MiB allocated

sample3.5min (21.8%)

eval2.5min (15.5%)

end2.3min (14.6%)

simplify1.6min (10%)

localize1.1min (6.9%)

soundness1.0min (6.6%)

rewrite52.7s (5.5%)

regimes46.5s (4.9%)

prune38.5s (4.1%)

series33.0s (3.5%)

explain21.0s (2.2%)

analyze16.9s (1.8%)

preprocess14.5s (1.5%)

bsearch10.0s (1.1%)

start2.0ms (0%)

Profiling