Metrics for Herbie run

Date:	Thursday, November 21st, 2024
Commit:	d1b0bfd6 on main
Hostname:	nightly with Racket 8.10
Seed:	2024326
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

sample3.2min (32.3%)

Memory

1 199.8MiB live, 195 113.4MiB allocated

Samples

47.6s	107 887×	1	valid
43.9s	294 572×	0	valid
32.4s	14 584×	5	exit
16.3s	23 698×	2	valid
7.0s	3 131×	3	valid
6.1s	35 405×	0	exit
2.9s	20 727×	0	invalid
2.8s	11 189×	1	invalid
340.0ms	3 622×	1	exit
330.0ms	763×	2	invalid
229.0ms	24×	4	valid
9.0ms	4×	4	exit

Precisions

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

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

ival-mult: 18.4s (13.3% of total)

ival-cos: 10.3s (7.5% of total)

ival-div: 10.0s (7.3% of total)

adjust: 9.4s (6.9% of total)

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

ival-sin: 7.5s (5.4% of total)

ival-add: 6.8s (4.9% of total)

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

ival-sinu: 5.8s (4.2% of total)

ival-exp: 5.7s (4.1% of total)

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

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

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

ival-neg: 1.9s (1.4% of total)

const: 1.7s (1.2% of total)

ival-<: 1.5s (1.1% of total)

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

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

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

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

exact: 402.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.2min (12.3%)

Memory

834.1MiB live, 68 654.2MiB allocated

Algorithm

454×	egg-herbie

Stop Event

605×	iter limit
402×	node limit
51×	saturated
1×	unsound

Counts

24 192 → 24 038

localize1.1min (11%)

Memory

-88.6MiB live, 72 383.7MiB allocated

Samples

23.4s	15 630×	1	valid
9.0s	26 765×	0	valid
8.5s	4 292×	2	valid
7.6s	680×	5	exit
1.9s	3 081×	0	invalid
1.8s	175×	4	exit
886.0ms	301×	1	invalid
510.0ms	269×	3	valid
361.0ms	177×	1	exit
97.0ms	5×	3	exit
38.0ms	3×	2	exit
37.0ms	76×	0	exit
18.0ms	2×	4	valid

Compiler

Compiled 117 392 to 9 370 computations (92% saved)

Precisions

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

ival-mult: 8.1s (18.2% of total)

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

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

adjust: 3.8s (8.5% of total)

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

ival-add: 2.5s (5.6% of total)

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

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

ival-sub: 1.4s (3.1% of total)

const: 1.2s (2.6% of total)

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

ival-sqrt: 905.0ms (2% of total)

ival-sinu: 855.0ms (1.9% of total)

ival-exp: 823.0ms (1.8% of total)

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

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

ival-atan2: 469.0ms (1% of total)

ival-hypot: 343.0ms (0.8% of total)

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

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

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

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

ival-expm1: 137.0ms (0.3% of total)

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

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

exact: 101.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

soundness56.3s (9.4%)

Memory

-228.8MiB live, 37 929.4MiB allocated

Stop Event

413×	iter limit
269×	node limit
44×	fuel
8×	done
5×	saturated
2×	unsound

Compiler

Compiled 88 218 to 30 446 computations (65.5% saved)

rewrite41.8s (7%)

Memory

-845.1MiB live, 40 232.0MiB allocated

Stop Event

418×	iter limit
194×	node limit
4×	saturated
3×	unsound

Counts

3 686 → 94 555

regimes33.8s (5.6%)

Memory

-409.1MiB live, 41 364.4MiB allocated

Counts

17 494 → 853

Calls

155 calls:

2.3s	phi2
2.1s	phi1
2.0s	b
1.7s	lambda1
1.7s	a

Compiler

Compiled 17 020 to 14 236 computations (16.4% saved)

eval27.2s (4.5%)

Memory: 62.3MiB live, 35 105.3MiB allocated
Compiler: Compiled 9 938 392 to 630 614 computations (93.7% saved)

prune25.1s (4.2%)

Memory: -387.5MiB live, 37 428.9MiB allocated
Counts: 127 938 → 6 566
Compiler: Compiled 1 044 204 to 399 751 computations (61.7% saved)

series23.8s (4%)

Memory

89.9MiB live, 27 401.0MiB allocated

Counts

3 686 → 24 192

Calls

1632 calls:

Time	Variable		Point	Expression
304.0ms	a	@	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 (* (sqrt 8) y-scale)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))))) (* 1/4 (* (sqrt 8) y-scale)) (* (sqrt 8) 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 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (/ (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 (/ (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))) (* x-scale x-scale)))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-scale) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (* (neg a) a) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* y-scale y-scale)))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (/ (pow (cos (* -1/180 (* (PI) angle))) 2) y-scale) (/ (* a a) y-scale))) (+ (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (/ (pow (cos (* -1/180 (* (PI) angle))) 2) y-scale) (/ (* a a) y-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow a 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (* (neg a) a) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* y-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))) (+ (* (/ 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 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ 1 (/ (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))) (* x-scale x-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))) (* (+ (* (/ (* (* (* (sqrt 8) 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 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale))) 1/2) (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))))) (sqrt (/ 1 (/ (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))) (* x-scale x-scale))))) (* y-scale y-scale)) 1/8) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (/ (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))) (* x-scale x-scale))))) y-scale) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))))) (sin (* (* (PI) angle) 1/180)) (cos (* -1/180 (* (PI) angle))) (* y-scale (sqrt 2)) (sqrt 2) (sqrt (/ (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2)))) (* x-scale x-scale))) (sqrt (+ (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (/ (pow (cos (* -1/180 (* (PI) angle))) 2) y-scale) (/ (* a a) y-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow a 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* a a) x-scale)) (* (* (neg a) a) (/ (pow (cos (* -1/180 (* (PI) angle))) 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 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale))))
274.0ms	c	@	inf	((* (/ (pow c 4) (pow b 6)) (/ 20 b)) (/ (+ (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/4 a) (* (/ (pow c 4) (pow b 6)) (/ 20 b))) (/ (* (pow c 3) -2) (pow b 5))) a) (/ (* (neg c) c) (pow b 3))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg c) b) (neg c) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (* c -2) (+ (* c (* a (/ a (pow b 3)))) (/ a b))) (* c -2) (+ (* (* -4 (pow a 3)) (/ c (pow b 5))) (* (* a (/ a (pow b 3))) -2)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* (+ (* (* -4 (pow a 3)) (/ c (pow b 5))) (* (* a (/ a (pow b 3))) -2)) c) (* (/ a b) -2)) c) (/ (pow c 4) (pow b 6)) (/ (* (pow c 3) -2) (pow b 5)) (* (+ (* -4 a) (/ (* b b) c)) c) (+ (* -4 a) (/ (* b b) c)) (/ a (pow b 3)) (* a (/ a (pow b 3))) (/ c (pow b 5)))
208.0ms	t	@	inf	((/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ 1 (+ (exp (neg s)) 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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (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))) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n)))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (neg (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))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (/ 1 (+ 1 (exp (neg t)))) (- 1 (/ 1 (+ (exp (neg s)) 1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))))
163.0ms	t	@	inf	((fabs (- (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) (* (* (sin (atan (/ (/ (neg eh) ew) (tan t)))) (cos t)) eh))) (- (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) (* (* (sin (atan (/ (/ (neg eh) ew) (tan t)))) (cos t)) eh)) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) (* (sin t) ew) (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)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (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))))) (* ew (sin t)) (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2)) (fabs (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2))) (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2) (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) (cos (atan (/ (/ eh (tan t)) ew))) (/ (/ (neg eh) ew) (tan t)) (/ (/ eh (tan t)) ew) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (/ eh (sin t)) (asinh (/ (/ eh (tan t)) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (* eh (cos t)))
130.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)))) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))))

explain21.0s (3.5%)

Memory

-72.7MiB live, 25 078.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1828	2
`+.f64`	`#f`	cancellation	1765	21
`sin.f64`	`#f`	sensitivity	1577	4
`sqrt.f64`	`#f`	oflow-rescue	1396	0
`-.f64`	`#f`	cancellation	949	8
`-.f64`	`#f`	nan-rescue	586	0
`log.f64`	`#f`	sensitivity	567	0
`/.f64`	`#f`	o/n	500	0
`/.f64`	`#f`	o/o	336	0
`/.f64`	`#f`	u/u	286	0
`*.f64`	`#f`	*no**	237	0
`/.f64`	`#f`	u/n	173	0
`exp.f64`	`#f`	sensitivity	172	20
`sqrt.f64`	`#f`	uflow-rescue	144	0
`/.f64`	`#f`	n/o	116	0
`cbrt.f64`	`#f`	oflow-rescue	98	0
`*.f64`	`#f`	*nu**	73	0
`*.f64`	`#f`	*ou**	47	0
`cbrt.f64`	`#f`	uflow-rescue	37	0
`/.f64`	`#f`	n/u	34	0
`*.f64`	`#f`	*uo**	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	21	3
`pow.f64`	`#f`	sensitivity	11	2
`log.f64`	`#f`	oflow-rescue	5	0
`pow.f64`	`#f`	uflow-rescue	4	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	2	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	2
↳	`(exp.f64 a)`	underflow	60
↳	`(exp.f64 b)`	underflow	58
`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	1

Confusion

	Predicted +	Predicted -
+	5717	59
-	1390	6146

Precision

0.8044181792598846

Recall

0.9897853185595568

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5717	30	29
-	1390	22	6124

Precision?

0.8027657494063417

Recall?

0.9949792243767313

Freqs

test

number	freq
0	6205
1	4769
2	1579
3	306
4	248
5	112
6	70
7	12
8	9
9	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	41	1	0
-	4	0	6

Precision?

0.9130434782608695

Recall?

1.0

Samples

3.2s	6 908×	1	valid
2.7s	17 382×	0	valid
2.0s	2 006×	2	valid
503.0ms	326×	3	valid
35.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.8s

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

ival-mult: 1.0s (15.5% of total)

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

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

adjust: 477.0ms (7.1% of total)

ival-pow2: 375.0ms (5.5% of total)

ival-sinu: 353.0ms (5.2% of total)

ival-add: 341.0ms (5% of total)

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

ival-sub: 271.0ms (4% of total)

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

ival-log: 200.0ms (3% of total)

ival-sqrt: 199.0ms (2.9% of total)

ival-neg: 80.0ms (1.2% of total)

ival-pow: 68.0ms (1% of total)

ival-hypot: 61.0ms (0.9% of total)

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

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

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

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

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

analyze16.0s (2.7%)

Memory

168.2MiB live, 19 785.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 963 computations (47.3% saved)

preprocess11.8s (2%)

Memory

441.1MiB live, 13 331.1MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 133 311 to 23 557 computations (82.3% saved)

bsearch9.2s (1.5%)

Memory

128.8MiB live, 10 057.2MiB allocated

Algorithm

247×	binary-search
132×	left-value

Stop Event

241×	narrow-enough
6×	predicate-same

Samples

3.6s	5 210×	1	valid
2.6s	13 054×	0	valid
512.0ms	707×	2	valid
101.0ms	53×	3	valid
95.0ms	317×	0	invalid
34.0ms	2×	5	exit

Compiler

Compiled 222 661 to 120 595 computations (45.8% saved)

Precisions

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

ival-cos: 1.3s (21.2% of total)

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

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

adjust: 377.0ms (6.2% of total)

ival-div: 353.0ms (5.8% of total)

ival-pow2: 347.0ms (5.7% of total)

ival-sub: 306.0ms (5.1% of total)

ival-cosu: 255.0ms (4.2% of total)

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

ival-add: 136.0ms (2.2% of total)

ival-atan2: 130.0ms (2.1% of total)

ival-sqrt: 88.0ms (1.5% of total)

ival-acos: 82.0ms (1.4% of total)

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

ival-atan: 59.0ms (1% of total)

exact: 40.0ms (0.7% of total)

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

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

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

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

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

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

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

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

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

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

start2.0ms (0%)

Memory: 4.8MiB live, 4.8MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample3.2min (32.3%)

simplify1.2min (12.3%)

localize1.1min (11%)

soundness56.3s (9.4%)

rewrite41.8s (7%)

regimes33.8s (5.6%)

eval27.2s (4.5%)

prune25.1s (4.2%)

series23.8s (4%)

explain21.0s (3.5%)

analyze16.0s (2.7%)

preprocess11.8s (2%)

bsearch9.2s (1.5%)

start2.0ms (0%)

end0.0ms (0%)

Profiling