Herbie run

Date:Wednesday, October 2nd, 2024
Commit:913204d2 on artem-batch-finish-rewrite
Hostname:nightly with Racket 8.10
Seed:2024276
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

Time bar (total: 12.1min)

sample3.3min (27.3%)

Memory
-1 425.4MiB live, 230 178.0MiB allocated
Samples
50.3s107 998×1valid
43.5s294 642×0valid
33.2s14 532×5exit
16.1s23 537×2valid
7.7s3 109×3valid
6.6s35 456×0exit
3.3s21 088×0invalid
2.3s11 508×1invalid
558.0ms800×2invalid
384.0ms3 597×1exit
256.0ms26×4valid
10.0ms4×4exit
3.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 26.9s (19.1% of total)
ival-mult: 17.0s (12% of total)
ival-div: 11.0s (7.8% of total)
ival-cos: 10.2s (7.2% of total)
adjust: 9.9s (7% of total)
ival-pow2: 7.6s (5.4% of total)
ival-sin: 7.5s (5.3% of total)
ival-sub: 7.5s (5.3% of total)
ival-add: 7.0s (4.9% of total)
ival-exp: 6.3s (4.5% of total)
ival-sinu: 5.7s (4% of total)
ival-cosu: 5.0s (3.5% of total)
ival-sqrt: 3.9s (2.8% of total)
ival-log: 3.9s (2.8% of total)
ival-neg: 2.4s (1.7% of total)
ival-<: 1.9s (1.4% of total)
const: 1.8s (1.3% of total)
ival-atan2: 826.0ms (0.6% of total)
ival-tan: 728.0ms (0.5% of total)
ival-hypot: 651.0ms (0.5% of total)
ival-acos: 427.0ms (0.3% of total)
exact: 402.0ms (0.3% of total)
ival-and: 349.0ms (0.2% of total)
ival-<=: 344.0ms (0.2% of total)
ival-cbrt: 332.0ms (0.2% of total)
ival-true: 313.0ms (0.2% of total)
ival-atan: 271.0ms (0.2% of total)
ival-assert: 216.0ms (0.2% of total)
ival-pi: 186.0ms (0.1% of total)
ival-log1p: 185.0ms (0.1% of total)
ival-asin: 161.0ms (0.1% of total)
ival-fabs: 157.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.4min (11.4%)

Memory
1 257.1MiB live, 89 177.8MiB allocated
Algorithm
454×egg-herbie
Stop Event
603×iter limit
318×node limit
136×saturated
Counts
100 236 → 99 653

localize1.1min (9.4%)

Memory
106.5MiB live, 84 393.6MiB allocated
Samples
23.6s15 230×1valid
10.5s28 543×0valid
9.2s3 949×2valid
6.5s630×5exit
2.2s478×3valid
1.3s1 660×0invalid
636.0ms368×2exit
509.0ms299×1exit
344.0ms150×1invalid
165.0ms14×4exit
159.0ms23×3exit
34.0ms106×0exit
15.0ms6×4valid
Compiler

Compiled 267 106 to 20 076 computations (92.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.3s
ival-mult: 9.9s (21.8% of total)
ival-sin: 7.8s (17.3% of total)
ival-cos: 5.2s (11.5% of total)
ival-div: 3.8s (8.3% of total)
adjust: 3.3s (7.3% of total)
ival-add: 2.5s (5.5% of total)
ival-pow2: 2.2s (4.9% of total)
ival-sub: 1.3s (2.9% of total)
ival-pow: 1.3s (2.9% of total)
const: 1.2s (2.5% of total)
ival-sinu: 1.1s (2.5% of total)
ival-cosu: 864.0ms (1.9% of total)
ival-sqrt: 832.0ms (1.8% of total)
ival-log: 800.0ms (1.8% of total)
ival-exp: 701.0ms (1.5% of total)
ival-neg: 473.0ms (1% of total)
ival-atan2: 457.0ms (1% of total)
ival-hypot: 410.0ms (0.9% of total)
ival-atan: 222.0ms (0.5% of total)
ival-tan: 165.0ms (0.4% of total)
ival-acos: 153.0ms (0.3% of total)
ival-cbrt: 143.0ms (0.3% of total)
exact: 107.0ms (0.2% of total)
ival-fabs: 74.0ms (0.2% of total)
ival-pi: 73.0ms (0.2% of total)
ival-expm1: 63.0ms (0.1% of total)
ival-log1p: 55.0ms (0.1% of total)
ival-true: 50.0ms (0.1% of total)
ival-asin: 47.0ms (0.1% of total)
ival-assert: 25.0ms (0.1% of total)
ival-cosh: 10.0ms (0% of total)
ival-e: 9.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-tanh: 1.0ms (0% of total)

eval1.1min (9.1%)

Memory
1 466.2MiB live, 93 651.5MiB allocated
Compiler

Compiled 23 279 870 to 846 575 computations (96.4% saved)

soundness1.1min (9%)

Memory
293.8MiB live, 46 660.1MiB allocated
Stop Event
427×iter limit
287×node limit
46×fuel
6×done
1×saturated
Compiler

Compiled 106 606 to 36 799 computations (65.5% saved)

regimes54.7s (7.5%)

Memory
-227.2MiB live, 70 153.1MiB allocated
Counts
25 243 → 975
Calls

155 calls:

3.6s
phi2
3.5s
phi1
3.3s
lambda1
3.0s
lambda2
2.9s
b
Compiler

Compiled 23 271 to 17 834 computations (23.4% saved)

prune46.1s (6.3%)

Memory
-1 631.5MiB live, 77 851.8MiB allocated
Counts
304 509 → 8 014
Compiler

Compiled 1 173 291 to 452 302 computations (61.5% saved)

rewrite44.0s (6.1%)

Memory
287.7MiB live, 49 547.7MiB allocated
Stop Event
405×iter limit
200×node limit
1×saturated
Counts
3 637 → 139 599

series33.7s (4.6%)

Memory
-318.9MiB live, 45 073.9MiB allocated
Counts
3 637 → 100 236
Calls

1629 calls:

TimeVariablePointExpression
320.0ms
c_n
@inf
((- 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)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 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))) (- 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 (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (* (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (/ 1 (+ (exp (neg s)) 1)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ 1 (exp (neg s))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (+ (exp (neg s)) 1) (neg c_p)) (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t)))))
243.0ms
angle
@-inf
((exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI)))))) (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI))))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI)))))))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (+ (pow (* (sin (* (PI) (* 1/180 angle))) a) 2) (pow (* (cos (/ (* (PI) angle) -180)) b) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (* (* angle angle) 1/32400) (* (* (* (PI) (PI)) a) a)) (* (* angle angle) 1/32400) (+ (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (* a (sin (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)) (exp (log (* (* angle 1/180) (PI)))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (log (* (* angle 1/180) (PI)))))) 2)) (* a (sin (* (/ angle 180) (PI)))) (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180)))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180)))))) 2)) (cos (exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI))))))) (sin (* (/ angle 180) (PI))) (PI) (cos (* (/ angle 180) (PI))) (* (* (PI) angle) 1/180) (cos (exp (log (* (* angle 1/180) (PI))))) (cos (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180))))))
219.0ms
a
@-inf
((exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI)))))) (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI))))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI)))))))) 2)) (pow (* a (sin (* (/ angle 180) (PI)))) 2) (+ (pow (* (sin (* (PI) (* 1/180 angle))) a) 2) (pow (* (cos (/ (* (PI) angle) -180)) b) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (* (* angle angle) 1/32400) (* (* (* (PI) (PI)) a) a)) (* (* angle angle) 1/32400) (+ (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (* a (sin (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)) (exp (log (* (* angle 1/180) (PI)))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (log (* (* angle 1/180) (PI)))))) 2)) (* a (sin (* (/ angle 180) (PI)))) (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180)))) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180)))))) 2)) (cos (exp (/ (- (pow (log (/ 180 angle)) 2) (pow (log (PI)) 2)) (neg (log (* (/ 180 angle) (PI))))))) (sin (* (/ angle 180) (PI))) (PI) (cos (* (/ angle 180) (PI))) (* (* (PI) angle) 1/180) (cos (exp (log (* (* angle 1/180) (PI))))) (cos (exp (+ (log (* (sqrt (PI)) angle)) (log (* (sqrt (PI)) 1/180))))))
217.0ms
angle
@0
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) y-scale)) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)))) -1/2))))) (* 1/4 (* (sqrt 8) y-scale)) (* (sqrt 8) y-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))) (* (* (* x-scale 4) a) 1/4) (* (* x-scale 4) a) (* x-scale 4) (* 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 (* a b)) (* y-scale x-scale)) (/ (* (neg a) b) (* y-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))))))) (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)))))) (+ (* -2 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-scale)))) (+ (* -1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* y-scale y-scale) (+ (* -2 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* y-scale y-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))) (exp (* (log (+ (* -1/2 (/ (+ (* (* -2 (+ (pow (* (cos (* (* 1/180 (PI)) angle)) b) 2) (pow (* (sin (* (* 1/180 (PI)) angle)) a) 2))) (+ (/ (pow (* (sin (* (* 1/180 (PI)) angle)) b) 2) (* y-scale y-scale)) (/ (pow (* (cos (* (* 1/180 (PI)) angle)) a) 2) (* y-scale y-scale)))) (* (/ (pow (* (* (* (- b a) (+ a b)) (sin (* (* 1/180 (PI)) angle))) (cos (* (* 1/180 (PI)) angle))) 2) y-scale) (/ 4 y-scale))) (+ (/ (pow (* (sin (* (* 1/180 (PI)) angle)) b) 2) (* y-scale y-scale)) (/ (pow (* (cos (* (* 1/180 (PI)) angle)) a) 2) (* y-scale y-scale))))) (+ (pow (* (cos (* (* 1/180 (PI)) angle)) b) 2) (pow (* (sin (* (* 1/180 (PI)) angle)) a) 2)))) 1/2)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) y-scale)) (exp (* (log (+ (* -1/2 (/ (+ (* (* -2 (+ (pow (* (cos (* (* 1/180 (PI)) angle)) b) 2) (pow (* (sin (* (* 1/180 (PI)) angle)) a) 2))) (+ (/ (pow (* (sin (* (* 1/180 (PI)) angle)) b) 2) (* y-scale y-scale)) (/ (pow (* (cos (* (* 1/180 (PI)) angle)) a) 2) (* y-scale y-scale)))) (* (/ (pow (* (* (* (- b a) (+ a b)) (sin (* (* 1/180 (PI)) angle))) (cos (* (* 1/180 (PI)) angle))) 2) y-scale) (/ 4 y-scale))) (+ (/ (pow (* (sin (* (* 1/180 (PI)) angle)) b) 2) (* y-scale y-scale)) (/ (pow (* (cos (* (* 1/180 (PI)) angle)) a) 2) (* y-scale y-scale))))) (+ (pow (* (cos (* (* 1/180 (PI)) angle)) b) 2) (pow (* (sin (* (* 1/180 (PI)) angle)) a) 2)))) 1/2))) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)))) -1/2)))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)))) -1/2)))) (cos (* 1/180 (* angle (PI)))) (cos (* (* 1/180 (PI)) angle)))
189.0ms
s
@-inf
((- 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)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 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))) (- 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 (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (* (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (/ 1 (+ (exp (neg s)) 1)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ 1 (exp (neg s))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (+ (exp (neg s)) 1) (neg c_p)) (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t)))))

explain21.8s (3%)

Memory
-29.9MiB live, 28 710.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19941
sin.f64#fsensitivity17370
+.f64#fcancellation171134
sqrt.f64#foflow-rescue13880
-.f64#fcancellation9618
-.f64#fnan-rescue6380
log.f64#fsensitivity5761
/.f64#fo/n4930
/.f64#fo/o3750
/.f64#fu/u2770
*.f64#fn*o2270
exp.f64#fsensitivity17322
/.f64#fu/n1630
sqrt.f64#fuflow-rescue1390
/.f64#fn/o990
cbrt.f64#foflow-rescue950
*.f64#fn*u720
cbrt.f64#fuflow-rescue410
*.f64#fu*o370
*.f64#fo*u350
/.f64#fn/u260
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)))))sensitivity226
pow.f64#fuflow-rescue120
pow.f64#fsensitivity101
log.f64#foflow-rescue80
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity12
Confusion
Predicted +Predicted -
+578865
-14016058
Precision
0.8051189317012102
Recall
0.9888945839740304
Confusion?
Predicted +Predicted MaybePredicted -
+57883728
-1401346024
Precision?
0.8023415977961432
Recall?
0.9952161284811208
Freqs
test
numberfreq
06123
14687
21719
3328
4223
5132
668
720
89
91
102
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-216
Precision?
0.9347826086956522
Recall?
1.0
Samples
3.4s7 016×1valid
2.6s17 330×0valid
2.5s1 966×2valid
550.0ms308×3valid
9.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-sin: 1.2s (17.1% of total)
ival-mult: 917.0ms (12.9% of total)
ival-cos: 799.0ms (11.2% of total)
ival-cosu: 524.0ms (7.4% of total)
ival-div: 519.0ms (7.3% of total)
ival-pow2: 475.0ms (6.7% of total)
adjust: 419.0ms (5.9% of total)
ival-sub: 412.0ms (5.8% of total)
ival-sinu: 369.0ms (5.2% of total)
ival-add: 317.0ms (4.4% of total)
ival-exp: 268.0ms (3.8% of total)
ival-log: 216.0ms (3% of total)
ival-sqrt: 204.0ms (2.9% of total)
ival-neg: 80.0ms (1.1% of total)
ival-atan2: 68.0ms (1% of total)
ival-tan: 48.0ms (0.7% of total)
ival-hypot: 42.0ms (0.6% of total)
ival-atan: 33.0ms (0.5% of total)
ival-fabs: 33.0ms (0.5% of total)
ival-acos: 30.0ms (0.4% of total)
ival-true: 27.0ms (0.4% of total)
ival-pow: 25.0ms (0.4% of total)
exact: 20.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.3% of total)
ival-pi: 19.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

analyze16.3s (2.2%)

Memory
76.7MiB live, 22 599.4MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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.3s (2.1%)

Memory
160.9MiB live, 15 999.0MiB allocated
Algorithm
52×egg-herbie
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 187 253 to 37 670 computations (79.9% saved)

bsearch13.5s (1.9%)

Memory
-29.4MiB live, 17 531.4MiB allocated
Algorithm
304×binary-search
118×left-value
Stop Event
287×narrow-enough
12×predicate-same
5×predicate-failed
Samples
5.6s7 144×1valid
2.9s12 668×0valid
778.0ms3 046×0exit
588.0ms507×2valid
161.0ms1 546×0invalid
88.0ms44×3valid
Compiler

Compiled 262 723 to 147 607 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-cos: 1.9s (21.9% of total)
ival-sin: 1.7s (19.7% of total)
ival-mult: 1.2s (13.7% of total)
adjust: 650.0ms (7.5% of total)
ival-pow2: 521.0ms (6% of total)
ival-sub: 410.0ms (4.7% of total)
ival-div: 384.0ms (4.4% of total)
ival-exp: 281.0ms (3.2% of total)
ival-atan2: 247.0ms (2.8% of total)
ival-sinu: 232.0ms (2.7% of total)
ival-add: 213.0ms (2.4% of total)
ival-pow: 207.0ms (2.4% of total)
ival-sqrt: 183.0ms (2.1% of total)
ival-cosu: 172.0ms (2% of total)
ival-acos: 82.0ms (0.9% of total)
ival-neg: 74.0ms (0.9% of total)
ival-pi: 51.0ms (0.6% of total)
ival-tan: 47.0ms (0.5% of total)
ival-hypot: 31.0ms (0.4% of total)
ival-atan: 26.0ms (0.3% of total)
ival-true: 21.0ms (0.2% of total)
exact: 14.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-cbrt: 11.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-log: 6.0ms (0.1% of total)
ival-log1p: 1.0ms (0% of total)

start2.0ms (0%)

Memory
5.5MiB live, 5.5MiB allocated

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated

Profiling

Loading profile data...