Herbie run

Date:Sunday, December 29th, 2024
Commit:fbbe2c7d on main
Seed:2024364
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:709 013.6 MB

Time bar (total: 10.9min)

sample3.8min (35.1%)

Memory
1 892.2MiB live, 237 619.7MiB allocated; 1.0min collecting garbage
Samples
58.1s119 440×1valid
52.2s17 892×5exit
41.9s281 570×0valid
18.6s25 049×2valid
7.7s3 230×3valid
6.4s34 832×0exit
4.9s19 828×0invalid
3.7s12 256×1invalid
509.0ms848×2invalid
296.0ms23×4valid
24.0ms42×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-pow: 43.2s (25.5% of total)
ival-mult: 19.0s (11.2% of total)
adjust: 16.1s (9.5% of total)
ival-div: 11.1s (6.6% of total)
ival-cos: 10.8s (6.4% of total)
ival-sin: 9.1s (5.4% of total)
ival-pow2: 8.9s (5.2% of total)
ival-add: 7.2s (4.3% of total)
ival-sub: 7.2s (4.2% of total)
ival-exp: 6.4s (3.8% of total)
ival-sinu: 5.2s (3.1% of total)
ival-log: 5.0s (2.9% of total)
ival-cosu: 4.8s (2.9% of total)
ival-sqrt: 4.1s (2.4% of total)
const: 2.2s (1.3% of total)
ival-neg: 1.9s (1.1% of total)
ival-<: 1.3s (0.8% of total)
ival-tan: 1.0s (0.6% of total)
ival-log1p: 936.0ms (0.6% of total)
ival-atan2: 753.0ms (0.4% of total)
ival-hypot: 654.0ms (0.4% of total)
exact: 384.0ms (0.2% of total)
ival-cbrt: 361.0ms (0.2% of total)
ival-acos: 358.0ms (0.2% of total)
ival-and: 349.0ms (0.2% of total)
ival-true: 292.0ms (0.2% of total)
ival-atan: 283.0ms (0.2% of total)
ival-assert: 209.0ms (0.1% of total)
ival-<=: 195.0ms (0.1% of total)
ival-pi: 160.0ms (0.1% of total)
ival-asin: 141.0ms (0.1% of total)
ival-fabs: 123.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

localize1.3min (11.7%)

Memory
412.6MiB live, 84 652.0MiB allocated; 20.0s collecting garbage
Samples
31.7s17 861×1valid
11.7s797×5exit
8.8s4 155×2valid
8.3s26 072×0valid
1.6s2 838×0invalid
1.3s336×3valid
431.0ms93×1invalid
50.0ms3×2exit
35.0ms68×0exit
1.0ms1×4valid
Compiler

Compiled 120 623 to 9 641 computations (92% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.4s
ival-mult: 10.0s (18.7% of total)
ival-cos: 7.3s (13.6% of total)
adjust: 6.7s (12.5% of total)
ival-sin: 6.4s (11.9% of total)
ival-div: 5.1s (9.5% of total)
ival-add: 3.1s (5.8% of total)
ival-pow2: 2.3s (4.3% of total)
const: 2.2s (4.1% of total)
ival-sub: 1.3s (2.5% of total)
ival-pow: 1.3s (2.4% of total)
ival-sqrt: 1.1s (2% of total)
ival-sinu: 846.0ms (1.6% of total)
ival-log: 845.0ms (1.6% of total)
ival-exp: 839.0ms (1.6% of total)
ival-cosu: 747.0ms (1.4% of total)
ival-log1p: 408.0ms (0.8% of total)
ival-atan2: 378.0ms (0.7% of total)
ival-neg: 366.0ms (0.7% of total)
ival-tan: 301.0ms (0.6% of total)
ival-cosh: 297.0ms (0.6% of total)
ival-expm1: 255.0ms (0.5% of total)
ival-hypot: 251.0ms (0.5% of total)
ival-sinh: 234.0ms (0.4% of total)
ival-cbrt: 159.0ms (0.3% of total)
ival-pi: 151.0ms (0.3% of total)
exact: 115.0ms (0.2% of total)
ival-acos: 109.0ms (0.2% of total)
ival-atan: 106.0ms (0.2% of total)
ival-fabs: 89.0ms (0.2% of total)
ival-asin: 64.0ms (0.1% of total)
ival-true: 45.0ms (0.1% of total)
ival-asinh: 44.0ms (0.1% of total)
ival-assert: 23.0ms (0% of total)
ival-exp2: 4.0ms (0% of total)
ival-tanh: 4.0ms (0% of total)
ival-acosh: 4.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-then: 1.0ms (0% of total)

simplify1.2min (11.5%)

Memory
332.0MiB live, 74 545.6MiB allocated; 13.7s collecting garbage
Stop Event
612×iter limit
400×node limit
60×saturated
Counts
23 888 → 23 737

derivations51.4s (7.9%)

Memory
20.2MiB live, 41 348.2MiB allocated; 7.4s collecting garbage
Stop Event
416×iter limit
274×node limit
45×fuel
7×done
5×saturated
2×unsound
Compiler

Compiled 51 604 to 6 367 computations (87.7% saved)

rewrite42.6s (6.5%)

Memory
411.0MiB live, 44 217.5MiB allocated; 8.1s collecting garbage
Stop Event
431×iter limit
192×node limit
7×unsound
5×saturated
Counts
3 758 → 93 792

regimes34.6s (5.3%)

Memory
291.0MiB live, 43 265.1MiB allocated; 6.6s collecting garbage
Counts
18 656 → 896
Calls

155 calls:

2.3s
b
2.2s
a
1.7s
lambda1
1.6s
phi1
1.6s
phi2
Compiler

Compiled 20 693 to 15 740 computations (23.9% saved)

eval27.7s (4.2%)

Memory
-46.8MiB live, 35 175.2MiB allocated; 9.0s collecting garbage
Compiler

Compiled 10 383 274 to 627 861 computations (94% saved)

prune26.8s (4.1%)

Memory
-382.7MiB live, 41 001.4MiB allocated; 6.0s collecting garbage
Counts
125 088 → 6 835
Compiler

Compiled 1 113 445 to 424 072 computations (61.9% saved)

series25.9s (4%)

Memory
395.9MiB live, 30 944.6MiB allocated; 4.7s collecting garbage
Counts
3 758 → 23 888
Calls

1653 calls:

TimeVariablePointExpression
528.0ms
t
@0
((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (fabs (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
373.0ms
ew
@0
((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (fabs (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
211.0ms
t
@0
((+ (* (* (/ (/ eh (tan t)) ew) (cos t)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (* (sin t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (+ (* (* (/ (/ eh (tan t)) ew) (cos t)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (* (sin t) ew) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (* (/ (/ eh (tan t)) ew) (cos t)) (/ (/ eh (tan t)) ew) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (* ew (sin t)) (sin t) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (/ (/ eh ew) (* (tan t) (cosh (asinh (/ (/ eh (tan t)) ew))))) eh) (/ (/ eh ew) (* (tan t) (cosh (asinh (/ (/ eh (tan t)) ew))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (* (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (fabs (* (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))))) (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew))))) (asinh (/ (/ eh (tan t)) ew)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew)))) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))
203.0ms
eh
@-inf
((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (fabs (* (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))))) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (/ (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (* (+ (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (- (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 4)) (pow (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))) 4) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
200.0ms
t
@-inf
((+ (* (* (/ (/ eh (tan t)) ew) (cos t)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (* (sin t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (+ (* (* (/ (/ eh (tan t)) ew) (cos t)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (* (sin t) ew) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (* (/ (/ eh (tan t)) ew) (cos t)) (/ (/ eh (tan t)) ew) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (* ew (sin t)) (sin t) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (/ (/ eh ew) (* (tan t) (cosh (asinh (/ (/ eh (tan t)) ew))))) eh) (/ (/ eh ew) (* (tan t) (cosh (asinh (/ (/ eh (tan t)) ew))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (* (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (fabs (* (* (sqrt (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew)))))) (sqrt 2)) (sqrt (neg (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))))) (/ (neg (+ (* (* (/ (/ eh (tan t)) ew) eh) (cos t)) (* (sin t) ew))) (* 2 (cosh (asinh (/ (/ eh (tan t)) ew))))) (asinh (/ (/ eh (tan t)) ew)) (/ eh (cosh (asinh (/ (/ eh (tan t)) ew)))) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))))

explain20.9s (3.2%)

Memory
20.9MiB live, 26 593.1MiB allocated; 3.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18833
+.f64#fcancellation173936
sin.f64#fsensitivity16292
sqrt.f64#foflow-rescue13440
-.f64#fcancellation96910
-.f64#fnan-rescue6610
log.f64#fsensitivity6090
/.f64#fo/n5220
/.f64#fo/o3680
/.f64#fu/u2870
*.f64#fn*o2340
exp.f64#fsensitivity16325
sqrt.f64#fuflow-rescue1430
/.f64#fu/n1390
/.f64#fn/o1030
cbrt.f64#foflow-rescue940
*.f64#fn*u820
*.f64#fo*u410
/.f64#fn/u360
cbrt.f64#fuflow-rescue320
*.f64#fu*o270
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)))))sensitivity211
pow.f64#fuflow-rescue120
pow.f64#fsensitivity93
log.f64#foflow-rescue80
Confusion
Predicted +Predicted -
+578063
-13026167
Precision
0.8161536289183846
Recall
0.9892178675338011
Confusion?
Predicted +Predicted MaybePredicted -
+57803825
-1302316136
Precision?
0.8135925045448189
Recall?
0.9957213760054766
Freqs
test
numberfreq
06230
14690
21558
3360
4239
5144
654
729
86
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4100
-209
Precision?
0.9534883720930233
Recall?
1.0
Samples
3.7s7 770×1valid
2.6s16 530×0valid
2.1s2 026×2valid
575.0ms296×3valid
3.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-mult: 1.1s (15.7% of total)
ival-sin: 1.1s (15.2% of total)
ival-cos: 806.0ms (11.3% of total)
adjust: 692.0ms (9.7% of total)
ival-div: 526.0ms (7.4% of total)
ival-pow2: 411.0ms (5.8% of total)
ival-sub: 363.0ms (5.1% of total)
ival-sinu: 310.0ms (4.4% of total)
ival-cosu: 304.0ms (4.3% of total)
ival-exp: 297.0ms (4.2% of total)
ival-add: 292.0ms (4.1% of total)
ival-log: 207.0ms (2.9% of total)
ival-sqrt: 201.0ms (2.8% of total)
ival-hypot: 85.0ms (1.2% of total)
ival-tan: 80.0ms (1.1% of total)
ival-neg: 73.0ms (1% of total)
ival-fabs: 50.0ms (0.7% of total)
ival-atan2: 40.0ms (0.6% of total)
ival-atan: 27.0ms (0.4% of total)
ival-cbrt: 24.0ms (0.3% of total)
ival-true: 24.0ms (0.3% of total)
ival-acos: 23.0ms (0.3% of total)
ival-pow: 23.0ms (0.3% of total)
ival-pi: 22.0ms (0.3% of total)
exact: 19.0ms (0.3% of total)
ival-assert: 12.0ms (0.2% of total)
ival-asin: 6.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze19.8s (3%)

Memory
-16.9MiB live, 21 495.3MiB allocated; 7.6s 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)

preprocess12.3s (1.9%)

Memory
524.6MiB live, 14 416.4MiB allocated; 2.1s collecting garbage
Stop Event
104×iter limit
64×node limit
40×saturated
Compiler

Compiled 151 297 to 26 175 computations (82.7% saved)

bsearch10.0s (1.5%)

Memory
157.9MiB live, 13 729.9MiB allocated; 1.7s collecting garbage
Algorithm
300×binary-search
98×left-value
Stop Event
292×narrow-enough
8×predicate-same
Samples
4.1s5 967×1valid
2.6s12 916×0valid
719.0ms935×2valid
120.0ms54×3valid
117.0ms822×0invalid
4.0ms12×1invalid
Compiler

Compiled 296 394 to 155 096 computations (47.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-sin: 1.1s (16.2% of total)
ival-cos: 1.1s (16.2% of total)
ival-mult: 1.0s (15.5% of total)
ival-pow2: 624.0ms (9.5% of total)
adjust: 623.0ms (9.5% of total)
ival-div: 457.0ms (6.9% of total)
ival-cosu: 351.0ms (5.3% of total)
ival-sinu: 315.0ms (4.8% of total)
ival-sub: 312.0ms (4.7% of total)
ival-add: 195.0ms (3% of total)
ival-sqrt: 120.0ms (1.8% of total)
ival-acos: 82.0ms (1.2% of total)
ival-atan2: 73.0ms (1.1% of total)
ival-neg: 66.0ms (1% of total)
ival-exp: 44.0ms (0.7% of total)
ival-atan: 36.0ms (0.5% of total)
ival-tan: 35.0ms (0.5% of total)
ival-hypot: 23.0ms (0.3% of total)
ival-log: 20.0ms (0.3% of total)
ival-true: 16.0ms (0.2% of total)
exact: 12.0ms (0.2% of total)
ival-assert: 9.0ms (0.1% of total)
ival-pi: 9.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-cbrt: 6.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-log1p: 1.0ms (0% of total)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...