Metrics for Herbie run

Date:	Thursday, September 5th, 2024
Commit:	9205cc88 on zane-concrete-values
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.4min (24.3%)

Memory

-754.7MiB live, 244 382.1MiB allocated

Samples

58.2s	121 163×	1	valid
37.8s	280 798×	0	valid
31.8s	14 214×	5	exit
17.9s	24 148×	2	valid
7.3s	3 167×	3	valid
6.5s	34 963×	0	exit
3.7s	10 716×	1	exit
3.3s	21 114×	0	invalid
2.5s	11 259×	1	invalid
447.0ms	30×	4	exit
324.0ms	36×	4	valid
316.0ms	779×	2	invalid
274.0ms	22×	3	exit
40.0ms	16×	2	exit

Precisions

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

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

ival-mult: 17.8s (12.3% of total)

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

ival-sin: 16.6s (11.4% of total)

ival-div: 11.5s (7.9% of total)

adjust: 10.5s (7.2% of total)

ival-pow2: 8.5s (5.9% of total)

ival-add: 6.7s (4.6% of total)

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

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

ival-sqrt: 3.9s (2.7% of total)

ival-log: 3.9s (2.7% of total)

const: 1.9s (1.3% of total)

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

ival-<: 1.3s (0.9% of total)

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

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

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

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

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

exact: 399.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

eval2.2min (15.3%)

Memory: 1 420.3MiB live, 223 711.6MiB allocated
Compiler: Compiled 13 504 344 to 779 978 computations (94.2% saved)

simplify1.4min (10%)

Memory

502.4MiB live, 99 299.2MiB allocated

Algorithm

452×	egg-herbie

Rules

3 348 108×	`lower-fma.f32`
3 347 136×	`lower-fma.f64`
1 714 950×	`lower-*.f32`
1 711 188×	`lower-*.f64`
927 230×	`lower-+.f32`

Stop Event

600×	iter limit
317×	node limit
135×	saturated

Counts

99 672 → 99 046

end1.4min (9.9%)

Memory: -270.9MiB live, 157 345.6MiB allocated

localize1.1min (7.6%)

Memory

-277.2MiB live, 87 122.9MiB allocated

Samples

21.4s	15 822×	1	valid
10.3s	27 951×	0	valid
9.6s	894×	5	exit
7.3s	3 670×	2	valid
1.3s	1 746×	0	invalid
786.0ms	339×	1	invalid
718.0ms	431×	3	valid
633.0ms	57×	4	exit
163.0ms	83×	1	exit
47.0ms	204×	0	exit
37.0ms	2×	3	exit
16.0ms	1×	4	valid

Compiler

Compiled 113 354 to 9 368 computations (91.7% saved)

Precisions

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

ival-mult: 8.3s (19.7% of total)

ival-sin: 7.0s (16.7% of total)

ival-cos: 6.2s (14.8% of total)

adjust: 3.9s (9.4% of total)

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

ival-add: 2.3s (5.5% of total)

ival-pow2: 1.8s (4.4% of total)

ival-sub: 1.6s (3.8% of total)

ival-pow: 1.3s (3.2% of total)

ival-sqrt: 1.0s (2.4% of total)

const: 961.0ms (2.3% of total)

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

ival-log: 762.0ms (1.8% of total)

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

ival-neg: 362.0ms (0.9% of total)

ival-hypot: 304.0ms (0.7% of total)

ival-log1p: 275.0ms (0.7% of total)

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

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

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

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

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

exact: 101.0ms (0.2% of total)

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

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

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

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

ival-assert: 21.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 (7.4%)

Memory

595.7MiB live, 48 043.7MiB allocated

Rules

2 158 598×	`lower-fma.f32`
2 157 994×	`lower-fma.f64`
1 497 498×	`lower-*.f32`
1 494 640×	`lower-*.f64`
749 784×	`lower-+.f32`

Stop Event

428×	iter limit
284×	node limit
45×	fuel
7×	done
1×	saturated

Compiler

Compiled 53 920 to 27 375 computations (49.2% saved)

rewrite44.3s (5.2%)

Memory

430.3MiB live, 56 179.0MiB allocated

Rules

910 308×	`lower-fma.f32`
909 340×	`lower-fma.f64`
883 550×	`lower-*.f32`
879 864×	`lower-*.f64`
669 886×	`lower-/.f32`

Stop Event

405×	iter limit
199×	node limit
1×	saturated

Counts

3 658 → 132 364

regimes40.4s (4.7%)

Memory

208.4MiB live, 63 613.9MiB allocated

Counts

24 733 → 1 015

Calls

155 calls:

2.8s	b
2.8s	phi2
2.2s	phi1
2.1s	lambda1
2.0s	a

Compiler

Compiled 20 324 to 16 109 computations (20.7% saved)

prune38.7s (4.6%)

Memory: -983.5MiB live, 73 604.3MiB allocated
Counts: 282 518 → 7 673
Compiler: Compiled 557 491 to 284 035 computations (49.1% saved)

series29.9s (3.5%)

Memory

525.7MiB live, 43 733.0MiB allocated

Counts

3 658 → 99 672

Calls

1626 calls:

Time	Variable		Point	Expression
203.0ms	c_n	@	inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (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))) (+ (exp (neg s)) 1) (pow (/ 1 (+ 1 (exp (neg t)))) 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))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) (/ (exp (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (/ (pow (+ (exp (neg s)) 1) (neg c_p)) (/ (exp (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n))) (pow (+ (exp (neg s)) 1) (neg c_p)) (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)))
190.0ms	g	@	0	((* (/ (cbrt -1) (cbrt a)) (cbrt (* -1/2 g))) (/ (cbrt -1) (cbrt a)) (cbrt -1) (cbrt a) (* (/ -1/2 a) (neg g)) (cbrt (* (/ -1/2 a) (neg g))) (/ -1/2 a) (neg g) (/ (* (/ -1/2 a) (neg (* g g))) g) (* (/ -1/2 a) (neg (* g g))) (cbrt (/ (* (/ -1/2 a) (neg (* g g))) g)) (/ (cbrt (* -1/2 g)) (cbrt (neg a))) (cbrt (* -1/2 g)) (* -1/2 g) (cbrt (neg a)) (/ (cbrt -1) (cbrt (/ (* -2 a) g))) (cbrt (/ (* -2 a) g)) (/ (* -2 a) g) (neg (* g g)) (neg a) (* -2 a))
164.0ms	t	@	inf	((- (+ (* (neg c_p) (log 2)) (+ (* (+ (* -1/2 c_n) (* 1/2 c_p)) s) (* (log 1/2) c_n))) (+ (* (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) c_n) (* (neg c_p) (log (+ 1 (exp (neg t))))))) (+ (* -1/2 c_n) (* 1/2 c_p)) (+ (* (neg c_p) (log 2)) (+ (* (+ (* -1/2 c_n) (* 1/2 c_p)) s) (* (log 1/2) c_n))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n)))) (/ (* (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))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 1)) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n)))) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (* (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))) c_n) (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))) (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (- (exp (neg (log (+ 1 (exp (neg s)))))) 1) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (log (+ 1 (exp (neg t)))) (+ (* (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) c_n) (* (neg c_p) (log (+ 1 (exp (neg t)))))) (+ (exp (neg s)) 1) (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) (/ (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (+ (exp (neg s)) 1) (neg c_p)) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
130.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 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)))) -1/2))))) (* (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* (* 1/4 a) x-scale) 4) (/ (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 a) x-scale) (* 1/4 a) (* (neg (pow (* a b) 2)) 4) (* 4 (* (* b a) (* b (neg a)))) (/ (neg (sqrt (* (* (* (/ 2 (* y-scale y-scale)) (/ (* (neg (pow (* a b) 2)) 4) (* x-scale x-scale))) (* (* 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 (* y-scale y-scale)) (/ (* (neg (pow (* a b) 2)) 4) (* x-scale x-scale))) (* (* 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))))))) (* 1/2 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2) (pow (cos (* 1/180 (* angle (PI)))) 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))) (* (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 4) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* (* 1/4 (* b (* x-scale (* y-scale (sqrt 8))))) (sqrt (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (* 1/2 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2) (pow (cos (* 1/180 (* angle (PI)))) 2)))))) (cbrt (pow (PI) 3)) (/ (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) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* (* (cbrt (pow (PI) 3)) angle) 1/180)) 2) (* x-scale x-scale))) (sqrt (+ (* (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale)))) 4) (pow (- (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)))) (neg a) (neg (pow (* a b) 2)) (PI) (cos (* 1/180 (* angle (PI)))) (cos (* (* (PI) angle) 1/180)))
128.0ms	C	@	0	((* (/ (sqrt (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) -1) (/ (sqrt (* (* 2 F) (+ (* -4 (* C A)) (* B B)))) (+ (* -4 (* C A)) (* B B)))) (/ (sqrt (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) -1) (sqrt (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (neg (sqrt (* (/ F B) 2))) (sqrt (* (/ F B) 2)) (* (/ F B) 2) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* (neg (sqrt 2)) (pow (* (/ F B) (/ F B)) 1/4)) (neg (sqrt 2)) (sqrt 2) (/ (sqrt (* (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))) (neg (+ (* -4 (* C A)) (* B B)))) (sqrt (* (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))) (* (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C) (* (* 2 F) (+ (* -4 (* C A)) (* B B)))) (pow B 2) (- (pow B 2) (* (* 4 A) C)) (/ (* (sqrt (* (* 2 F) (+ (* (* -4 C) A) (* B B)))) (neg (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (* (sqrt (* (* 2 F) (+ (* (* -4 C) A) (* B B)))) (neg (sqrt (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 F) (+ (* -4 (* C A)) (* B B)))) (/ (sqrt (* (* 2 F) (+ (* -4 (* C A)) (* B B)))) (+ (* -4 (* C A)) (* B B))) (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) (* (* 2 F) (+ (* -4 (* C A)) (* B B))) (pow (* (/ F B) (/ F B)) 1/4) (* (/ F B) (/ F B)) (+ (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (sqrt (* (* 2 F) (+ (* (* -4 C) A) (* B B)))) (/ (* B B) A))

explain20.8s (2.4%)

Memory

-628.7MiB live, 29 838.0MiB 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

3.8s	7 918×	1	valid
2.1s	16 316×	0	valid
2.0s	2 042×	2	valid
657.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: 6.9s

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

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

ival-mult: 991.0ms (14.4% of total)

ival-div: 531.0ms (7.7% of total)

adjust: 494.0ms (7.2% of total)

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

ival-add: 334.0ms (4.8% of total)

ival-sub: 293.0ms (4.2% of total)

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

ival-log: 226.0ms (3.3% of total)

ival-sqrt: 155.0ms (2.2% of total)

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

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

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

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

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

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

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

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

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

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

exact: 18.0ms (0.3% of total)

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

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

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

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

analyze16.9s (2%)

Memory

285.2MiB live, 20 694.0MiB 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)

preprocess15.9s (1.9%)

Memory

-66.6MiB live, 17 144.5MiB 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 76 865 to 25 962 computations (66.2% saved)

bsearch10.5s (1.2%)

Memory

51.1MiB live, 13 628.5MiB allocated

Algorithm

325×	binary-search
151×	left-value

Stop Event

317×	narrow-enough
8×	predicate-same

Samples

4.9s	6 330×	1	valid
2.4s	11 104×	0	valid
493.0ms	685×	2	valid
210.0ms	105×	3	valid
46.0ms	534×	0	invalid
45.0ms	110×	1	exit

Compiler

Compiled 103 667 to 89 392 computations (13.8% saved)

Precisions

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

ival-sin: 1.8s (25.5% of total)

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

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

ival-pow2: 525.0ms (7.3% of total)

ival-div: 401.0ms (5.6% of total)

adjust: 397.0ms (5.5% of total)

ival-sub: 362.0ms (5% of total)

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

ival-add: 194.0ms (2.7% of total)

ival-atan2: 141.0ms (2% of total)

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

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

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

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

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

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

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

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

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

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

exact: 11.0ms (0.2% of total)

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

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

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

start2.0ms (0%)

Memory: 5.3MiB live, 5.2MiB allocated

sample3.4min (24.3%)

eval2.2min (15.3%)

simplify1.4min (10%)

end1.4min (9.9%)

localize1.1min (7.6%)

soundness1.0min (7.4%)

rewrite44.3s (5.2%)

regimes40.4s (4.7%)

prune38.7s (4.6%)

series29.9s (3.5%)

explain20.8s (2.4%)

analyze16.9s (2%)

preprocess15.9s (1.9%)

bsearch10.5s (1.2%)

start2.0ms (0%)

Profiling