Metrics for Herbie run

Date:	Tuesday, September 24th, 2024
Commit:	6490ee3d on main
Hostname:	nightly with Racket 8.10
Seed:	2024268
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

-2 306.7MiB live, 229 686.5MiB allocated

Samples

50.1s	107 822×	1	valid
43.9s	294 634×	0	valid
30.7s	14 364×	5	exit
17.4s	23 810×	2	valid
7.1s	3 027×	3	valid
6.6s	35 670×	0	exit
3.1s	21 062×	0	invalid
2.5s	11 362×	1	invalid
391.0ms	3 752×	1	exit
342.0ms	860×	2	invalid
140.0ms	19×	4	valid
7.0ms	3×	4	exit

Precisions

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

ival-pow: 24.6s (17.8% of total)

ival-mult: 15.9s (11.5% of total)

ival-cos: 10.5s (7.6% of total)

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

adjust: 10.1s (7.3% of total)

ival-sin: 8.6s (6.2% of total)

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

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

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

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

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

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

ival-log: 4.4s (3.2% of total)

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

ival-neg: 2.4s (1.7% of total)

const: 1.5s (1.1% of total)

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

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

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

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

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

exact: 424.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

end2.5min (16.2%)

Memory: -189.2MiB live, 267 260.6MiB allocated

eval2.3min (15%)

Memory: 3 193.7MiB live, 254 461.8MiB allocated
Compiler: Compiled 15 259 340 to 821 653 computations (94.6% saved)

simplify1.5min (9.8%)

Memory

753.0MiB live, 108 836.0MiB allocated

Algorithm

454×	egg-herbie

Stop Event

604×	iter limit
324×	node limit
130×	saturated

Counts

100 116 → 99 365

localize1.1min (7.3%)

Memory

-322.4MiB live, 93 288.9MiB allocated

Samples

24.5s	15 470×	1	valid
10.3s	27 997×	0	valid
10.2s	3 954×	2	valid
4.4s	442×	5	exit
1.6s	423×	3	valid
1.3s	540×	2	exit
1.0s	1 629×	0	invalid
946.0ms	88×	4	exit
877.0ms	288×	1	invalid
507.0ms	475×	1	exit
475.0ms	76×	3	exit
34.0ms	73×	0	exit
3.0ms	1×	4	valid

Compiler

Compiled 121 612 to 9 423 computations (92.3% saved)

Precisions

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

ival-mult: 8.8s (19% of total)

ival-sin: 7.3s (15.9% of total)

ival-cos: 4.6s (10% of total)

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

adjust: 3.8s (8.2% of total)

ival-pow2: 2.5s (5.4% of total)

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

ival-sub: 1.8s (4% of total)

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

ival-sinu: 1.5s (3.2% of total)

ival-cosu: 1.2s (2.7% of total)

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

const: 899.0ms (2% of total)

ival-log: 765.0ms (1.7% of total)

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

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

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

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

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

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

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

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

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

exact: 116.0ms (0.3% of total)

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

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

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

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

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

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

ival-tanu: 6.0ms (0% of total)

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

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

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

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

soundness1.0min (6.6%)

Memory

-6.7MiB live, 46 801.6MiB allocated

Stop Event

402×	iter limit
275×	node limit
42×	fuel
10×	done

Compiler

Compiled 49 527 to 25 360 computations (48.8% saved)

regimes44.8s (4.8%)

Memory

-203.4MiB live, 65 046.4MiB allocated

Counts

22 994 → 908

Calls

155 calls:

3.1s	lambda1
2.9s	phi1
2.8s	phi2
2.4s	a
2.3s	b

Compiler

Compiled 18 895 to 15 933 computations (15.7% saved)

rewrite43.3s (4.6%)

Memory

338.0MiB live, 50 697.7MiB allocated

Stop Event

406×	iter limit
200×	node limit
1×	saturated

Counts

3 642 → 131 218

prune39.2s (4.2%)

Memory: -1 307.4MiB live, 75 125.9MiB allocated
Counts: 290 613 → 7 661
Compiler: Compiled 568 318 to 283 244 computations (50.2% saved)

series32.7s (3.5%)

Memory

479.6MiB live, 50 535.1MiB allocated

Counts

3 642 → 100 116

Calls

1620 calls:

Time	Variable		Point	Expression
309.0ms	A	@	-inf	((/ (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))) (* (pow B -1/2) (neg (sqrt (* F 2)))) (pow B -1/2) (neg (sqrt (* F 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 (* F (/ 2 B)))) (sqrt (* F (/ 2 B))) (* F (/ 2 B)) (/ (neg (sqrt 2)) (/ (+ (* (* -4 C) A) (* B B)) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B)))))) (neg (sqrt 2)) (sqrt 2) (/ (+ (* (* -4 C) A) (* B B)) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B))))) (/ (neg (sqrt 2)) (/ (+ (* (* -4 C) A) (* B B)) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B)))))) (/ (+ (* (* -4 C) A) (* B B)) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B))))) (exp (* (log (* (/ F B) 2)) 1/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 (exp (* (log (* (/ F B) 2)) 1/2))) (* (log (* (/ F B) 2)) 1/2) (sqrt (* F 2)) (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B))) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B)))) (* (* -8 (* A A)) (* C F)) (sqrt (* (* F (+ (+ (sqrt (+ (* (- A C) (- A C)) (* B B))) A) C)) (+ (* (* -4 C) A) (* B B)))) (sqrt (* F (+ (sqrt (+ (* C C) (* B B))) C))) (+ (sqrt (+ (* C C) (* B B))) C) (log (* (/ F B) 2)) (* (/ F B) 2))
263.0ms	x-scale	@	inf	((* (* (* x-scale 4) a) 1/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))) (* (* x-scale 4) a) (* x-scale 4) (* (* (* 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) (exp (* (log (* (* (- (+ (/ (/ (+ (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))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))))) 1/2)) (/ (neg (exp (* (log (* (* (- (+ (/ (/ (+ (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))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))))) 1/2))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))) (neg (exp (* (log (* (* (- (+ (/ (/ (+ (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))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))))) 1/2))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) 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)) (sqrt (- (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (sqrt (+ (* (* (pow a 4) (* (pow (cos (* (* (PI) angle) 1/180)) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* (* y-scale x-scale) (* y-scale x-scale))))) 4) (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (neg (* y-scale y-scale))))) 2)))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (- (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 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 (* x-scale (sqrt 8))) (sqrt (- (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* (* -2 (+ (* (* a a) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* b b) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))) (* 4 (/ (* (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow (- (* b b) (* a a)) 2)) (* x-scale x-scale)))) (+ (/ (* (* a a) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)) (/ (* (* b b) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* x-scale x-scale)))))))) (- (+ (/ (/ (+ (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)))) (log (* (* (- (+ (/ (/ (+ (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))) (* 8 (* (neg (pow (* a b) 2)) (pow (* y-scale x-scale) -2))))) (neg a) (PI) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (neg (* y-scale y-scale))))) (cos (* (* (PI) angle) 1/180)) (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI)))))
262.0ms	angle	@	0	((* (+ a b) (* (- b a) (sin (* (* angle (PI)) 1/90)))) (+ a b) (* (- b a) (sin (* (* angle (PI)) 1/90))) (- b a) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))) (* (* angle (* 1/90 (PI))) (* (+ b a) (- b a))) (* angle (* 1/90 (PI))) (* 1/90 (PI)) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (* (* -2 (* a a)) (sin (* (* (PI) 1/180) angle))) (* -2 (* a a)) (pow b 2) (pow a 2) (- (pow b 2) (pow a 2)) (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))) (* (* (* 2 (- (pow (sqrt b) 4) (pow a 2))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))) (* (* 2 (- (pow (sqrt b) 4) (pow a 2))) (sin (* (PI) (/ angle 180)))) (* 2 (- (pow (sqrt b) 4) (pow a 2))) (sin (* (* angle (PI)) 1/90)) (* (* angle (PI)) 1/90) (* angle (PI)) (PI) (cos (* (PI) (/ angle 180))) (sin (* (* (PI) 1/180) angle)) (cos (* (PI) (/ angle 180))) (sin (* (PI) (/ angle 180))) (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (PI) (/ angle 180)))) (- (pow (sqrt b) 4) (pow a 2)))
215.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 (+ 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))))) (- (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)) (+ (exp (neg t)) 1) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n)) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (/ 1 (+ 1 (exp (neg t)))))
161.0ms	lambda1	@	0	((- (cos delta) (+ (* (+ (* (cos (* 2 phi1)) -1/2) 1/2) (cos delta)) (* (* (* (sin phi1) (sin delta)) (cos theta)) (cos phi1)))) (+ (* (/ (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (+ (* (+ (* (cos (* 2 phi1)) -1/2) 1/2) (cos delta)) (* (* (* (sin phi1) (sin delta)) (cos theta)) (cos phi1))))) lambda1) lambda1) lambda1) (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (- (cos delta) (* (- 1/2 (* 1/2 (cos (+ phi1 phi1)))) (cos delta))) (* (* (cos theta) (* (sin delta) (cos phi1))) (sin phi1))))) (/ (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (+ (* (+ (* (cos (* 2 phi1)) -1/2) 1/2) (cos delta)) (* (* (* (sin phi1) (sin delta)) (cos theta)) (cos phi1))))) lambda1) (+ lambda1 (atan2 (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (atan2 (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ lambda1 (atan2 (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (atan2 (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (/ (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) 2) (* (sin theta) (+ (sin (+ phi1 delta)) (sin (- delta phi1)))) (+ lambda1 (atan2 (/ (* (sin theta) (+ (* (sin phi1) (cos delta)) (+ (* (cos phi1) (sin delta)) (sin (- delta phi1))))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (atan2 (/ (* (sin theta) (+ (* (sin phi1) (cos delta)) (+ (* (cos phi1) (sin delta)) (sin (- delta phi1))))) 2) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (/ (* (sin theta) (+ (* (sin phi1) (cos delta)) (+ (* (cos phi1) (sin delta)) (sin (- delta phi1))))) 2) (* (sin theta) (+ (* (sin phi1) (cos delta)) (+ (* (cos phi1) (sin delta)) (sin (- delta phi1))))) (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (- (cos delta) (* (pow (sin phi1) 2) (cos delta))) (* (* (cos theta) (* (sin delta) (cos phi1))) (sin phi1))))) (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (- (cos delta) (* (pow (sin phi1) 2) (cos delta))) (* (* (cos theta) (* (sin delta) (cos phi1))) (sin phi1)))) (* (* (sin theta) (sin delta)) (cos phi1)) (* (sin theta) (sin delta)) (+ (* (cos (* 2 phi1)) -1/2) 1/2) (* (* (sin phi1) (sin delta)) (cos theta)) (cos delta) (sin (+ phi1 delta)) (+ (sin (+ phi1 delta)) (sin (- delta phi1))) (sin (- delta phi1)) (+ (* (sin phi1) (cos delta)) (+ (* (cos phi1) (sin delta)) (sin (- delta phi1)))) (- (cos delta) (* (pow (sin phi1) 2) (cos delta))) (* (* (cos theta) (* (sin delta) (cos phi1))) (sin phi1)) (* (cos phi1) (cos phi1)))

explain21.6s (2.3%)

Memory

-246.8MiB live, 31 821.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1924	0
`+.f64`	`#f`	cancellation	1737	28
`sin.f64`	`#f`	sensitivity	1671	2
`sqrt.f64`	`#f`	oflow-rescue	1428	0
`-.f64`	`#f`	cancellation	928	8
`-.f64`	`#f`	nan-rescue	684	0
`log.f64`	`#f`	sensitivity	589	0
`/.f64`	`#f`	o/n	490	0
`/.f64`	`#f`	o/o	363	0
`/.f64`	`#f`	u/u	297	0
`*.f64`	`#f`	*no**	241	0
`/.f64`	`#f`	u/n	155	0
`exp.f64`	`#f`	sensitivity	151	31
`sqrt.f64`	`#f`	uflow-rescue	124	0
`/.f64`	`#f`	n/o	111	0
`cbrt.f64`	`#f`	oflow-rescue	104	0
`*.f64`	`#f`	*nu**	80	0
`cbrt.f64`	`#f`	uflow-rescue	49	0
`*.f64`	`#f`	*ou**	43	0
`/.f64`	`#f`	n/u	39	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	27	2
`*.f64`	`#f`	*uo**	27	0
`log.f64`	`#f`	oflow-rescue	13	0
`pow.f64`	`#f`	uflow-rescue	7	0
`pow.f64`	`#f`	sensitivity	6	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	1

Confusion

	Predicted +	Predicted -
+	5784	77
-	1351	6100

Precision

0.8106517168885774

Recall

0.9868623101859751

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5784	41	36
-	1351	26	6074

Precision?

0.8088031102471536

Recall?

0.9938577034635727

Freqs

test

number	freq
0	6177
1	4677
2	1613
3	356
4	249
5	154
6	58
7	22
8	4
9	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	1	0
-	2	0	7

Precision?

0.9555555555555556

Recall?

1.0

Samples

3.4s	6 942×	1	valid
2.6s	17 350×	0	valid
1.9s	2 026×	2	valid
509.0ms	304×	3	valid
6.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.6s

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

ival-sin: 1.1s (16.5% of total)

ival-cos: 708.0ms (10.7% of total)

ival-div: 528.0ms (8% of total)

ival-pow2: 469.0ms (7.1% of total)

adjust: 419.0ms (6.3% of total)

ival-sub: 359.0ms (5.4% of total)

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

ival-sinu: 307.0ms (4.6% of total)

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

ival-exp: 211.0ms (3.2% of total)

ival-log: 207.0ms (3.1% of total)

ival-sqrt: 168.0ms (2.5% of total)

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

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

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

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

ival-cbrt: 30.0ms (0.5% of total)

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

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

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

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

exact: 21.0ms (0.3% of total)

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

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

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

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

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

analyze18.1s (1.9%)

Memory

69.2MiB live, 24 491.6MiB 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)

preprocess14.6s (1.6%)

Memory

355.7MiB live, 16 032.3MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 68 569 to 23 668 computations (65.5% saved)

bsearch10.5s (1.1%)

Memory

111.9MiB live, 15 018.6MiB allocated

Algorithm

269×	binary-search
127×	left-value

Stop Event

259×	narrow-enough
9×	predicate-same
1×	predicate-failed

Samples

5.0s	6 148×	1	valid
2.0s	10 910×	0	valid
571.0ms	845×	2	valid
329.0ms	2 735×	0	invalid
138.0ms	66×	3	valid
4.0ms	2×	4	valid
3.0ms	58×	0	exit
0.0ms	2×	1	invalid

Compiler

Compiled 97 010 to 78 522 computations (19.1% saved)

Precisions

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

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

ival-sin: 1.3s (18.6% of total)

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

ival-sub: 476.0ms (6.8% of total)

adjust: 435.0ms (6.2% of total)

ival-div: 389.0ms (5.5% of total)

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

ival-sinu: 252.0ms (3.6% of total)

ival-cosu: 213.0ms (3% of total)

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

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

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

ival-acos: 74.0ms (1.1% of total)

ival-neg: 37.0ms (0.5% of total)

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

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

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

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

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

exact: 16.0ms (0.2% of total)

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

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

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

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

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

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

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

start2.0ms (0%)

Memory: 5.5MiB live, 5.5MiB allocated

sample3.3min (21%)

end2.5min (16.2%)

eval2.3min (15%)

simplify1.5min (9.8%)

localize1.1min (7.3%)

soundness1.0min (6.6%)

regimes44.8s (4.8%)

rewrite43.3s (4.6%)

prune39.2s (4.2%)

series32.7s (3.5%)

explain21.6s (2.3%)

analyze18.1s (1.9%)

preprocess14.6s (1.6%)

bsearch10.5s (1.1%)

start2.0ms (0%)

Profiling