Herbie run

Date:Sunday, January 19th, 2025
Commit:455c599f on main
Seed:2025019
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:642 217.2 MB

Time bar (total: 9.9min)

sample3.8min (38.7%)

Memory
2 409.6MiB live, 236 793.0MiB allocated; 1.0min collecting garbage
Samples
56.1s119 720×1valid
55.4s17 997×5exit
41.4s281 749×0valid
17.6s24 659×2valid
7.8s3 162×3valid
6.0s35 339×0exit
3.3s19 750×0invalid
3.0s12 050×1invalid
469.0ms871×2invalid
172.0ms22×4valid
28.0ms48×1exit
2.0ms2×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-pow: 46.0s (27.6% of total)
ival-mult: 19.0s (11.4% of total)
adjust: 15.5s (9.3% of total)
ival-cos: 11.0s (6.6% of total)
ival-div: 10.9s (6.5% of total)
ival-sin: 8.4s (5% of total)
ival-pow2: 8.1s (4.9% of total)
ival-add: 6.9s (4.2% of total)
ival-sub: 6.5s (3.9% of total)
ival-exp: 5.5s (3.3% of total)
ival-sinu: 5.1s (3.1% of total)
ival-cosu: 4.6s (2.7% of total)
ival-log: 4.4s (2.6% of total)
ival-sqrt: 4.0s (2.4% of total)
ival-neg: 2.0s (1.2% of total)
ival-<: 1.6s (1% of total)
const: 1.5s (0.9% of total)
ival-log1p: 889.0ms (0.5% of total)
ival-atan2: 788.0ms (0.5% of total)
ival-hypot: 757.0ms (0.5% of total)
ival-tan: 754.0ms (0.5% of total)
exact: 400.0ms (0.2% of total)
ival-acos: 375.0ms (0.2% of total)
ival-and: 350.0ms (0.2% of total)
ival-cbrt: 330.0ms (0.2% of total)
ival-atan: 303.0ms (0.2% of total)
ival-true: 302.0ms (0.2% of total)
ival-assert: 213.0ms (0.1% of total)
ival-<=: 211.0ms (0.1% of total)
ival-fabs: 209.0ms (0.1% of total)
ival-asin: 127.0ms (0.1% of total)
ival-pi: 109.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.3min (13.5%)

Memory
962.7MiB live, 80 377.4MiB allocated; 16.6s collecting garbage
Stop Event
609×iter limit
431×node limit
19×saturated
2×unsound
Counts
30 268 → 30 268

localize1.2min (11.8%)

Memory
509.4MiB live, 77 472.9MiB allocated; 16.0s collecting garbage
Samples
26.2s16 235×1valid
11.3s27 526×0valid
10.6s4 168×2valid
8.0s709×5exit
1.0s1 978×0invalid
709.0ms371×3valid
323.0ms128×1invalid
126.0ms11×4exit
28.0ms71×0exit
4.0ms3×4valid
Compiler

Compiled 118 306 to 9 300 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.0s
ival-mult: 8.7s (17.7% of total)
ival-sin: 8.3s (16.9% of total)
adjust: 5.7s (11.7% of total)
ival-cos: 5.6s (11.4% of total)
ival-div: 4.6s (9.4% of total)
ival-add: 2.8s (5.6% of total)
ival-pow2: 2.7s (5.5% of total)
const: 1.6s (3.3% of total)
ival-sub: 1.4s (2.9% of total)
ival-pow: 1.3s (2.7% of total)
ival-sqrt: 1.0s (2.1% of total)
ival-sinu: 859.0ms (1.8% of total)
ival-log: 814.0ms (1.7% of total)
ival-cosu: 775.0ms (1.6% of total)
ival-exp: 601.0ms (1.2% of total)
ival-atan2: 338.0ms (0.7% of total)
ival-neg: 311.0ms (0.6% of total)
ival-hypot: 256.0ms (0.5% of total)
exact: 186.0ms (0.4% of total)
ival-acos: 158.0ms (0.3% of total)
ival-cbrt: 138.0ms (0.3% of total)
ival-cosh: 135.0ms (0.3% of total)
ival-tan: 134.0ms (0.3% of total)
ival-atan: 130.0ms (0.3% of total)
ival-asin: 86.0ms (0.2% of total)
ival-pi: 76.0ms (0.2% of total)
ival-fabs: 67.0ms (0.1% of total)
ival-true: 45.0ms (0.1% of total)
ival-asinh: 36.0ms (0.1% of total)
ival-log1p: 33.0ms (0.1% of total)
ival-assert: 23.0ms (0% of total)
ival-expm1: 13.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival-sinh: 5.0ms (0% of total)
ival-acosh: 4.0ms (0% of total)
ival->: 1.0ms (0% of total)
ival-then: 0.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

regimes37.2s (6.3%)

Memory
-348.2MiB live, 43 400.7MiB allocated; 10.1s collecting garbage
Counts
19 214 → 862
Calls

155 calls:

2.9s
phi1
2.4s
phi2
1.8s
R
1.8s
lambda1
1.8s
lambda2
Compiler

Compiled 20 127 to 15 794 computations (21.5% saved)

series29.6s (5%)

Memory
-911.5MiB live, 32 371.8MiB allocated; 13.4s collecting garbage
Counts
3 669 → 30 268
Calls

1638 calls:

TimeVariablePointExpression
1.2s
C
@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))) (/ (sqrt (* (* (- A (sqrt (+ (* A A) (* B B)))) F) 2)) (neg B)) (sqrt (* (* (- A (sqrt (+ (* A A) (* B B)))) F) 2)) (* (* (- A (sqrt (+ (* A A) (* B B)))) 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 2) B)) (sqrt (* (- A (sqrt (+ (* B B) (* A A)))) F))) (* (/ -2 B) (sqrt (* F A))) (/ -2 B) (/ (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))) (* (/ (sqrt 2) (neg B)) (sqrt (* (- C (sqrt (+ (* C C) (* B B)))) F))) (/ (sqrt 2) (neg B)) (sqrt 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 (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (* (sqrt (* (- A (sqrt (+ (* B B) (* A A)))) F)) (* (sqrt 2) B)) (- (pow B 2) (* (* 4 A) C)) (/ (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 (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))) (- A (sqrt (+ (* A A) (* B B)))) (sqrt (* F A)) (sqrt (* (- C (sqrt (+ (* C C) (* B B)))) F)) (- C (sqrt (+ (* C C) (* B B)))) (sqrt (* (- A (sqrt (+ (* B B) (* A A)))) F)) (* (+ (* (/ (* -4 A) B) (/ C B)) 1) (* B B)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))) (* (- (pow B 2) (* (* 4 A) C)) F))
945.0ms
c_p
@-inf
((- (* (log (- 1 (pow (- (exp (neg s)) -1) -1))) c_n) (* (log (- 1 (pow (- (exp (neg t)) -1) -1))) c_n)) (log (- 1 (pow (- (exp (neg s)) -1) -1))) (log (- 1 (pow (- (exp (neg t)) -1) -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 (+ (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) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (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))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (- 1 (/ 1 (+ (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))) (/ (pow (pow (- (exp (neg s)) -1) -2) (* c_p 1/2)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (pow (- (exp (neg s)) -1) -2) (* c_p 1/2)) (pow (- (exp (neg s)) -1) -2) (- 1 (pow (- (exp (neg s)) -1) -1)) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p))
774.0ms
y
@0
((- (log (+ 1 (exp x))) (* x y)) (+ (* (- 1/2 y) x) (log 2)) (* (- (- (/ (log 2) x) -1/2) y) x) (- (- (/ (log 2) x) -1/2) y) (- (log (+ 1 (exp x))) (* x y)) (+ (* (- 1/2 y) x) (log 2)) (* (- 1/2 y) x) (- 1/2 y) (- (log (+ 1 (exp x))) (* x y)) (* (- (/ (log (+ 1 (exp x))) y) x) y) (- (/ (log (+ 1 (exp x))) y) x) (+ (* (- (/ (+ (* 1/8 x) 1/2) y) 1) x) (/ (log 2) y)) (- (log (+ 1 (exp x))) (* x y)) (+ (* (+ (* (+ (* (* x x) -1/192) 1/8) x) (- 1/2 y)) x) (log 2)) (+ (* (+ (* (* x x) -1/192) 1/8) x) (- 1/2 y)) (+ (* (* x x) -1/192) 1/8) (- (log (+ 1 (exp x))) (* x y)) (* (- (/ (log (+ 1 (exp x))) y) x) y) (- (/ (log (+ 1 (exp x))) y) x) (+ (* (- (/ 1/2 y) 1) x) (/ (log 2) y)) (/ (log 2) x) (* (- (/ (- (/ 1/2 x) -1/8) y) (/ 1 x)) (* x x)) (/ (- (/ 1/2 x) -1/8) y) (/ (log 2) y))
470.0ms
y-scale
@-inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* (sqrt (+ (* (* a (cos (* 1/180 (* (PI) angle)))) (* a (cos (* 1/180 (* (PI) angle))))) (* (* b (sin (* 1/180 (* (PI) angle)))) (* b (sin (* 1/180 (* (PI) angle))))))) (sqrt 2)) (* (* (sqrt 8) x-scale) 1/4)) (* (sqrt (+ (* (* a (cos (* 1/180 (* (PI) angle)))) (* a (cos (* 1/180 (* (PI) angle))))) (* (* b (sin (* 1/180 (* (PI) angle)))) (* b (sin (* 1/180 (* (PI) angle))))))) (sqrt 2)) (sqrt (+ (* (* a (cos (* 1/180 (* (PI) angle)))) (* a (cos (* 1/180 (* (PI) angle))))) (* (* b (sin (* 1/180 (* (PI) angle)))) (* b (sin (* 1/180 (* (PI) angle))))))) (/ (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) 4) (* b 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))) (* (* (sqrt (+ (* (* a (cos (* 1/180 (* (PI) angle)))) (* a (cos (* 1/180 (* (PI) angle))))) (* (* b (sin (* 1/180 (* (PI) angle)))) (* b (sin (* 1/180 (* (PI) angle))))))) (sqrt 2)) (* (* (sqrt 8) x-scale) 1/4)) (* (* -1/4 b) (* (* x-scale (sin (* 1/180 (* angle (PI))))) (* (sqrt 2) (sqrt 8)))) (* -1/4 b) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* (* (sqrt (+ (* (* (cos (* (* (PI) angle) -1/180)) a) (* (cos (* (* (PI) angle) -1/180)) a)) (* (* (sin (* (* 1/180 angle) (PI))) b) (* (sin (* (* 1/180 angle) (PI))) b)))) (sqrt 2)) (* (sqrt 8) 1/4)) x-scale) (* (* (sqrt (+ (* (* (cos (* (* (PI) angle) -1/180)) a) (* (cos (* (* (PI) angle) -1/180)) a)) (* (* (sin (* (* 1/180 angle) (PI))) b) (* (sin (* (* 1/180 angle) (PI))) b)))) (sqrt 2)) (* (sqrt 8) 1/4)) (* (sqrt (+ (* (* (cos (* (* (PI) angle) -1/180)) a) (* (cos (* (* (PI) angle) -1/180)) a)) (* (* (sin (* (* 1/180 angle) (PI))) b) (* (sin (* (* 1/180 angle) (PI))) b)))) (sqrt 2)) (* (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4) (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 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))) (* (* (* (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4) (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4)) (sqrt 2)) (* (* (sqrt 8) x-scale) 1/4)) (* (* (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4) (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4)) (sqrt 2)) (cos (* 1/180 (* (PI) angle))) (sin (* 1/180 (* (PI) angle))) (pow (PI) 4) (sin (* 1/180 (* angle (PI)))) (sin (* (* 1/180 angle) (PI))) (cos (* (* (PI) angle) -1/180)) (PI) (pow (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (* (* (PI) angle) -1/180)) a) 2)) 1/4))
411.0ms
x-scale
@-inf
((/ (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 (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (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)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (sqrt (- (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale))) (sqrt (+ (* (* (pow (cos (* -1/180 (* (PI) angle))) 2) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (pow (* y-scale x-scale) 2))) 4) (pow (- (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (* (* (* (sqrt 8) y-scale) x-scale) b) (+ (* (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale) (/ (* b b) x-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))) (+ (* (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale) (/ (* b b) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 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))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) y-scale)) (* (* -2 (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* a a)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* b b)))) (/ (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* b b)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* a a))) (* y-scale y-scale)))) (- (/ (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* b b)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* a a))) (* y-scale y-scale)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) y-scale)) (* (* -2 (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* a a)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* b b)))) (/ (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* b b)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* a a))) (* y-scale y-scale)))) (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* a a)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* b b)))) 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) x-scale)) (sqrt (- (/ (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* b b)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* a a))) (* y-scale y-scale)) (* (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) y-scale)) (* (* -2 (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* a a)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* b b)))) (/ (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* b b)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* a a))) (* y-scale y-scale)))) (+ (* (pow (sin (* (* (PI) angle) 1/180)) 2) (* a a)) (* (pow (cos (* -1/180 (* (PI) angle))) 2) (* b b)))) 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) (cos (* -1/180 (* (PI) angle))) (sin (* (* (PI) angle) 1/180)) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))

rewrite22.7s (3.8%)

Memory
295.0MiB live, 23 715.2MiB allocated; 4.4s collecting garbage
Stop Event
604×iter limit
154×node limit
41×unsound
5×saturated
Counts
3 669 → 51 492

explain20.8s (3.5%)

Memory
-420.4MiB live, 26 079.1MiB allocated; 3.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19512
sin.f64#fsensitivity16872
+.f64#fcancellation168239
sqrt.f64#foflow-rescue13890
-.f64#fcancellation9079
-.f64#fnan-rescue5910
log.f64#fsensitivity5771
/.f64#fo/n4860
/.f64#fo/o3560
/.f64#fu/u2910
*.f64#fn*o2480
sqrt.f64#fuflow-rescue1550
exp.f64#fsensitivity15523
/.f64#fu/n1410
/.f64#fn/o1020
cbrt.f64#foflow-rescue940
*.f64#fn*u750
*.f64#fo*u390
/.f64#fn/u380
cbrt.f64#fuflow-rescue380
*.f64#fu*o240
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)))))sensitivity154
log.f64#foflow-rescue70
pow.f64#fuflow-rescue60
pow.f64#fsensitivity52
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 -
+567176
-13616204
Precision
0.8064562002275313
Recall
0.9867757090655994
Confusion?
Predicted +Predicted MaybePredicted -
+56714828
-1361296175
Precision?
0.8044732029821353
Recall?
0.9951278928136419
Freqs
test
numberfreq
06280
14608
21622
3341
4238
5146
646
723
86
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
3.8s7 554×1valid
2.4s2 052×2valid
2.3s16 724×0valid
620.0ms294×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-sin: 1.1s (16% of total)
ival-mult: 972.0ms (13.6% of total)
ival-cos: 806.0ms (11.3% of total)
adjust: 703.0ms (9.8% of total)
ival-div: 497.0ms (7% of total)
ival-pow2: 448.0ms (6.3% of total)
ival-sinu: 399.0ms (5.6% of total)
ival-sub: 385.0ms (5.4% of total)
ival-add: 306.0ms (4.3% of total)
ival-cosu: 270.0ms (3.8% of total)
ival-log: 266.0ms (3.7% of total)
ival-exp: 257.0ms (3.6% of total)
ival-sqrt: 212.0ms (3% of total)
ival-tan: 96.0ms (1.3% of total)
ival-hypot: 81.0ms (1.1% of total)
ival-neg: 59.0ms (0.8% of total)
ival-atan: 46.0ms (0.6% of total)
ival-atan2: 40.0ms (0.6% of total)
ival-true: 25.0ms (0.3% of total)
ival-pow: 25.0ms (0.3% of total)
ival-acos: 20.0ms (0.3% of total)
exact: 20.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-pi: 18.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

derivations20.0s (3.4%)

Memory
45.8MiB live, 15 423.3MiB allocated; 2.3s collecting garbage
Stop Event
45×fuel
7×done
Compiler

Compiled 44 619 to 5 781 computations (87% saved)

prune19.9s (3.4%)

Memory
-245.4MiB live, 30 294.2MiB allocated; 4.9s collecting garbage
Counts
87 766 → 6 518
Compiler

Compiled 1 049 213 to 397 350 computations (62.1% saved)

analyze19.5s (3.3%)

Memory
190.0MiB live, 21 266.7MiB allocated; 5.8s collecting garbage
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 963 computations (47.3% saved)

eval18.2s (3.1%)

Memory
260.2MiB live, 24 390.9MiB allocated; 4.8s collecting garbage
Compiler

Compiled 7 956 881 to 437 235 computations (94.5% saved)

preprocess13.8s (2.3%)

Memory
952.8MiB live, 15 220.2MiB allocated; 2.1s collecting garbage
Stop Event
104×iter limit
92×node limit
12×saturated
Compiler

Compiled 121 297 to 21 581 computations (82.2% saved)

bsearch12.6s (2.1%)

Memory
-172.1MiB live, 15 402.4MiB allocated; 4.2s collecting garbage
Algorithm
297×binary-search
84×left-value
Stop Event
290×narrow-enough
7×predicate-same
Samples
6.5s6 753×1valid
2.4s13 490×0valid
644.0ms763×2valid
417.0ms162×3valid
77.0ms586×0invalid
Compiler

Compiled 252 936 to 151 087 computations (40.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
ival-cos: 2.6s (29.3% of total)
ival-sin: 1.5s (16.1% of total)
ival-mult: 1.1s (12.5% of total)
ival-sinu: 840.0ms (9.3% of total)
adjust: 704.0ms (7.8% of total)
ival-pow2: 493.0ms (5.5% of total)
ival-div: 323.0ms (3.6% of total)
ival-sub: 300.0ms (3.3% of total)
ival-cosu: 268.0ms (3% of total)
ival-sqrt: 252.0ms (2.8% of total)
ival-add: 162.0ms (1.8% of total)
ival-atan2: 89.0ms (1% of total)
ival-acos: 86.0ms (1% of total)
ival-neg: 56.0ms (0.6% of total)
ival-tan: 42.0ms (0.5% of total)
ival-atan: 36.0ms (0.4% of total)
ival-exp: 33.0ms (0.4% of total)
ival-hypot: 23.0ms (0.3% of total)
ival-log: 21.0ms (0.2% of total)
ival-true: 18.0ms (0.2% of total)
exact: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-pi: 10.0ms (0.1% of total)
ival-assert: 9.0ms (0.1% of total)
ival-asin: 6.0ms (0.1% of total)
ival-log1p: 1.0ms (0% of total)

start3.0ms (0%)

Memory
8.0MiB live, 8.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.1MiB live, 1.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...