Herbie run

Date:Wednesday, March 26th, 2025
Commit:a931ba94 on hardware-accelerators
Seed:2025085
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:537 098.9 MB

Time bar (total: 7.5min)

sample3.1min (41.7%)

Memory
1 666.9MiB live, 208 884.2MiB allocated; 1.0min collecting garbage
Samples
49.5s118 973×1valid
38.5s281 843×0valid
20.1s4 142×4exit
16.7s25 243×2valid
9.1s11 366×5exit
7.9s3 227×3valid
5.3s34 982×0exit
3.1s11 913×1invalid
2.5s19 334×0invalid
492.0ms892×2invalid
357.0ms2 697×1exit
91.0ms26×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-pow: 24.7s (18.8% of total)
adjust: 13.7s (10.5% of total)
ival-mult!: 13.2s (10.1% of total)
ival-cos: 11.9s (9.1% of total)
ival-sin: 9.4s (7.2% of total)
ival-div!: 8.3s (6.4% of total)
ival-pow2: 8.0s (6.1% of total)
ival-sinu: 6.7s (5.1% of total)
ival-exp: 5.4s (4.1% of total)
ival-cosu: 5.3s (4% of total)
ival-neg: 4.4s (3.3% of total)
ival-sub!: 4.2s (3.2% of total)
ival-sqrt: 4.1s (3.1% of total)
ival-log: 3.8s (2.9% of total)
ival-add!: 3.7s (2.8% of total)
ival-atan: 876.0ms (0.7% of total)
ival-atan2: 812.0ms (0.6% of total)
ival-hypot: 588.0ms (0.4% of total)
ival-tan: 580.0ms (0.4% of total)
ival-acos: 439.0ms (0.3% of total)
ival-cbrt: 295.0ms (0.2% of total)
ival-fabs: 193.0ms (0.1% of total)
ival-log1p: 150.0ms (0.1% of total)
ival-<: 141.0ms (0.1% of total)
ival-asin: 120.0ms (0.1% of total)
ival-and: 50.0ms (0% of total)
ival-assert: 8.0ms (0% of total)
ival-<=: 6.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

rewrite56.0s (12.4%)

Memory
787.4MiB live, 64 994.7MiB allocated; 17.2s collecting garbage
Stop Event
468×iter limit
190×node limit
9×unsound
2×saturated
Counts
54 969 → 80 413

series36.8s (8.2%)

Memory
103.8MiB live, 42 165.1MiB allocated; 12.1s collecting garbage
Counts
7 570 → 47 399
Calls

1629 calls:

TimeVariablePointExpression
1.0s
ew
@inf
((fabs (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))))) (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2)))))) eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t))))) (cos t) t (tanh (asinh (/ (/ eh ew) (tan t)))) (asinh (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) ew (tan t) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))))) (* (sin t) ew) (sin t) (/ 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2)))) 1 (sqrt (+ 1 (pow (/ (/ eh ew) (tan t)) 2))) (+ 1 (pow (/ (/ eh ew) (tan t)) 2)) (pow (/ (/ eh ew) (tan t)) 2) 2 (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)))))) (* 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)))))) (* (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) eh) (tanh (asinh (* (/ (cos t) ew) (/ eh (sin t))))) (asinh (* (/ (cos t) ew) (/ eh (sin t)))) (* (/ (cos t) ew) (/ eh (sin t))) (/ (cos t) ew) (/ eh (sin t)) (sin t) (fabs (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (* ew (sin t)) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))))) (/ 1 (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))))) (sqrt (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))) (+ 1 (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t)))) (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (tan t) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (fabs (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t))))))) (+ (* eh (* (cos t) (tanh (asinh (/ (/ eh ew) (tan t)))))) (* (* (sin t) ew) (cos (atan (/ (/ eh ew) (tan t)))))) (+ (* ew (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t))) (/ (pow (* eh (cos t)) 2) (* ew (sin t)))) (* (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (sin t)) (cos (atan (/ (* eh (cos t)) (* ew (sin t))))) (atan (/ (* eh (cos t)) (* ew (sin t)))) (/ (* eh (cos t)) (* ew (sin t))) (/ (pow (* eh (cos t)) 2) (* ew (sin t))) (pow (* eh (cos t)) 2))
986.0ms
R
@0
((* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi1 phi2) 2)) 2) (sin (/ (- phi1 phi2) 2)) (/ (- phi1 phi2) 2) (- phi1 phi2) phi1 phi2 (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (* (cos phi1) (cos phi2)) (cos phi1) (cos phi2) (sin (/ (- lambda1 lambda2) 2)) (/ (- lambda1 lambda2) 2) (- lambda1 lambda2) lambda1 lambda2 (sqrt (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) 1 (+ (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) 2) (- (* (sin (/ phi1 2)) (cos (/ phi2 2))) (* (cos (/ phi1 2)) (sin (/ phi2 2)))) (* (sin (/ phi1 2)) (cos (/ phi2 2))) (sin (/ phi1 2)) (/ phi1 2) (cos (/ phi2 2)) (/ phi2 2) (* (cos (/ phi1 2)) (sin (/ phi2 2))) (cos (/ phi1 2)) (sin (/ phi2 2)) (* (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) R) (* (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) 2) (atan2 (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) (sqrt (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)) (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2))))) 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))) (cos (* 2 (/ (- lambda1 lambda2) 2))) (* 2 (/ (- lambda1 lambda2) 2)) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2)))) (- 1 (+ (* (* (cos phi2) (cos phi1)) (- 1/2 (* 1/2 (cos (* 2 (/ (- lambda1 lambda2) 2)))))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (- 1 (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (- 1/2 (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2))))) (* 1/2 (cos (* 2 (/ (- phi1 phi2) 2)))) (cos (* 2 (/ (- phi1 phi2) 2))) (* 2 (/ (- phi1 phi2) 2)) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi1 phi2) 2)) 2) (sin (/ (- phi1 phi2) 2)) (/ (- phi1 phi2) 2) (* (- (* (/ phi1 phi2) 1/2) 1/2) phi2) (- (* (/ phi1 phi2) 1/2) 1/2) (* (/ phi1 phi2) 1/2) (/ phi1 phi2) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))) (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (* R (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))))) (* 2 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))))))) (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (sqrt (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))))) (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))) (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)))) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2)) (+ (* (* 1/2 lambda1) (cos (* -1/2 lambda2))) (sin (* -1/2 lambda2))) (* 1/2 lambda1) (cos (* -1/2 lambda2)) (* -1/2 lambda2) -1/2 (sin (* -1/2 lambda2)))
718.0ms
c_n
@inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) 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 s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (exp (neg s)) (neg s) 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/2 (+ c_p c_n)) 1/2 (+ c_p c_n) c_n (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (- 1 (/ 1 (+ 1 (exp (neg s))))) (/ (* (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))) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)) (* (neg (log (+ 1 (exp (neg s))))) c_p) (neg (log (+ 1 (exp (neg s))))) (log 1/2) (* (neg (log (+ 1 (exp (neg t))))) c_p) (neg (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg t)))) (exp (neg t)) (neg t) t (/ (* (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)) (+ (* (+ (* (* -1/2 c_n) (pow 1/2 (+ c_p c_n))) (* (* 1/2 c_p) (pow 1/2 (+ c_p c_n)))) t) (pow 1/2 (+ c_p c_n))) (* t (+ (* (pow 1/2 (+ c_n c_p)) (+ (* -1/2 c_n) (* 1/2 c_p))) (/ (pow 1/2 (+ c_n c_p)) t))) (+ (* (pow 1/2 (+ c_n c_p)) (+ (* -1/2 c_n) (* 1/2 c_p))) (/ (pow 1/2 (+ c_n c_p)) t)) (pow 1/2 (+ c_n c_p)) (+ c_n c_p) (+ (* -1/2 c_n) (* 1/2 c_p)) -1/2 (* 1/2 c_p) (/ (pow 1/2 (+ c_n c_p)) t))
713.0ms
a
@-inf
((/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) a) (/ (neg c) b)) (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) (* (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (* c c)) (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) (/ (+ (* (* (* b b) a) -2) (* (* (* a a) c) -5)) (pow b 7)) (+ (* (* (* b b) a) -2) (* (* (* a a) c) -5)) (* (* b b) a) (* b b) b a -2 (* (* (* a a) c) -5) (* (* a a) c) (* a a) c -5 (pow b 7) 7 (pow b -3) -3 (* c c) (/ (neg c) b) (neg c) (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (+ a a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (* (* a (/ c b)) -2) (* a (/ c b)) (/ c b) (+ a a) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (/ (* (* c c) a) (* (* b b) b)) -1) (/ (neg c) b)) (/ (* (* c c) a) (* (* b b) b)) (* (* c c) a) (* (* b b) b) -1 (/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (* 2 a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (/ (* -2 (+ (* c a) (/ (pow (* c a) 2) (* b b)))) b) (* -2 (+ (* c a) (/ (pow (* c a) 2) (* b b)))) (+ (* c a) (/ (pow (* c a) 2) (* b b))) (* (+ (* (/ (* c c) b) (/ a b)) c) a) (+ (* (/ (* c c) b) (/ a b)) c) (/ (* c c) b) (/ a b) (* 2 a) 2 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) a) (/ (neg c) b)) (+ (* (+ (* (* a (/ (* (/ (pow c 4) (pow b 6)) 20) b)) -1/4) (/ (* -2 (pow c 3)) (pow b 5))) a) (neg (/ (* c c) (pow b 3)))) (* (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (* c c)) (- (* (+ (* (/ a (pow b 5)) -2) (/ (* -5 (* (* a a) c)) (pow b 7))) c) (pow b -3)) (/ (- (/ (* (* c a) -2) (* b b)) 1) (pow b 3)) (- (/ (* (* c a) -2) (* b b)) 1) (/ (* (* c a) -2) (* b b)) (* (* c a) -2) (* c a) 1 (pow b 3) 3)
357.0ms
e
@0
((* e (/ (sin v) (+ (* (cos v) e) 1))) (/ (sin v) (+ (pow e -1) (cos v))) (sin v) v (+ (pow e -1) (cos v)) (pow e -1) e -1 (cos v) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* (sin v) e) (sin v) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* e (sin v)) (* (+ (* (* v v) (* -1/6 e)) e) v) (+ (* (* v v) (* -1/6 e)) e) (* v v) (* -1/6 e) -1/6 (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* e (sin v)) (+ (* e v) (* (* (* (* v v) e) -1/6) v)) (* e v) (* (* (* (* v v) e) -1/6) v) (* (* (* v v) e) -1/6) (* (* v v) e) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* e (sin v)) (* (+ (* (+ (* (+ (* (* (* v v) e) -1/5040) (* 1/120 e)) (* v v)) (* -1/6 e)) (* v v)) e) v) (+ (* (+ (* (+ (* (* (* v v) e) -1/5040) (* 1/120 e)) (* v v)) (* -1/6 e)) (* v v)) e) (+ (* (+ (* (* (* v v) e) -1/5040) (* 1/120 e)) (* v v)) (* -1/6 e)) (+ (* (* (* v v) e) -1/5040) (* 1/120 e)) -1/5040 (* 1/120 e) 1/120)

regimes36.0s (8%)

Memory
386.6MiB live, 53 967.1MiB allocated; 8.5s collecting garbage
Counts
19 509 → 845
Calls

155 calls:

2.9s
phi2
2.7s
phi1
2.5s
lambda1
2.2s
lambda2
2.1s
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
Compiler

Compiled 18 321 to 14 590 computations (20.4% saved)

prune25.5s (5.7%)

Memory
-614.2MiB live, 37 755.2MiB allocated; 7.8s collecting garbage
Counts
110 253 → 5 726
Compiler

Compiled 922 613 to 355 539 computations (61.5% saved)

preprocess23.3s (5.2%)

Memory
219.0MiB live, 16 850.1MiB allocated; 7.1s collecting garbage
Stop Event
104×iter limit
92×node limit
12×saturated
Compiler

Compiled 112 443 to 19 893 computations (82.3% saved)

eval23.2s (5.2%)

Memory
937.4MiB live, 35 381.1MiB allocated; 6.1s collecting garbage
Samples
156.0ms2 367×0valid
77.0ms1 217×0invalid
Compiler

Compiled 12 532 756 to 574 884 computations (95.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 118.0ms
ival-mult!: 89.0ms (75.2% of total)
ival-add!: 28.0ms (23.7% of total)
adjust: 1.0ms (0.8% of total)

explain18.8s (4.2%)

Memory
125.0MiB live, 25 829.5MiB allocated; 3.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19077
+.f64#fcancellation171042
sin.f64#fsensitivity16292
sqrt.f64#foflow-rescue13410
-.f64#fcancellation92011
-.f64#fnan-rescue6190
log.f64#fsensitivity6081
/.f64#fo/n4860
/.f64#fo/o3630
/.f64#fu/u2830
*.f64#fn*o2470
sqrt.f64#fuflow-rescue1790
exp.f64#fsensitivity16821
/.f64#fu/n1620
/.f64#fn/o950
cbrt.f64#foflow-rescue890
*.f64#fn*u860
*.f64#fo*u490
/.f64#fn/u440
*.f64#fu*o270
cbrt.f64#fuflow-rescue270
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)))))sensitivity245
pow.f64#fsensitivity80
log.f64#foflow-rescue40
pow.f64#fuflow-rescue30
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)underflow68
↳(exp.f64 b)underflow56
Confusion
Predicted +Predicted -
+566366
-13976186
Precision
0.8021246458923513
Recall
0.9884796648629778
Confusion?
Predicted +Predicted MaybePredicted -
+56633531
-1397406146
Precision?
0.7985984583041346
Recall?
0.9945889334962472
Freqs
test
numberfreq
06252
14658
21595
3361
4212
5139
668
719
87
91
Total Confusion?
Predicted +Predicted MaybePredicted -
+4201
-306
Precision?
0.9333333333333333
Recall?
0.9767441860465116
Samples
3.1s7 538×1valid
2.1s16 644×0valid
1.9s2 120×2valid
460.0ms322×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-sin: 1.1s (18.2% of total)
ival-cos: 824.0ms (14.2% of total)
ival-mult!: 696.0ms (12% of total)
adjust: 474.0ms (8.2% of total)
ival-div!: 448.0ms (7.7% of total)
ival-pow2: 408.0ms (7% of total)
ival-cosu: 308.0ms (5.3% of total)
ival-sinu: 266.0ms (4.6% of total)
ival-exp: 251.0ms (4.3% of total)
ival-log: 197.0ms (3.4% of total)
ival-sqrt: 182.0ms (3.1% of total)
ival-sub!: 162.0ms (2.8% of total)
ival-add!: 146.0ms (2.5% of total)
ival-atan2: 89.0ms (1.5% of total)
ival-neg: 74.0ms (1.3% of total)
ival-tan: 51.0ms (0.9% of total)
ival-hypot: 40.0ms (0.7% of total)
ival-atan: 28.0ms (0.5% of total)
ival-pow: 26.0ms (0.4% of total)
ival-acos: 21.0ms (0.4% of total)
ival-cbrt: 20.0ms (0.3% 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)

analyze16.2s (3.6%)

Memory
484.1MiB live, 20 329.1MiB allocated; 4.1s 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)

derivations14.6s (3.2%)

Memory
-260.8MiB live, 13 346.1MiB allocated; 3.6s collecting garbage
Stop Event
44×fuel
8×done
Compiler

Compiled 42 480 to 5 644 computations (86.7% saved)

bsearch9.3s (2.1%)

Memory
47.7MiB live, 14 512.2MiB allocated; 1.7s collecting garbage
Algorithm
306×binary-search
83×left-value
Stop Event
300×narrow-enough
6×predicate-same
Samples
4.3s6 732×1valid
1.9s13 898×0valid
446.0ms783×2valid
226.0ms1 713×0invalid
53.0ms193×1invalid
48.0ms43×3valid
13.0ms39×2invalid
2.0ms34×0exit
Compiler

Compiled 227 769 to 137 607 computations (39.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-cos: 1.7s (27.9% of total)
ival-sin: 1.5s (23.9% of total)
ival-mult!: 714.0ms (11.8% of total)
adjust: 445.0ms (7.3% of total)
ival-pow2: 395.0ms (6.5% of total)
ival-sqrt: 222.0ms (3.7% of total)
ival-div!: 196.0ms (3.2% of total)
ival-sub!: 193.0ms (3.2% of total)
ival-atan2: 142.0ms (2.3% of total)
ival-sinu: 124.0ms (2% of total)
ival-cosu: 110.0ms (1.8% of total)
ival-add!: 109.0ms (1.8% of total)
ival-exp: 63.0ms (1% of total)
ival-acos: 55.0ms (0.9% of total)
ival-neg: 53.0ms (0.9% of total)
ival-atan: 33.0ms (0.5% of total)
ival-tan: 26.0ms (0.4% of total)
ival-hypot: 15.0ms (0.2% of total)
ival-log: 12.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

simplify3.1s (0.7%)

Memory
79.7MiB live, 3 076.4MiB allocated; 569ms collecting garbage
Stop Event
47×node limit
5×saturated

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...