Metrics for Herbie run

Date:	Thursday, August 22nd, 2024
Commit:	efa1c98c on faster-localize
Hostname:	nightly with Racket 8.11.1
Seed:	2024235
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

prune6.6min (37%)

Memory: -1 782.8MiB live, 982 030.1MiB allocated
Counts: 294 684 → 7 690
Compiler: Compiled 651 415 to 281 335 computations (56.8% saved)

sample3.4min (19.1%)

Memory

1 276.2MiB live, 271 312.8MiB allocated

Samples

58.5s	121 915×	1	valid
36.9s	279 997×	0	valid
31.5s	14 261×	5	exit
18.3s	24 198×	2	valid
7.6s	3 173×	3	valid
6.7s	34 857×	0	exit
4.0s	10 888×	1	exit
3.2s	20 670×	0	invalid
2.7s	11 168×	1	invalid
547.0ms	36×	4	exit
318.0ms	804×	2	invalid
308.0ms	29×	4	valid
120.0ms	13×	3	exit
35.0ms	14×	2	exit

Precisions

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

ival-pow: 25.8s (17.5% of total)

ival-mult: 17.3s (11.8% of total)

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

ival-sin: 15.6s (10.6% of total)

ival-div: 12.8s (8.7% of total)

adjust: 10.9s (7.4% of total)

ival-pow2: 8.9s (6.1% of total)

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

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

ival-exp: 5.8s (3.9% of total)

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

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

ival-neg: 2.2s (1.5% of total)

const: 2.1s (1.4% of total)

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

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

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

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

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

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

exact: 408.0ms (0.3% of total)

ival-acos: 359.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.5min (8.5%)

Memory

-153.7MiB live, 109 698.1MiB allocated

Algorithm

453×	egg-herbie

Rules

3 758 138×	`lower-fma.f32`
3 757 116×	`lower-fma.f64`
1 759 668×	`lower-*.f32`
1 755 258×	`lower-*.f64`
979 024×	`lower-+.f32`

Stop Event

603×	iter limit
323×	node limit
130×	saturated

Counts

98 484 → 97 801

localize1.1min (6.3%)

Memory

24.2MiB live, 102 716.9MiB allocated

Samples

23.6s	16 797×	1	valid
10.1s	5 163×	2	valid
8.8s	626×	5	exit
8.1s	25 998×	0	valid
1.5s	1 902×	0	invalid
1.1s	460×	3	valid
994.0ms	82×	4	exit
305.0ms	193×	1	exit
211.0ms	154×	1	invalid
127.0ms	68×	2	invalid
31.0ms	2×	4	valid
19.0ms	1×	3	exit
12.0ms	2×	2	exit
6.0ms	6×	0	exit
6.0ms	2×	3	invalid

Compiler

Compiled 126 445 to 9 736 computations (92.3% saved)

Precisions

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

ival-mult: 9.9s (22.1% of total)

ival-cos: 7.0s (15.5% of total)

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

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

adjust: 4.0s (9% of total)

ival-add: 2.8s (6.2% of total)

ival-pow2: 1.7s (3.7% of total)

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

const: 1.3s (2.9% of total)

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

ival-pow: 979.0ms (2.2% of total)

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

ival-log: 716.0ms (1.6% of total)

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

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

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

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

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

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

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

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

exact: 100.0ms (0.2% of total)

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

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

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

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

ival-assert: 22.0ms (0% of total)

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

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

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

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

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

eval1.0min (5.8%)

Memory: 798.6MiB live, 106 476.6MiB allocated
Compiler: Compiled 16 293 556 to 756 006 computations (95.4% saved)

soundness1.0min (5.7%)

Memory

-28.5MiB live, 49 373.2MiB allocated

Rules

2 236 652×	`lower-fma.f32`
2 236 046×	`lower-fma.f64`
1 470 720×	`lower-*.f32`
1 467 996×	`lower-*.f64`
749 474×	`lower-+.f32`

Stop Event

415×	iter limit
279×	node limit
42×	fuel
9×	done

Compiler

Compiled 51 139 to 22 726 computations (55.6% saved)

rewrite47.9s (4.4%)

Memory

385.4MiB live, 65 531.2MiB allocated

Rules

878 544×	`lower-*.f32`
874 260×	`lower-*.f64`
870 468×	`lower-fma.f32`
869 466×	`lower-fma.f64`
687 016×	`lower-/.f32`

Stop Event

407×	iter limit
200×	node limit
1×	saturated

Counts

3 715 → 138 054

regimes42.1s (3.9%)

Memory

33.8MiB live, 64 946.4MiB allocated

Counts

21 478 → 873

Calls

154 calls:

2.7s	phi1
2.6s	lambda1
2.6s	phi2
2.5s	lambda2
2.2s	b

Compiler

Compiled 24 193 to 14 602 computations (39.6% saved)

series29.7s (2.8%)

Memory

296.1MiB live, 48 738.7MiB allocated

Counts

3 715 → 98 484

Calls

1614 calls:

Time	Variable		Point	Expression
298.0ms	t	@	inf	((exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) c_n)))) (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) c_n)) (neg (log (+ 1 (exp (neg s))))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 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))) (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))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow 1/2 c_p) (pow 1/2 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)) (exp (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))))))) (- (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 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))))) (log (+ 1 (exp (neg s)))) (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (exp (neg t)))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))))
161.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 t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n))
127.0ms	t	@	inf	((+ (* -1/2 c_n) (* 1/2 c_p)) (+ (* (- (log 1/2) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))) c_n) (+ (* (- (log (+ 1 (exp (neg t)))) (log 2)) c_p) (* (+ (* -1/2 c_n) (* 1/2 c_p)) s))) (exp (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1)))))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (/ -1 (+ (exp (neg s)) 1)))) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow 1/2 c_p) (pow 1/2 c_n)) (pow 1/2 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 (/ 1 (+ (exp (neg s)) 1))) c_n) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_n) (pow 1/2 c_p)))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (- 1 (/ 1 (+ (exp (neg s)) 1))) (/ (* (pow (+ 1 (exp (neg s))) (neg c_p)) (pow (/ (+ (/ -1 (+ 1 (exp (neg s)))) 1) (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (pow (+ (exp (neg t)) 1) (neg c_p))) (* (pow (+ 1 (exp (neg s))) (neg c_p)) (pow (/ (+ (/ -1 (+ 1 (exp (neg s)))) 1) (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n)) (pow (+ 1 (exp (neg s))) (neg c_p)) (+ 1 (exp (neg s))) (- (log (+ 1 (exp (neg t)))) (log 2)) (- (log 1/2) (log (+ 1 (/ -1 (+ (exp (neg t)) 1))))) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_n) (pow 1/2 c_p))) (pow (+ (exp (neg t)) 1) (neg c_p)) (pow (/ (+ (/ -1 (+ 1 (exp (neg s)))) 1) (- 1 (/ 1 (+ (exp (neg t)) 1)))) c_n) (+ (/ -1 (+ 1 (exp (neg s)))) 1))
122.0ms	a	@	0	((+ (* (/ c (* (* (* b b) b) (* b b))) (* (* c c) -9/16)) (* (* a -1/6) (* (* (* (* c c) c) c) (/ 405/64 (* (* (* b b) b) (* (* (* b b) b) b)))))) (+ (* (+ (* (+ (* (/ c (* (* (* b b) b) (* b b))) (* (* c c) -9/16)) (* (* a -1/6) (* (* (* (* c c) c) c) (/ 405/64 (* (* (* b b) b) (* (* (* b b) b) b)))))) a) (/ (* (* c c) -3/8) (* (* b b) b))) a) (* (/ c b) -1/2)) (* (* a -1/6) (* (* (* (* c c) c) c) (/ 405/64 (* (* (* b b) b) (* (* (* b b) b) b))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (* (+ (* (* c -3/8) (/ a (* (* b b) b))) (/ -1/2 b)) c) (+ (* (* c -3/8) (/ a (* (* b b) b))) (/ -1/2 b)) (/ -1/2 b) (+ (neg b) (sqrt (+ (* b b) (* (* -3 a) c)))) (/ (+ (neg b) (sqrt (+ (* b b) (* (* -3 a) c)))) (* 3 a)) (neg b) (sqrt (+ (* b b) (* (* -3 a) c))) (+ (* (/ c b) -1/2) (* c (* (* (/ a (* (* b b) b)) c) -3/8))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)) (/ c b) (* c (* (* (/ a (* (* b b) b)) c) -3/8)) (- (/ (sqrt (+ (* (* a c) -3) (* b b))) 3) (/ b 3)) (/ (- (/ (sqrt (+ (* (* a c) -3) (* b b))) 3) (/ b 3)) a) (/ b 3) (/ (sqrt (+ (* (* a c) -3) (* b b))) 3) (* (* (* b b) b) (* b b)) (* (* (* (* c c) c) c) (/ 405/64 (* (* (* b b) b) (* (* (* b b) b) b)))) (* (* -3 a) c) (/ a (* (* b b) b)) (* (* b b) b) (+ (* (* a c) -3) (* b b)))
120.0ms	angle	@	-inf	((* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* 2 (* (PI) (* 1/180 angle))) (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* 180 (/ (atan (* (/ (- (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale))) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale))) (* (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))) (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))))))) (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle)))))) (* y-scale x-scale))) (PI))) (pow b 2) (pow a 2) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (* 180 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI))) (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (PI)) (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale))) (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (/ (* (* 2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) y-scale) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (/ (* (* x-scale y-scale) (* 2 (- (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale))))) (* (* (PI) angle) (* (+ b a) (- b a)))) (* (* x-scale y-scale) (* 2 (- (/ (* a a) (* y-scale y-scale)) (/ (* b b) (* x-scale x-scale))))) (/ (* a a) (* y-scale y-scale)) (/ (- (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale))) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale))) (* (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))) (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))))))) (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle)))))) (- (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale))) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) (* y-scale x-scale))) (* (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))) (- (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b))) (* x-scale x-scale)) (/ (+ (* (- 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* b b)) (* (+ 1/2 (* 1/2 (cos (* 2 (* (PI) (* 1/180 angle)))))) (* a a))) (* y-scale y-scale))))))) (sin (* 2 (* (PI) (* 1/180 angle)))) (cos (* 2 (* (PI) (* 1/180 angle)))) (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))) (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-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)))) (/ (+ (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (* (* (+ b a) (- b a)) (* (+ b a) (- b a))) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (/ (+ (* (/ (+ (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (* (* (+ b a) (- b a)) (* (+ b a) (- b a))) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) 1/2) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (* (* x-scale (cos (* (* (PI) angle) 1/180))) (* (* (+ b a) (- b a)) (sin (* (* (PI) angle) 1/180))))) (+ (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (* b b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) (* (* a a) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))))) (* (/ (* (* (* (* (+ b a) (- b a)) (* (+ b a) (- b a))) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* y-scale y-scale)) 4)))

explain20.4s (1.9%)

Memory

-132.8MiB live, 31 885.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1826	4
`+.f64`	`#f`	cancellation	1722	31
`sin.f64`	`#f`	sensitivity	1568	1
`sqrt.f64`	`#f`	oflow-rescue	1396	0
`-.f64`	`#f`	cancellation	934	7
`log.f64`	`#f`	sensitivity	611	1
`-.f64`	`#f`	nan-rescue	534	0
`/.f64`	`#f`	o/n	461	0
`/.f64`	`#f`	u/u	330	0
`/.f64`	`#f`	o/o	312	0
`*.f64`	`#f`	*no**	283	0
`/.f64`	`#f`	u/n	180	0
`sqrt.f64`	`#f`	uflow-rescue	171	0
`exp.f64`	`#f`	sensitivity	148	23
`/.f64`	`#f`	n/o	122	0
`cbrt.f64`	`#f`	oflow-rescue	81	0
`*.f64`	`#f`	*nu**	81	0
`cbrt.f64`	`#f`	uflow-rescue	50	0
`/.f64`	`#f`	n/u	36	0
`*.f64`	`#f`	*ou**	32	0
`*.f64`	`#f`	*uo**	24	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	4
`pow.f64`	`#f`	uflow-rescue	9	0
`pow.f64`	`#f`	sensitivity	7	4
`log.f64`	`#f`	oflow-rescue	5	0

Confusion

	Predicted +	Predicted -
+	5743	66
-	1330	6173

Precision

0.8119609783684434

Recall

0.9886383198485109

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5743	38	28
-	1330	32	6141

Precision?

0.8093238135237295

Recall?

0.9951798932690652

Freqs

test

number	freq
0	6239
1	4658
2	1632
3	391
4	234
5	93
6	29
7	24
8	4
9	7
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	41	1	0
-	3	0	7

Precision?

0.9333333333333333

Recall?

1.0

Samples

4.1s	8 064×	1	valid
2.1s	16 226×	0	valid
1.9s	2 034×	2	valid
582.0ms	296×	3	valid
7.0ms	4×	4	valid

Compiler

Compiled 20 079 to 2 554 computations (87.3% saved)

Precisions

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

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

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

ival-mult: 964.0ms (13.6% of total)

ival-add: 523.0ms (7.4% of total)

ival-div: 516.0ms (7.3% of total)

adjust: 474.0ms (6.7% of total)

ival-pow2: 417.0ms (5.9% of total)

ival-exp: 353.0ms (5% of total)

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

ival-log: 171.0ms (2.4% of total)

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

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

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

ival-pow: 49.0ms (0.7% of total)

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

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

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

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

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

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

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

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

exact: 19.0ms (0.3% of total)

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

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

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

analyze15.8s (1.5%)

Memory

-8.2MiB live, 24 540.1MiB 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)

preprocess14.6s (1.4%)

Memory

71.4MiB live, 16 791.4MiB 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 61 845 to 20 474 computations (66.9% saved)

end11.1s (1%)

Memory: 97.2MiB live, 22 497.3MiB allocated

bsearch8.9s (0.8%)

Memory

184.8MiB live, 13 296.8MiB allocated

Algorithm

255×	binary-search
117×	left-value

Stop Event

245×	narrow-enough
10×	predicate-same

Samples

4.5s	6 027×	1	valid
2.0s	12 009×	0	valid
310.0ms	442×	2	valid
65.0ms	34×	3	valid
24.0ms	259×	0	invalid
12.0ms	1×	3	exit
7.0ms	14×	1	exit
2.0ms	43×	0	exit

Compiler

Compiled 97 816 to 61 827 computations (36.8% saved)

Precisions

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

ival-sin: 1.7s (28.7% of total)

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

ival-mult: 799.0ms (13.5% of total)

adjust: 392.0ms (6.6% of total)

ival-div: 245.0ms (4.1% of total)

ival-pow2: 207.0ms (3.5% of total)

ival-sub: 204.0ms (3.4% of total)

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

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

ival-atan2: 114.0ms (1.9% of total)

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

ival-acos: 58.0ms (1% of total)

ival-exp: 34.0ms (0.6% of total)

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

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

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

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

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

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

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

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

exact: 8.0ms (0.1% of total)

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

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

start1.0ms (0%)

Memory: 3.3MiB live, 3.2MiB allocated

prune6.6min (37%)

sample3.4min (19.1%)

simplify1.5min (8.5%)

localize1.1min (6.3%)

eval1.0min (5.8%)

soundness1.0min (5.7%)

rewrite47.9s (4.4%)

regimes42.1s (3.9%)

series29.7s (2.8%)

explain20.4s (1.9%)

analyze15.8s (1.5%)

preprocess14.6s (1.4%)

end11.1s (1%)

bsearch8.9s (0.8%)

start1.0ms (0%)

Profiling