Metrics for Herbie run

Date:	Thursday, October 10th, 2024
Commit:	991c8ad4 on varun10p-egglog
Hostname:	nightly with Racket 8.10
Seed:	2024284
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.2min (20.5%)

Memory

1 436.0MiB live, 230 261.4MiB allocated

Samples

46.7s	107 744×	1	valid
42.4s	294 772×	0	valid
31.0s	14 081×	5	exit
15.2s	23 733×	2	valid
7.9s	3 042×	3	valid
6.2s	34 257×	0	exit
3.2s	20 849×	0	invalid
2.6s	11 194×	1	invalid
378.0ms	3 509×	1	exit
353.0ms	825×	2	invalid
289.0ms	21×	4	valid
14.0ms	6×	4	exit
1.0ms	1×	3	exit

Precisions

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

ival-pow: 25.5s (18.9% of total)

ival-mult: 15.7s (11.7% of total)

ival-cos: 10.9s (8.1% of total)

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

adjust: 9.0s (6.7% of total)

ival-sin: 8.0s (5.9% of total)

ival-pow2: 7.4s (5.5% of total)

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

ival-sub: 6.2s (4.6% of total)

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

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

ival-cosu: 5.2s (3.8% of total)

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

ival-sqrt: 3.8s (2.8% 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: 946.0ms (0.7% of total)

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

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

exact: 440.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

Bogosity

end2.7min (17.4%)

Memory: 724.0MiB live, 294 556.0MiB allocated

eval2.3min (14.6%)

Memory: 878.3MiB live, 241 854.5MiB allocated
Compiler: Compiled 14 788 392 to 801 978 computations (94.6% saved)

simplify1.5min (9.7%)

Memory

674.2MiB live, 103 339.8MiB allocated

Algorithm

456×	egg-herbie

Stop Event

606×	iter limit
323×	node limit
133×	saturated

Counts

99 564 → 99 034

localize1.1min (6.9%)

Memory

170.4MiB live, 84 904.4MiB allocated

Samples

21.0s	15 138×	1	valid
9.9s	27 836×	0	valid
9.0s	4 110×	2	valid
5.1s	517×	5	exit
1.6s	408×	3	valid
1.2s	2 247×	0	invalid
1.2s	216×	4	exit
1.1s	363×	1	exit
1.0s	414×	2	exit
689.0ms	359×	1	invalid
243.0ms	56×	3	exit
21.0ms	1×	4	valid
16.0ms	43×	0	exit
12.0ms	4×	2	invalid

Compiler

Compiled 218 149 to 16 964 computations (92.2% saved)

Precisions

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

ival-mult: 8.4s (19.8% of total)

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

ival-cos: 4.5s (10.4% of total)

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

adjust: 3.6s (8.4% of total)

ival-add: 2.6s (6.1% of total)

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

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

const: 1.3s (3% of total)

ival-sinu: 1.2s (2.8% of total)

ival-sub: 1.1s (2.5% of total)

ival-sqrt: 916.0ms (2.1% of total)

ival-cosu: 862.0ms (2% of total)

ival-exp: 846.0ms (2% of total)

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

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

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

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

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

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

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

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

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

exact: 102.0ms (0.2% of total)

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

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

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

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

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

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

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

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

soundness1.0min (6.6%)

Memory

399.1MiB live, 44 281.3MiB allocated

Stop Event

411×	iter limit
281×	node limit
44×	fuel
8×	done
1×	saturated

Compiler

Compiled 48 286 to 24 949 computations (48.3% saved)

regimes45.8s (4.9%)

Memory

-8.1MiB live, 65 706.0MiB allocated

Counts

23 104 → 901

Calls

155 calls:

2.7s	phi1
2.6s	phi2
2.5s	a
2.1s	b
2.1s	lambda1

Compiler

Compiled 18 497 to 15 032 computations (18.7% saved)

prune42.1s (4.5%)

Memory: -779.3MiB live, 77 515.0MiB allocated
Counts: 290 344 → 7 849
Compiler: Compiled 598 081 to 299 125 computations (50% saved)

rewrite41.0s (4.4%)

Memory

964.4MiB live, 50 975.0MiB allocated

Stop Event

408×	iter limit
201×	node limit
1×	saturated

Counts

3 607 → 132 285

series32.1s (3.5%)

Memory

-555.1MiB live, 46 725.4MiB allocated

Counts

3 607 → 99 564

Calls

1632 calls:

Time	Variable		Point	Expression
307.0ms	a	@	0	((/ angle 180) (* (* (* (* (sin (* (* 1/180 angle) (PI))) 2) (+ a b)) (- b a)) (cos (* (PI) (/ angle 180)))) (* (* (* (sin (* (* 1/180 angle) (PI))) 2) (+ a b)) (- b a)) (* (* (sin (* (* 1/180 angle) (PI))) 2) (+ a b)) (* (* (* 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)))) (* (* (* b b) 2) (sin (* (* (PI) 1/180) angle))) (/ 1 (pow (* (- b a) (+ a b)) -1)) (* (* (* 2 (/ 1 (pow (* (- b a) (+ a b)) -1))) (sin (* (PI) (/ angle 180)))) (cos (* (PI) (/ angle 180)))) (* (* 2 (/ 1 (pow (* (- b a) (+ a b)) -1))) (sin (* (PI) (/ angle 180)))) (exp (* (log a) 2)) (pow b 2) (- (pow b 2) (exp (* (log a) 2))) (PI) (sin (* (* 1/180 angle) (PI))) (cos (* (PI) (/ angle 180))) (* (PI) (/ angle 180)) (sin (* (* (PI) 1/180) angle)) (sin (* (PI) (/ angle 180))) (* (* 2 (- (pow b 2) (exp (* (log a) 2)))) (sin (* (PI) (/ angle 180)))))
266.0ms	phi2	@	0	((* (sin (+ lambda1 lambda2)) (pow (sin (+ lambda1 lambda2)) -1)) (* (sin (- lambda1 lambda2)) (* (sin (+ lambda1 lambda2)) (pow (sin (+ lambda1 lambda2)) -1))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (+ lambda1 (atan2 (* (cos phi2) (* (sin (- lambda1 lambda2)) (* (sin (+ lambda1 lambda2)) (pow (sin (+ lambda1 lambda2)) -1)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (sin (- lambda1 lambda2))) (sin (- lambda1 lambda2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (/ 1 (/ 1 (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (/ 1 (/ 1 (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))))) (* (cos phi2) (sin (- lambda1 lambda2))) (cos phi2) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (+ (* (* (cos phi2) (+ (* (* 1/2 lambda1) (sin lambda2)) (cos lambda2))) lambda1) (* (neg (sin lambda2)) (cos phi2))) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (cos (- lambda1 lambda2)) (sin (+ lambda1 lambda2)) (sin (- lambda1 lambda2)) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (/ 1 (/ 1 (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1)))) (+ (* (cos (- lambda1 lambda2)) (cos phi2)) 1) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (+ (* (cos phi2) (+ (* (sin lambda2) lambda1) (cos lambda2))) (cos phi1)) (* (cos phi2) (sin (- lambda1 lambda2))))
196.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 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))))) (- (+ (* (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)) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -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)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (log (+ 1 (exp (neg t)))))
190.0ms	angle	@	inf	((* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 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) x-scale)) (sqrt (* 2 (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 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 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-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 (* 2 (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-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) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale 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) (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-scale) (exp (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-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) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (sqrt (* 2 (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2))))) (* y-scale (sqrt 2)) (sqrt 2) (sqrt (* 2 (+ (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale) (/ (* b b) x-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))))) (sqrt (+ (* (* a a) (+ (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale 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) (- (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* x-scale x-scale)) (/ (pow (cos (* (* (PI) angle) 1/180)) 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)) (exp (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale))))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (log (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))))))) (sin (* 2 (* (PI) (* 1/180 angle)))) (cos (* (PI) (* 1/180 angle))))
189.0ms	b	@	-inf	((/ (* (* (/ c (pow b 3)) -3/8) c) b) (+ (* (/ -3/4 b) (/ (* (* (/ c (pow b 3)) -3/8) c) b)) (+ (* (/ -2/9 c) (/ (* (* (/ (pow c 4) (pow b 6)) 405/64) b) c)) (/ (* 9/16 (* c c)) (pow b 5)))) (+ (* (/ -2/9 c) (/ (* (* (/ (pow c 4) (pow b 6)) 405/64) b) c)) (/ (* 9/16 (* c c)) (pow b 5))) (/ 1/3 (* (pow (- (sqrt (+ (* (* -3 c) a) (* b b))) b) -1) a)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (* c (/ -1/2 b)) (/ -1/2 b) (* (- (/ 1/2 (* b b)) (/ 2/3 (* a c))) b) (* (pow (- (sqrt (+ (* (* -3 c) a) (* b b))) b) -1) a) (pow (- (sqrt (+ (* (* -3 c) a) (* b b))) b) -1) (- (/ 1/2 (* b b)) (/ 2/3 (* a c))) (+ (* (/ (* a (* c c)) (pow b 3)) -3/8) (* (/ c b) -1/2)) (/ (/ (- (sqrt (+ (* (* -3 c) a) (* b b))) b) a) 3) (/ (* a (* c c)) (pow b 3)) (* a (* c c)) (/ (- (pow (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) 2) (pow (/ b a) 2)) (+ (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) (/ b a))) (pow (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) 2) (/ (/ (- (pow (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) 2) (pow (/ b a) 2)) (+ (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) (/ b a))) 3) (- (pow (/ (sqrt (+ (* (* -3 a) c) (* b b))) a) 2) (pow (/ b a) 2)) (* (pow (- (sqrt (+ (* (* -3 c) a) (* b b))) b) -1) a) (/ (* 9/16 (* c c)) (pow b 5)) (/ 2/3 (* a c)) (/ 1/3 (* (pow (- (sqrt (+ (* (* -3 c) a) (* b b))) b) -1) a)) (/ 1/2 (* b b)) (pow (/ b a) 2))

explain20.8s (2.2%)

Memory

93.0MiB live, 28 581.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1916	6
`+.f64`	`#f`	cancellation	1713	30
`sin.f64`	`#f`	sensitivity	1663	8
`sqrt.f64`	`#f`	oflow-rescue	1395	0
`-.f64`	`#f`	cancellation	974	10
`-.f64`	`#f`	nan-rescue	643	0
`log.f64`	`#f`	sensitivity	580	1
`/.f64`	`#f`	o/n	488	0
`/.f64`	`#f`	o/o	360	0
`/.f64`	`#f`	u/u	302	0
`*.f64`	`#f`	*no**	234	0
`exp.f64`	`#f`	sensitivity	163	24
`/.f64`	`#f`	u/n	145	0
`sqrt.f64`	`#f`	uflow-rescue	138	0
`/.f64`	`#f`	n/o	104	0
`cbrt.f64`	`#f`	oflow-rescue	82	0
`*.f64`	`#f`	*nu**	81	0
`*.f64`	`#f`	*uo**	41	0
`cbrt.f64`	`#f`	uflow-rescue	35	0
`/.f64`	`#f`	n/u	31	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	21	3
`log.f64`	`#f`	oflow-rescue	10	0
`pow.f64`	`#f`	sensitivity	8	4
`pow.f64`	`#f`	uflow-rescue	6	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	3	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	3
↳	`(exp.f64 a)`	underflow	59
↳	`(exp.f64 b)`	underflow	75

Confusion

	Predicted +	Predicted -
+	5818	61
-	1332	6101

Precision

0.8137062937062937

Recall

0.9896240857288654

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5818	32	29
-	1332	32	6069

Precision?

0.8109232048794012

Recall?

0.9950671882973294

Freqs

test

number	freq
0	6162
1	4752
2	1617
3	308
4	228
5	154
6	70
7	15
8	4
9	2

Total Confusion?

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

Precision?

0.9555555555555556

Recall?

1.0

Samples

3.3s	6 948×	1	valid
2.4s	17 324×	0	valid
2.3s	2 034×	2	valid
550.0ms	318×	3	valid

Compiler

Compiled 29 036 to 3 336 computations (88.5% saved)

Precisions

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

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

ival-mult: 897.0ms (13.1% of total)

ival-cos: 806.0ms (11.7% of total)

ival-div: 642.0ms (9.3% of total)

adjust: 568.0ms (8.3% of total)

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

ival-sub: 363.0ms (5.3% of total)

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

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

ival-cosu: 281.0ms (4.1% of total)

ival-log: 244.0ms (3.6% of total)

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

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

ival-neg: 77.0ms (1.1% of total)

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

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

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

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

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

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

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

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

exact: 19.0ms (0.3% of total)

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

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

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

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

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

analyze16.9s (1.8%)

Memory

257.9MiB live, 23 147.7MiB 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)

preprocess16.6s (1.8%)

Memory

-9.5MiB live, 16 281.8MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
61×	saturated
43×	node limit

Compiler

Compiled 60 953 to 23 654 computations (61.2% saved)

bsearch10.2s (1.1%)

Memory

-125.0MiB live, 14 115.4MiB allocated

Algorithm

302×	binary-search
95×	left-value

Stop Event

287×	narrow-enough
14×	predicate-same
1×	predicate-failed

Samples

3.9s	5 463×	1	valid
3.0s	12 652×	0	valid
565.0ms	644×	2	valid
128.0ms	41×	3	valid
76.0ms	827×	0	invalid
1.0ms	19×	0	exit

Compiler

Compiled 90 943 to 77 921 computations (14.3% saved)

Precisions

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

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

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

ival-mult: 782.0ms (12% of total)

adjust: 599.0ms (9.2% of total)

ival-pow2: 577.0ms (8.9% of total)

ival-sub: 366.0ms (5.6% of total)

ival-div: 322.0ms (5% of total)

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

ival-sinu: 212.0ms (3.3% of total)

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

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

ival-atan2: 116.0ms (1.8% of total)

ival-tan: 76.0ms (1.2% of total)

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

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

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

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

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

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

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

exact: 10.0ms (0.2% of total)

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

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

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

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

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

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

start6.0ms (0%)

Memory: -32.5MiB live, 6.0MiB allocated

sample3.2min (20.5%)

end2.7min (17.4%)

eval2.3min (14.6%)

simplify1.5min (9.7%)

localize1.1min (6.9%)

soundness1.0min (6.6%)

regimes45.8s (4.9%)

prune42.1s (4.5%)

rewrite41.0s (4.4%)

series32.1s (3.5%)

explain20.8s (2.2%)

analyze16.9s (1.8%)

preprocess16.6s (1.8%)

bsearch10.2s (1.1%)

start6.0ms (0%)

Profiling