Herbie run

Date:Wednesday, November 13th, 2024
Commit:b0f482cc on pavel-concrete-values
Hostname:nightly with Racket 8.10
Seed:2024318
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

Time bar (total: 10.5min)

sample3.3min (31.2%)

Memory
607.1MiB live, 195 811.5MiB allocated
Samples
49.6s108 598×1valid
42.8s294 016×0valid
30.8s14 183×5exit
16.9s23 640×2valid
6.9s3 030×3valid
6.6s34 676×0exit
3.3s10 924×1invalid
3.2s20 898×0invalid
495.0ms28×4valid
364.0ms3 587×1exit
364.0ms816×2invalid
5.0ms2×4exit
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-pow: 26.3s (19% of total)
ival-mult: 15.7s (11.3% of total)
ival-cos: 10.5s (7.6% of total)
ival-div: 10.4s (7.5% of total)
adjust: 10.1s (7.3% of total)
ival-pow2: 8.0s (5.8% of total)
ival-sin: 7.9s (5.7% of total)
ival-sub: 6.8s (4.9% of total)
ival-add: 6.6s (4.7% of total)
ival-sinu: 6.0s (4.3% of total)
ival-exp: 5.8s (4.2% of total)
ival-cosu: 5.1s (3.7% of total)
ival-log: 5.0s (3.6% of total)
ival-sqrt: 3.6s (2.6% of total)
ival-neg: 1.9s (1.4% of total)
const: 1.8s (1.3% of total)
ival-<: 1.4s (1% of total)
ival-atan2: 924.0ms (0.7% of total)
ival-hypot: 793.0ms (0.6% of total)
ival-acos: 649.0ms (0.5% of total)
ival-<=: 542.0ms (0.4% of total)
ival-tan: 501.0ms (0.4% of total)
exact: 396.0ms (0.3% of total)
ival-atan: 341.0ms (0.2% of total)
ival-and: 337.0ms (0.2% of total)
ival-true: 316.0ms (0.2% of total)
ival-cbrt: 243.0ms (0.2% of total)
ival-assert: 217.0ms (0.2% of total)
ival-asin: 180.0ms (0.1% of total)
ival-log1p: 149.0ms (0.1% of total)
ival-fabs: 146.0ms (0.1% of total)
ival-pi: 131.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.3min (12%)

Memory
1 426.5MiB live, 64 819.4MiB allocated
Algorithm
452×egg-herbie
Stop Event
600×iter limit
360×node limit
92×saturated
Counts
24 024 → 23 879

localize1.1min (10.7%)

Memory
-397.8MiB live, 68 286.7MiB allocated
Samples
22.1s14 485×1valid
10.1s28 872×0valid
10.0s4 053×2valid
6.4s468×5exit
2.2s192×4exit
1.4s395×3valid
729.0ms420×2exit
703.0ms251×1invalid
688.0ms1 484×0invalid
350.0ms206×1exit
263.0ms18×3exit
158.0ms337×0exit
51.0ms14×2invalid
8.0ms5×4valid
Compiler

Compiled 114 044 to 9 218 computations (91.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.7s
ival-mult: 9.7s (21.2% of total)
ival-sin: 7.8s (17% of total)
ival-cos: 5.4s (11.8% of total)
ival-div: 4.2s (9.2% of total)
adjust: 3.4s (7.5% of total)
ival-add: 2.6s (5.7% of total)
ival-pow2: 2.0s (4.3% of total)
ival-sub: 1.6s (3.5% of total)
ival-sinu: 1.3s (2.8% of total)
const: 1.2s (2.6% of total)
ival-cosu: 1.2s (2.6% of total)
ival-pow: 1.1s (2.4% of total)
ival-sqrt: 1.1s (2.3% of total)
ival-exp: 636.0ms (1.4% of total)
ival-log: 519.0ms (1.1% of total)
ival-neg: 348.0ms (0.8% of total)
ival-atan2: 328.0ms (0.7% of total)
ival-hypot: 229.0ms (0.5% of total)
ival-acos: 221.0ms (0.5% of total)
ival-tan: 190.0ms (0.4% of total)
ival-cbrt: 176.0ms (0.4% of total)
ival-atan: 134.0ms (0.3% of total)
ival-fabs: 109.0ms (0.2% of total)
exact: 103.0ms (0.2% of total)
ival-asin: 67.0ms (0.1% of total)
ival-pi: 65.0ms (0.1% of total)
ival-true: 47.0ms (0.1% of total)
ival-log1p: 25.0ms (0.1% of total)
ival-assert: 24.0ms (0.1% of total)
ival-cosh: 9.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)
ival-tanh: 1.0ms (0% of total)

soundness58.4s (9.3%)

Memory
60.1MiB live, 36 700.4MiB allocated
Stop Event
407×iter limit
270×node limit
44×fuel
8×done
Compiler

Compiled 81 606 to 29 644 computations (63.7% saved)

rewrite45.9s (7.3%)

Memory
-531.8MiB live, 44 974.9MiB allocated
Stop Event
407×iter limit
198×node limit
1×saturated
1×unsound
Counts
3 599 → 130 666

regimes38.9s (6.2%)

Memory
-185.7MiB live, 46 505.2MiB allocated
Counts
19 445 → 836
Calls

155 calls:

2.6s
lambda1
2.5s
lambda2
2.5s
phi2
2.1s
a
2.0s
phi1
Compiler

Compiled 18 795 to 15 497 computations (17.5% saved)

eval34.2s (5.4%)

Memory
477.0MiB live, 43 042.9MiB allocated
Compiler

Compiled 10 632 832 to 716 964 computations (93.3% saved)

prune27.2s (4.3%)

Memory
-503.5MiB live, 39 705.9MiB allocated
Counts
160 274 → 7 561
Compiler

Compiled 1 066 358 to 424 790 computations (60.2% saved)

series23.3s (3.7%)

Memory
36.9MiB live, 26 746.8MiB allocated
Counts
3 599 → 24 024
Calls

1641 calls:

TimeVariablePointExpression
325.0ms
b
@0
((* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (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) y-scale)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (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)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) 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))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))))) (* (* (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (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))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* y-scale x-scale)) (* y-scale x-scale)) (* 2 (* (PI) (* 1/180 angle))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))) (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (/ 1 (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2))))) (* y-scale (sqrt 2)) (sqrt 2) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (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))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (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))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* y-scale x-scale)) (cos (* (PI) (* 1/180 angle))) (sin (* (PI) (* 1/180 angle))) (/ (+ (* (/ 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 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))) (+ (* (/ 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 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) 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))))
303.0ms
a
@0
((+ (* (* (sqrt (+ (* (* -4 c) a) (* b b))) a) (pow (+ (* (* -4 c) a) 0) -1)) (* (/ a (+ (* (* -4 c) a) 0)) b)) (/ a (+ (* (* -4 c) a) 0)) (pow (+ (* (* -4 c) a) 0) -1) (+ (* (* -4 c) a) 0) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c b) (* (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b)) (/ 1/2 a) (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (sqrt (+ (* (* -4 c) a) (* b b))) (/ 1/2 (* (/ a (- (+ (* (* -4 c) a) (* b b)) (* b b))) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b))) (* (/ a (- (+ (* (* -4 c) a) (* b b)) (* b b))) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b)) (/ a (- (+ (* (* -4 c) a) (* b b)) (* b b))) (- (+ (* (* -4 c) a) (* b b)) (* b b)) (+ (* (* -2 c) (* a (/ a (pow b 5)))) (/ (neg a) (pow b 3))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (+ (* (+ (* (* -2 c) (* a (/ a (pow b 5)))) (/ (neg a) (pow b 3))) c) (/ -1 b)) c) (+ (* (+ (* (* -2 c) (* a (/ a (pow b 5)))) (/ (neg a) (pow b 3))) c) (/ -1 b)) (/ 1/2 (+ (* (* (sqrt (+ (* (* -4 c) a) (* b b))) a) (pow (+ (* (* -4 c) a) 0) -1)) (* (/ a (+ (* (* -4 c) a) 0)) b))) (* (sqrt (+ (* (* -4 c) a) (* b b))) a) (+ (* (* -4 c) a) (* b b)) (+ (sqrt (+ (* (* -4 c) a) (* b b))) b) (/ a (pow b 5)) (* a (/ a (pow b 5))))
293.0ms
phi2
@-inf
((* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* 1/2 phi1)) (- lambda1 lambda2)) (* (cos (* 1/2 phi1)) (- lambda1 lambda2))) (* phi1 phi1))) (* (cos (* 1/2 phi1)) (- lambda1 lambda2)) (+ (* (neg R) phi1) (* phi2 R)) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg phi1) (- R (* R (/ phi2 phi1)))) (neg R) (/ (+ (* (/ phi2 phi1) R) R) (+ (/ phi2 phi1) 1)) (/ (* (* (/ (+ (* (/ phi2 phi1) R) R) (+ (/ phi2 phi1) 1)) (neg phi1)) (- R (* (/ phi2 phi1) R))) R) (* (* (/ (+ (* (/ phi2 phi1) R) R) (+ (/ phi2 phi1) 1)) (neg phi1)) (- R (* (/ phi2 phi1) R))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg lambda2) (+ (* (neg R) (* (cos (* (+ phi2 phi1) 1/2)) (/ lambda1 lambda2))) (* (cos (* (+ phi2 phi1) 1/2)) R))) (neg lambda2) (+ (* (neg R) (* (cos (* (+ phi2 phi1) 1/2)) (/ lambda1 lambda2))) (* (cos (* (+ phi2 phi1) 1/2)) R)) (/ (+ (/ phi2 phi1) 1) (+ (* (/ phi2 phi1) R) R)) (/ (- R (* (/ phi2 phi1) R)) R) (* (log (/ (+ (/ phi2 phi1) 1) (+ (* (/ phi2 phi1) R) R))) -1) (exp (* (log (/ (+ (/ phi2 phi1) 1) (+ (* (/ phi2 phi1) R) R))) -1)) (cos (* 1/2 phi1)) (* (/ phi2 phi1) R) (cos (* 1/2 (+ phi2 phi1))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg phi1) (* (exp (* (log (/ (+ (/ phi2 phi1) 1) (+ (* (/ phi2 phi1) R) R))) -1)) (/ (- R (* (/ phi2 phi1) R)) R))))
245.0ms
A
@-inf
((* (/ -1 B) (sqrt (* (* (- 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))) (/ -1 B) (sqrt (* (* (- 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))) (sqrt (* (/ F B) 2)) (* (/ F B) 2) (/ F B) (pow (* (/ F B) 2) 1/2) (/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C))) (/ -1 (/ (+ (* -4 (* C A)) (* B B)) (sqrt (* (- (+ C A) (sqrt (+ (* B B) (* (- A C) (- A C))))) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))))) (/ (+ (* -4 (* C A)) (* B B)) (sqrt (* (- (+ C A) (sqrt (+ (* B B) (* (- A C) (- A C))))) (* (* 2 F) (+ (* -4 (* C A)) (* B B)))))) (+ (* -4 (* C A)) (* B B)) (* C A) (neg (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B))))) (- (pow B 2) (* (* 4 A) C)) (/ (neg (* (sqrt (neg (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))))) (sqrt (* -2 (* (+ (* (* C A) -4) (* B B)) F))))) (- (pow B 2) (* (* 4 A) C))) (neg (* (sqrt (neg (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))))) (sqrt (* -2 (* (+ (* (* C A) -4) (* B B)) F))))) (* (* (- A (sqrt (+ (* A A) (* B B)))) F) 2) (* (- A (sqrt (+ (* A A) (* B B)))) F) (sqrt (* (- (+ C A) (sqrt (+ (* B B) (* (- A C) (- A C))))) (* (* 2 F) (+ (* -4 (* C A)) (* B B))))) (* 2 F) (* B B) (sqrt (neg (- (+ C A) (sqrt (+ (* (- A C) (- A C)) (* B B)))))) (sqrt (* -2 (* (+ (* (* C A) -4) (* B B)) F))))
245.0ms
F
@0
((sqrt (+ (pow (- A C) 2) (pow B 2))) (- (pow B 2) (* (* 4 A) C)) (+ (pow (- A C) 2) (pow B 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))) (+ (+ 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)))))))

explain22.3s (3.5%)

Memory
-227.7MiB live, 24 169.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19193
+.f64#fcancellation173431
sin.f64#fsensitivity16484
sqrt.f64#foflow-rescue13960
-.f64#fcancellation9479
-.f64#fnan-rescue6430
log.f64#fsensitivity5680
/.f64#fo/n4920
/.f64#fo/o3570
/.f64#fu/u2830
*.f64#fn*o2550
sqrt.f64#fuflow-rescue1640
/.f64#fu/n1620
exp.f64#fsensitivity15735
/.f64#fn/o1120
cbrt.f64#foflow-rescue960
*.f64#fn*u740
*.f64#fo*u450
cbrt.f64#fuflow-rescue380
/.f64#fn/u340
*.f64#fu*o260
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)))))sensitivity197
pow.f64#fuflow-rescue100
log.f64#foflow-rescue90
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))))sensitivity11
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow64
↳(exp.f64 b)underflow54
Confusion
Predicted +Predicted -
+578966
-13596098
Precision
0.809876888640179
Recall
0.9887275832621691
Confusion?
Predicted +Predicted MaybePredicted -
+57894422
-1359316067
Precision?
0.8075591859338225
Recall?
0.9962425277540564
Freqs
test
numberfreq
06164
14731
21621
3324
4244
5125
678
720
84
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
3.5s7 030×1valid
2.5s17 310×0valid
2.2s1 974×2valid
613.0ms306×3valid
9.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-sin: 1.2s (17.4% of total)
ival-mult: 1.0s (15.4% of total)
ival-cos: 843.0ms (12.7% of total)
ival-div: 493.0ms (7.4% of total)
adjust: 456.0ms (6.9% of total)
ival-pow2: 428.0ms (6.5% of total)
ival-sinu: 328.0ms (5% of total)
ival-cosu: 324.0ms (4.9% of total)
ival-sub: 291.0ms (4.4% of total)
ival-add: 251.0ms (3.8% of total)
ival-exp: 250.0ms (3.8% of total)
ival-log: 195.0ms (2.9% of total)
ival-sqrt: 153.0ms (2.3% of total)
ival-tan: 65.0ms (1% of total)
ival-neg: 61.0ms (0.9% of total)
ival-hypot: 56.0ms (0.8% of total)
ival-atan2: 41.0ms (0.6% of total)
ival-atan: 37.0ms (0.6% of total)
ival-true: 26.0ms (0.4% of total)
ival-acos: 25.0ms (0.4% of total)
ival-pow: 22.0ms (0.3% of total)
exact: 20.0ms (0.3% of total)
ival-pi: 18.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-fabs: 16.0ms (0.2% of total)
ival-assert: 13.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

analyze17.3s (2.8%)

Memory
154.7MiB live, 17 286.6MiB 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)

preprocess13.0s (2.1%)

Memory
159.3MiB live, 11 827.7MiB allocated
Algorithm
52×egg-herbie
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 112 373 to 21 516 computations (80.9% saved)

bsearch9.4s (1.5%)

Memory
-140.4MiB live, 10 203.4MiB allocated
Algorithm
234×binary-search
122×left-value
Stop Event
225×narrow-enough
9×predicate-same
Samples
4.0s5 877×1valid
1.9s10 804×0valid
779.0ms940×2valid
278.0ms155×3valid
49.0ms464×0invalid
Compiler

Compiled 205 373 to 113 875 computations (44.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-cos: 1.3s (20.6% of total)
ival-sin: 1.1s (18.2% of total)
ival-mult: 1.1s (17.9% of total)
ival-pow2: 468.0ms (7.6% of total)
adjust: 387.0ms (6.3% of total)
ival-div: 335.0ms (5.4% of total)
ival-sinu: 298.0ms (4.8% of total)
ival-cosu: 265.0ms (4.3% of total)
ival-sub: 255.0ms (4.1% of total)
ival-add: 144.0ms (2.3% of total)
ival-sqrt: 120.0ms (2% of total)
ival-atan2: 103.0ms (1.7% of total)
ival-acos: 93.0ms (1.5% of total)
ival-hypot: 38.0ms (0.6% of total)
ival-neg: 32.0ms (0.5% of total)
ival-tan: 24.0ms (0.4% of total)
ival-atan: 23.0ms (0.4% of total)
ival-exp: 19.0ms (0.3% of total)
ival-true: 15.0ms (0.2% of total)
ival-log: 10.0ms (0.2% of total)
exact: 10.0ms (0.2% of total)
ival-pi: 9.0ms (0.1% of total)
ival-assert: 8.0ms (0.1% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-log1p: 4.0ms (0.1% of total)
ival-pow: 1.0ms (0% of total)

start2.0ms (0%)

Memory
4.5MiB live, 4.5MiB allocated

end0.0ms (0%)

Memory
0.8MiB live, 0.7MiB allocated

Profiling

Loading profile data...