Herbie run

Date:Friday, April 11th, 2025
Commit:1485bc85 on chassis-platforms-cleanup
Seed:2025101
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:494 016.1 MB

Time bar (total: 6.8min)

sample2.9min (42.8%)

Memory
1 352.7MiB live, 197 551.5MiB allocated; 51.8s collecting garbage
Samples
46.3s119 323×1valid
38.7s281 806×0valid
18.1s4 037×4exit
15.4s25 017×2valid
8.4s11 420×5exit
6.1s3 142×3valid
5.2s35 435×0exit
2.7s12 121×1invalid
2.1s19 688×0invalid
503.0ms929×2invalid
277.0ms2 614×1exit
86.0ms24×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 21.0s (17.8% of total)
ival-mult!: 12.9s (10.9% of total)
adjust: 10.9s (9.3% of total)
ival-cos: 10.6s (9% of total)
ival-pow2: 9.2s (7.8% of total)
ival-div!: 8.5s (7.2% of total)
ival-sin: 8.3s (7.1% of total)
ival-exp: 5.4s (4.6% of total)
ival-sinu: 5.1s (4.3% of total)
ival-cosu: 4.8s (4% of total)
ival-add!: 4.2s (3.6% of total)
ival-sqrt: 3.8s (3.2% of total)
ival-log: 3.7s (3.1% of total)
ival-sub!: 3.2s (2.8% of total)
ival-neg: 2.0s (1.7% of total)
ival-atan2: 835.0ms (0.7% of total)
ival-cbrt: 804.0ms (0.7% of total)
ival-tan: 679.0ms (0.6% of total)
ival-hypot: 597.0ms (0.5% of total)
ival-atan: 399.0ms (0.3% of total)
ival-acos: 353.0ms (0.3% of total)
ival-fabs: 157.0ms (0.1% of total)
ival-asin: 150.0ms (0.1% of total)
ival-log1p: 119.0ms (0.1% of total)
ival-<: 62.0ms (0.1% of total)
ival-and: 51.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

rewrite53.1s (13%)

Memory
1 341.5MiB live, 58 477.5MiB allocated; 13.8s collecting garbage
Stop Event
451×iter-limit
183×node-limit
8×unsound
4×saturated
Counts
52 297 → 79 666

regimes34.8s (8.5%)

Memory
49.6MiB live, 50 185.6MiB allocated; 7.5s collecting garbage
Counts
19 701 → 866
Calls

155 calls:

2.5s
phi1
2.2s
phi2
2.2s
(+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))))
2.1s
lambda1
1.8s
lambda2
Compiler

Compiled 18 823 to 15 333 computations (18.5% saved)

series32.3s (7.9%)

Memory
854.7MiB live, 41 683.1MiB allocated; 9.2s collecting garbage
Counts
7 527 → 44 770
Calls

1602 calls:

TimeVariablePointExpression
872.0ms
lambda1
@inf
((* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (- phi1 phi2) phi1 phi2 (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (cos (/ (+ phi2 phi1) 2)) (/ (+ phi2 phi1) 2) (* 1/2 phi2) 1/2 (- lambda1 lambda2) lambda1 lambda2 (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (* (neg phi2) (+ (/ (neg phi1) phi2) 1)) (neg phi2) (+ (/ (neg phi1) phi2) 1) (/ (neg phi1) phi2) (neg phi1) 1 (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (* R lambda2) (sin (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2)))) (* R lambda2) (sin (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2))) (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2)) (+ phi2 phi1) (/ (PI) 2) (PI) 2 (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (* (neg lambda2) (+ (* R (cos (* 1/2 (+ phi2 phi1)))) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2))) (neg lambda2) (+ (* R (cos (* 1/2 (+ phi2 phi1)))) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2)) (cos (* 1/2 (+ phi2 phi1))) (* 1/2 (+ phi2 phi1)) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2) (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1)))) (* R lambda1))
366.0ms
t
@inf
((fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) ew (sin t) t (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (cos t) eh) (cos t) (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (* 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))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) (asinh (/ (* (cos t) eh) (* (sin t) ew))) (/ (* (cos t) eh) (* (sin t) ew)) (* (sin t) ew) (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)))))) (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) (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 (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (fabs (+ (* (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (* (sin t) ew)) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))))) (+ (* (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (* (sin t) ew)) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan 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)
344.0ms
ew
@0
((fabs (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2)))) (sin t) t (cos (/ (PI) 2)) (/ (PI) 2) (PI) 2 (* (cos t) (sin (/ (PI) 2))) (cos t) (sin (/ (PI) 2)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) 1 (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t)) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (fabs (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (/ (tan t) ew) (fabs (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* -1 (* (/ eh ew) (tan t))) -1)
327.0ms
ew
@0
((fabs (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))))) ew (/ (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1))))) (+ (pow (* (sin t) 0) 3) (pow (* (cos t) 1) 3)) (pow (* (sin t) 0) 3) (* (sin t) 0) (sin t) t 0 3 (pow (* (cos t) 1) 3) (* (cos t) 1) (cos t) 1 (+ (* (* (sin t) 0) (* (sin t) 0)) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)))) (- (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1))) (* (* (cos t) 1) (* (cos t) 1)) (* (* (sin t) 0) (* (cos t) 1)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (neg eh) eh (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (sqrt (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))))) (* (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (+ (* (sin t) (cos (/ (PI) 2))) (* (cos t) (sin (/ (PI) 2))))) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (+ (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) ew) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t))) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (* (neg eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t)) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) t) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (* -1 (/ (* eh t) ew)) -1 (/ (* eh t) ew) (* eh t) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (neg (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) ew)) (* (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) ew) (+ (* eh (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew)) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t)))) (/ (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) ew) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t)) (tanh (asinh (neg (* (/ eh ew) (tan t))))) (asinh (neg (* (/ eh ew) (tan t)))) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh ew) (neg (* (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (cos t))) (fabs (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* ew (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (* (cos t) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (* -1 (* (/ eh ew) (tan t))) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (/ (tan t) ew))
295.0ms
t
@0
((fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) ew (sin t) t (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ eh ew) eh (tan t) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (cos t) eh) (cos t) (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (* 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))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew)))) (asinh (/ (* (cos t) eh) (* (sin t) ew))) (/ (* (cos t) eh) (* (sin t) ew)) (* (sin t) ew) (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)))))) (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) (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 (cos t)) (sin (atan (/ (/ eh ew) (tan t))))) (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))) (fabs (+ (* (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (* (sin t) ew)) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))))) (+ (* (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (* (sin t) ew)) (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan 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)

eval24.9s (6.1%)

Memory
-260.4MiB live, 34 117.8MiB allocated; 7.4s collecting garbage
Compiler

Compiled 12 333 048 to 605 531 computations (95.1% saved)

prune19.0s (4.6%)

Memory
225.6MiB live, 27 203.2MiB allocated; 5.2s collecting garbage
Counts
99 034 → 6 180
Compiler

Compiled 1 061 883 to 402 153 computations (62.1% saved)

explain18.4s (4.5%)

Memory
-51.3MiB live, 26 011.0MiB allocated; 3.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity187610
+.f64#fcancellation171541
sin.f64#fsensitivity16433
sqrt.f64#foflow-rescue14260
-.f64#fcancellation94217
-.f64#fnan-rescue6070
log.f64#fsensitivity5941
/.f64#fo/n4840
/.f64#fo/o3540
/.f64#fu/u2860
*.f64#fn*o2700
/.f64#fu/n1670
sqrt.f64#fuflow-rescue1540
exp.f64(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))sensitivity14632
/.f64#fn/o1090
*.f64#fn*u870
cbrt.f64#foflow-rescue850
cbrt.f64#fuflow-rescue450
/.f64#fn/u410
*.f64#fo*u360
*.f64#fu*o310
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)))))sensitivity162
pow.f64#fsensitivity93
pow.f64#fuflow-rescue80
log.f64#foflow-rescue50
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow2
↳(exp.f64 a)underflow64
↳(exp.f64 b)underflow72
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity14
Confusion
Predicted +Predicted -
+574676
-13326158
Precision
0.8118112461147217
Recall
0.986946066643765
Confusion?
Predicted +Predicted MaybePredicted -
+57465125
-1332436115
Precision?
0.808282208588957
Recall?
0.9957059429749227
Freqs
test
numberfreq
06234
14665
21595
3350
4240
5130
673
717
85
93
Total Confusion?
Predicted +Predicted MaybePredicted -
+4101
-307
Precision?
0.9318181818181818
Recall?
0.9761904761904762
Samples
3.2s7 716×1valid
2.0s16 544×0valid
1.8s2 038×2valid
457.0ms326×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-sin: 1.0s (18.3% of total)
ival-cos: 850.0ms (14.8% of total)
ival-mult!: 652.0ms (11.4% of total)
adjust: 522.0ms (9.1% of total)
ival-pow2: 443.0ms (7.7% of total)
ival-div!: 356.0ms (6.2% of total)
ival-sinu: 277.0ms (4.8% of total)
ival-exp: 277.0ms (4.8% of total)
ival-cosu: 274.0ms (4.8% of total)
ival-sqrt: 195.0ms (3.4% of total)
ival-sub!: 187.0ms (3.3% of total)
ival-log: 175.0ms (3% of total)
ival-add!: 150.0ms (2.6% of total)
ival-neg: 62.0ms (1.1% of total)
ival-tan: 50.0ms (0.9% of total)
ival-atan2: 43.0ms (0.7% of total)
ival-pow: 39.0ms (0.7% of total)
ival-hypot: 38.0ms (0.7% of total)
ival-atan: 29.0ms (0.5% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-acos: 20.0ms (0.3% of total)
ival-cbrt: 19.0ms (0.3% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

analyze16.3s (4%)

Memory
65.8MiB live, 19 222.3MiB allocated; 5.4s 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)

derivations15.3s (3.7%)

Memory
-115.2MiB live, 13 502.5MiB allocated; 2.8s collecting garbage
Stop Event
41×fuel
11×done
Compiler

Compiled 44 845 to 5 946 computations (86.7% saved)

bsearch10.4s (2.5%)

Memory
224.1MiB live, 12 132.6MiB allocated; 3.5s collecting garbage
Algorithm
313×binary-search
67×left-value
Stop Event
307×narrow-enough
6×predicate-same
Samples
4.9s6 957×1valid
2.1s14 664×0valid
528.0ms838×2valid
266.0ms165×3valid
85.0ms1 026×0invalid
36.0ms142×1invalid
14.0ms44×2invalid
5.0ms99×0exit
0.0ms1×1exit
Compiler

Compiled 250 486 to 148 702 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-sin: 2.1s (30.8% of total)
ival-cos: 1.6s (23.6% of total)
ival-mult!: 722.0ms (10.6% of total)
adjust: 510.0ms (7.5% of total)
ival-pow2: 346.0ms (5.1% of total)
ival-div!: 203.0ms (3% of total)
ival-cosu: 175.0ms (2.6% of total)
ival-sqrt: 165.0ms (2.4% of total)
ival-sub!: 163.0ms (2.4% of total)
ival-sinu: 157.0ms (2.3% of total)
ival-add!: 143.0ms (2.1% of total)
ival-exp: 141.0ms (2.1% of total)
ival-atan2: 118.0ms (1.7% of total)
ival-acos: 67.0ms (1% of total)
ival-neg: 41.0ms (0.6% of total)
ival-hypot: 39.0ms (0.6% of total)
ival-tan: 29.0ms (0.4% of total)
ival-atan: 27.0ms (0.4% of total)
ival-log: 21.0ms (0.3% of total)
ival-asin: 17.0ms (0.2% of total)
ival-pow: 14.0ms (0.2% of total)
ival-fabs: 6.0ms (0.1% of total)
ival-log1p: 2.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

preprocess9.9s (2.4%)

Memory
-418.3MiB live, 13 921.7MiB allocated; 2.4s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 235 712 to 64 978 computations (72.4% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...