Metrics for Herbie run

Date:	Wednesday, September 11th, 2024
Commit:	b5881a3c on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024255
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.3min (21%)

Memory

-1 958.1MiB live, 229 746.5MiB allocated

Samples

50.4s	108 341×	1	valid
43.4s	294 155×	0	valid
29.2s	14 310×	5	exit
16.7s	23 697×	2	valid
7.0s	34 872×	0	exit
6.9s	3 084×	3	valid
3.7s	20 883×	0	invalid
3.3s	11 438×	1	invalid
610.0ms	35×	4	valid
397.0ms	3 511×	1	exit
352.0ms	796×	2	invalid
10.0ms	5×	4	exit

Precisions

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

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

ival-mult: 16.1s (11.6% of total)

ival-div: 10.5s (7.5% of total)

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

adjust: 9.3s (6.7% of total)

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

ival-pow2: 7.7s (5.6% of total)

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

ival-sub: 7.0s (5.1% of total)

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

ival-sinu: 5.5s (4% of total)

ival-cosu: 4.8s (3.5% of total)

ival-log: 4.7s (3.3% of total)

ival-sqrt: 4.5s (3.2% of total)

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

const: 2.1s (1.5% of total)

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

ival-hypot: 1.1s (0.8% of total)

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

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

ival-fabs: 437.0ms (0.3% of total)

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

exact: 408.0ms (0.3% of total)

ival-and: 348.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

Bogosity

end2.5min (16.3%)

Memory: -51.3MiB live, 275 942.6MiB allocated

eval2.5min (16.1%)

Memory: 2 017.9MiB live, 271 595.4MiB allocated
Compiler: Compiled 14 256 658 to 784 489 computations (94.5% saved)

simplify1.5min (9.6%)

Memory

1 484.4MiB live, 102 480.1MiB allocated

Algorithm

450×	egg-herbie

Rules

3 442 508×	`lower-fma.f32`
3 441 518×	`lower-fma.f64`
1 694 738×	`lower-*.f32`
1 691 018×	`lower-*.f64`
928 412×	`lower-+.f32`

Stop Event

599×	iter limit
316×	node limit
134×	saturated

Counts

99 348 → 98 695

soundness1.0min (6.6%)

Memory

328.5MiB live, 45 177.0MiB allocated

Rules

2 048 920×	`lower-fma.f32`
2 048 354×	`lower-fma.f64`
1 417 820×	`lower-*.f32`
1 415 298×	`lower-*.f64`
710 488×	`lower-+.f32`

Stop Event

386×	iter limit
262×	node limit
42×	fuel
10×	done

Compiler

Compiled 49 890 to 25 515 computations (48.9% saved)

localize1.0min (6.5%)

Memory

-106.3MiB live, 82 703.5MiB allocated

Samples

20.7s	14 807×	1	valid
10.2s	27 617×	0	valid
8.3s	4 049×	2	valid
4.4s	644×	5	exit
1.5s	190×	4	exit
1.3s	2 382×	0	invalid
1.1s	315×	3	valid
773.0ms	346×	2	exit
494.0ms	147×	1	invalid
453.0ms	329×	1	exit
123.0ms	14×	3	exit
19.0ms	95×	0	exit
13.0ms	5×	4	valid
8.0ms	4×	2	invalid

Compiler

Compiled 116 453 to 9 108 computations (92.2% saved)

Precisions

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

ival-mult: 8.2s (20.4% of total)

ival-sin: 6.0s (15% of total)

ival-cos: 4.3s (10.6% of total)

ival-div: 3.6s (9% of total)

adjust: 3.4s (8.5% of total)

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

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

ival-pow: 1.4s (3.4% of total)

ival-sub: 1.2s (3% of total)

ival-sqrt: 1.1s (2.8% of total)

const: 1.1s (2.6% of total)

ival-sinu: 1.0s (2.5% of total)

ival-exp: 864.0ms (2.2% of total)

ival-cosu: 754.0ms (1.9% of total)

ival-log: 751.0ms (1.9% of total)

ival-neg: 396.0ms (1% of total)

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

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

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

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

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

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

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

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

exact: 107.0ms (0.3% of total)

ival-sinh: 81.0ms (0.2% of total)

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

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

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

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

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

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

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

rewrite44.0s (4.7%)

Memory

190.4MiB live, 51 166.3MiB allocated

Rules

923 316×	`lower-fma.f32`
922 326×	`lower-fma.f64`
883 438×	`lower-*.f32`
879 774×	`lower-*.f64`
682 882×	`lower-/.f32`

Stop Event

401×	iter limit
198×	node limit
1×	saturated

Counts

3 598 → 129 749

regimes44.0s (4.7%)

Memory

94.3MiB live, 63 902.9MiB allocated

Counts

22 674 → 937

Calls

155 calls:

2.4s	phi2
2.4s	a
2.4s	b
2.3s	phi1
2.2s	lambda2

Compiler

Compiled 20 851 to 16 415 computations (21.3% saved)

prune40.2s (4.3%)

Memory: -1 660.1MiB live, 82 873.8MiB allocated
Counts: 287 104 → 7 762
Compiler: Compiled 587 691 to 292 668 computations (50.2% saved)

series28.5s (3.1%)

Memory

688.8MiB live, 43 471.6MiB allocated

Counts

3 598 → 99 348

Calls

1614 calls:

Time	Variable		Point	Expression
221.0ms	a	@	inf	((* (* (* 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 (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) (* (* (sqrt 2) x-scale) (* 1/4 a))) (sqrt 8) (* (* (sqrt 2) x-scale) (* 1/4 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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))) (* -4 (neg (pow (* a b) 2))) (/ (sqrt (* (* (- (+ (/ (/ (+ (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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2)))) (* -4 (neg (pow (* a b) 2)))) (/ (pow (cos (* (* (PI) angle) 1/180)) 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))) (* (* 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 (* (* (* (sqrt 8) y-scale) x-scale) b)) (- (* (* a a) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)))) (+ (* (* a a) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-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))) (sqrt 2) (- (+ (/ (/ (+ (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 (pow (* a b) 2)) (sqrt (* (* (- (+ (/ (/ (+ (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)))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2)))) (neg (pow (* a b) 2)))) (PI) (cos (* (* (PI) angle) 1/180)) (cos (* (* (PI) angle) 1/180)) (- (+ (/ (/ (+ (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)))) (cos (* 1/180 (* angle (PI)))) (neg a))
175.0ms	t	@	-inf	((- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ (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 s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 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 (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 s))))) (- 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))) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (/ 1 (+ (exp (neg t)) 1)) (/ 1 (+ (exp (neg s)) 1)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (/ 1 (+ 1 (exp (neg t)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
175.0ms	a	@	-inf	((sqrt (pow (* a (sin (* (* 1/180 angle) (PI)))) 2)) (* (/ angle 180) (PI)) (+ (pow (sqrt (sqrt (pow (* a (sin (* (* 1/180 angle) (PI)))) 2))) 4) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (sqrt (sqrt (pow (* a (sin (* (* 1/180 angle) (PI)))) 2))) 4) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (* 1/32400 (* a (* (* angle a) angle))) (* (PI) (PI))) (* 1/32400 (* a (* (* angle a) angle))) (+ (* (* (* a (sin (* (* 1/180 angle) (PI)))) (sin (* (* 1/180 angle) (PI)))) a) (pow (* (cos (* (* 1/180 angle) (PI))) b) 2)) (* (* a (sin (* (* 1/180 angle) (PI)))) (sin (* (* 1/180 angle) (PI)))) (* (* (* a (+ (* -1/3149280000 (* (* (pow (PI) 4) angle) angle)) (* (* (PI) (PI)) 1/32400))) angle) angle) (* (* a (+ (* -1/3149280000 (* (* (pow (PI) 4) angle) angle)) (* (* (PI) (PI)) 1/32400))) angle) (exp (log (+ (pow (* (cos (* (* 1/180 angle) (PI))) b) 2) (pow (* a (sin (* (* 1/180 angle) (PI)))) 2)))) (log (+ (pow (* (cos (* (* 1/180 angle) (PI))) b) 2) (pow (* a (sin (* (* 1/180 angle) (PI)))) 2))) (+ (* (log a) 2) (log (pow (sin (* (* (PI) 1/180) angle)) 2))) (log a) (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) angle) 1/180)) (* (* a (sin (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) angle) 1/180)))) (sin (* (* 1/180 angle) (PI)))) (+ (* (* (* a (sin (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) angle) 1/180)))) (sin (* (* 1/180 angle) (PI)))) a) (pow (* (cos (* (* 1/180 angle) (PI))) b) 2)) (* a (sin (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) angle) 1/180)))) (sin (* (* 1/180 angle) (PI))) (cos (* (/ angle 180) (PI))) (sqrt (sqrt (pow (* a (sin (* (* 1/180 angle) (PI)))) 2))) (* a (* (* angle a) angle)) (PI) (cos (* (* 1/180 angle) (PI))) (* a (+ (* -1/3149280000 (* (* (pow (PI) 4) angle) angle)) (* (* (PI) (PI)) 1/32400))) (+ (* -1/3149280000 (* (* (pow (PI) 4) angle) angle)) (* (* (PI) (PI)) 1/32400)) (sin (* (* (PI) 1/180) angle)) (log (pow (sin (* (* (PI) 1/180) angle)) 2)) (sin (* (pow (cbrt (PI)) 2) (* (* (cbrt (PI)) angle) 1/180))))
172.0ms	h	@	inf	((/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))) (- (* g g) (* h h)) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (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)))))) (- (neg g) (sqrt (- (* g g) (* h h)))))
171.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 s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 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 t)))) c_p) (/ 1 (+ 1 (exp (neg t)))))

explain21.6s (2.3%)

Memory

-20.3MiB live, 31 846.6MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1825	4
`+.f64`	`#f`	cancellation	1756	36
`sin.f64`	`#f`	sensitivity	1572	4
`sqrt.f64`	`#f`	oflow-rescue	1344	0
`-.f64`	`#f`	cancellation	941	8
`-.f64`	`#f`	nan-rescue	667	0
`log.f64`	`#f`	sensitivity	593	0
`/.f64`	`#f`	o/n	481	0
`/.f64`	`#f`	o/o	366	0
`/.f64`	`#f`	u/u	267	0
`*.f64`	`#f`	*no**	248	0
`/.f64`	`#f`	u/n	188	0
`exp.f64`	`#f`	sensitivity	172	25
`sqrt.f64`	`#f`	uflow-rescue	162	0
`/.f64`	`#f`	n/o	104	0
`cbrt.f64`	`#f`	oflow-rescue	86	0
`*.f64`	`#f`	*nu**	73	0
`cbrt.f64`	`#f`	uflow-rescue	48	0
`/.f64`	`#f`	n/u	42	0
`*.f64`	`#f`	*uo**	39	0
`*.f64`	`#f`	*ou**	31	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	22	6
`pow.f64`	`#f`	uflow-rescue	7	0
`pow.f64`	`#f`	sensitivity	6	3
`log.f64`	`#f`	oflow-rescue	3	0

Confusion

	Predicted +	Predicted -
+	5743	77
-	1324	6168

Precision

0.8126503466817603

Recall

0.9867697594501719

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5743	37	40
-	1324	37	6131

Precision?

0.8094104467161461

Recall?

0.993127147766323

Freqs

test

number	freq
0	6245
1	4745
2	1509
3	324
4	262
5	139
6	62
7	18
8	6
9	1
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	41	0	0
-	2	1	8

Precision?

0.9318181818181818

Recall?

1.0

Samples

3.3s	7 066×	1	valid
2.3s	17 216×	0	valid
1.9s	2 058×	2	valid
521.0ms	282×	3	valid
3.0ms	2×	4	valid

Compiler

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

Precisions

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

ival-sin: 968.0ms (15.3% of total)

ival-mult: 830.0ms (13.2% of total)

ival-cos: 723.0ms (11.5% of total)

adjust: 601.0ms (9.5% of total)

ival-div: 577.0ms (9.1% of total)

ival-pow2: 364.0ms (5.8% of total)

ival-add: 344.0ms (5.5% of total)

ival-sinu: 299.0ms (4.7% of total)

ival-sub: 295.0ms (4.7% of total)

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

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

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

ival-sqrt: 178.0ms (2.8% of total)

ival-neg: 62.0ms (1% of total)

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

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

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

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

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

ival-true: 29.0ms (0.5% of total)

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

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

exact: 20.0ms (0.3% of total)

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

ival-assert: 14.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.4s (1.8%)

Memory

284.6MiB live, 25 183.9MiB 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 964 computations (47.2% saved)

preprocess15.4s (1.7%)

Memory

-978.3MiB live, 16 835.7MiB 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 67 729 to 25 088 computations (63% saved)

bsearch10.8s (1.2%)

Memory

-163.2MiB live, 12 904.4MiB allocated

Algorithm

273×	binary-search
138×	left-value

Stop Event

269×	narrow-enough
4×	predicate-same

Samples

5.1s	6 241×	1	valid
2.6s	12 629×	0	valid
469.0ms	669×	2	valid
221.0ms	93×	3	valid
72.0ms	756×	0	invalid
3.0ms	42×	0	exit

Compiler

Compiled 81 307 to 70 641 computations (13.1% saved)

Precisions

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

ival-mult: 1.8s (24.4% of total)

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

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

ival-pow2: 436.0ms (5.8% of total)

adjust: 345.0ms (4.6% of total)

ival-div: 312.0ms (4.2% of total)

ival-sub: 277.0ms (3.7% of total)

ival-sinu: 256.0ms (3.4% of total)

ival-cosu: 241.0ms (3.2% of total)

ival-sqrt: 183.0ms (2.4% of total)

ival-add: 179.0ms (2.4% of total)

ival-atan2: 96.0ms (1.3% of total)

ival-acos: 93.0ms (1.2% of total)

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

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

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

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

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

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

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

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

exact: 11.0ms (0.1% of total)

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

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

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

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

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

start2.0ms (0%)

Memory: 5.8MiB live, 5.8MiB allocated

sample3.3min (21%)

end2.5min (16.3%)

eval2.5min (16.1%)

simplify1.5min (9.6%)

soundness1.0min (6.6%)

localize1.0min (6.5%)

rewrite44.0s (4.7%)

regimes44.0s (4.7%)

prune40.2s (4.3%)

series28.5s (3.1%)

explain21.6s (2.3%)

analyze16.4s (1.8%)

preprocess15.4s (1.7%)

bsearch10.8s (1.2%)

start2.0ms (0%)

Profiling