Herbie run

Date:Monday, December 23rd, 2024
Commit:7aac494d on cleanup-taylor
Seed:2024358
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:671 201.1 MB

Time bar (total: 10.6min)

sample3.8min (36.1%)

Memory
1 255.5MiB live, 232 668.1MiB allocated; 1.1min collecting garbage
Samples
56.8s119 975×1valid
54.5s17 865×5exit
43.5s281 325×0valid
17.3s24 719×2valid
7.8s3 266×3valid
6.3s34 982×0exit
4.1s19 953×0invalid
3.8s12 252×1invalid
475.0ms835×2invalid
208.0ms27×4valid
57.0ms25×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-pow: 46.2s (27.2% of total)
ival-mult: 16.9s (9.9% of total)
adjust: 16.1s (9.5% of total)
ival-cos: 11.4s (6.7% of total)
ival-div: 10.4s (6.1% of total)
ival-sin: 9.1s (5.3% of total)
ival-pow2: 8.9s (5.3% of total)
ival-sub: 8.1s (4.8% of total)
ival-add: 6.0s (3.5% of total)
ival-exp: 6.0s (3.5% of total)
ival-sinu: 5.1s (3% of total)
ival-cosu: 4.8s (2.8% of total)
ival-log: 4.2s (2.5% of total)
ival-sqrt: 3.4s (2% of total)
ival-neg: 2.5s (1.5% of total)
const: 2.4s (1.4% of total)
ival-<: 2.0s (1.2% of total)
ival-tan: 1.0s (0.6% of total)
ival-log1p: 965.0ms (0.6% of total)
ival-hypot: 841.0ms (0.5% of total)
ival-atan2: 756.0ms (0.4% of total)
exact: 384.0ms (0.2% of total)
ival-cbrt: 370.0ms (0.2% of total)
ival-acos: 369.0ms (0.2% of total)
ival-and: 343.0ms (0.2% of total)
ival-true: 294.0ms (0.2% of total)
ival-atan: 259.0ms (0.2% of total)
ival-fabs: 258.0ms (0.2% of total)
ival-assert: 206.0ms (0.1% of total)
ival-<=: 174.0ms (0.1% of total)
ival-pi: 159.0ms (0.1% of total)
ival-asin: 123.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify1.2min (11.5%)

Memory
2 019.3MiB live, 74 446.0MiB allocated; 13.8s collecting garbage
Algorithm
458×egg-herbie
Stop Event
609×iter limit
399×node limit
59×saturated
Counts
24 193 → 24 041

localize1.2min (11%)

Memory
-71.1MiB live, 75 694.4MiB allocated; 13.8s collecting garbage
Samples
27.3s17 120×1valid
10.0s870×5exit
9.2s26 713×0valid
9.2s4 104×2valid
1.7s2 740×0invalid
739.0ms320×3valid
120.0ms95×1invalid
118.0ms4×4exit
46.0ms2×3exit
Compiler

Compiled 113 777 to 9 364 computations (91.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.1s
ival-mult: 9.5s (19.3% of total)
ival-sin: 7.5s (15.3% of total)
adjust: 6.1s (12.5% of total)
ival-cos: 5.9s (12.1% of total)
ival-div: 4.1s (8.3% of total)
ival-add: 2.5s (5% of total)
ival-pow2: 2.2s (4.5% of total)
ival-sub: 1.8s (3.6% of total)
ival-pow: 1.3s (2.6% of total)
const: 1.1s (2.2% of total)
ival-log: 891.0ms (1.8% of total)
ival-sqrt: 862.0ms (1.8% of total)
ival-sinu: 827.0ms (1.7% of total)
ival-exp: 809.0ms (1.6% of total)
ival-cosu: 763.0ms (1.6% of total)
ival-log1p: 452.0ms (0.9% of total)
ival-neg: 452.0ms (0.9% of total)
ival-hypot: 398.0ms (0.8% of total)
ival-atan2: 319.0ms (0.7% of total)
ival-expm1: 235.0ms (0.5% of total)
ival-cbrt: 177.0ms (0.4% of total)
ival-acos: 173.0ms (0.4% of total)
ival-tan: 166.0ms (0.3% of total)
ival-atan: 123.0ms (0.3% of total)
ival-fabs: 103.0ms (0.2% of total)
exact: 99.0ms (0.2% of total)
ival-pi: 91.0ms (0.2% of total)
ival-asin: 88.0ms (0.2% of total)
ival-true: 44.0ms (0.1% of total)
ival-asinh: 44.0ms (0.1% of total)
ival-cosh: 39.0ms (0.1% of total)
ival-assert: 22.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)
ival->: 5.0ms (0% of total)
ival-exp2: 4.0ms (0% of total)
ival-acosh: 4.0ms (0% of total)
ival-then: 2.0ms (0% of total)

derivations49.4s (7.8%)

Memory
-198.2MiB live, 36 856.5MiB allocated; 7.1s collecting garbage
Stop Event
425×iter limit
271×node limit
45×fuel
7×done
5×saturated
3×unsound
Compiler

Compiled 45 158 to 5 802 computations (87.2% saved)

rewrite42.7s (6.7%)

Memory
275.0MiB live, 44 785.4MiB allocated; 9.7s collecting garbage
Stop Event
431×iter limit
193×node limit
6×unsound
4×saturated
Counts
3 701 → 91 323

regimes31.2s (4.9%)

Memory
114.7MiB live, 36 997.0MiB allocated; 5.7s collecting garbage
Counts
16 400 → 829
Calls

155 calls:

1.8s
phi1
1.7s
phi2
1.6s
lambda1
1.6s
b
1.5s
a
Compiler

Compiled 19 163 to 14 918 computations (22.2% saved)

eval27.8s (4.4%)

Memory
-300.7MiB live, 34 573.2MiB allocated; 9.2s collecting garbage
Compiler

Compiled 9 258 596 to 589 733 computations (93.6% saved)

series24.7s (3.9%)

Memory
419.6MiB live, 28 953.9MiB allocated; 6.3s collecting garbage
Counts
3 701 → 24 193
Calls

1641 calls:

TimeVariablePointExpression
588.0ms
x
@-inf
((log (+ 1 (exp x))) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)) (exp x))
468.0ms
angle
@-inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (* 2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))) (* 1/4 (* (sqrt 8) x-scale)) (* (sqrt 8) x-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 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (/ (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 (/ (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) (* y-scale y-scale))))) (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (* (* (sqrt 8) y-scale) x-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) b)) (sqrt (+ (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (pow (- (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale)))))) (* 1/4 (* (* (* (sqrt 8) y-scale) x-scale) b)) (* (* (* (sqrt 8) y-scale) x-scale) b) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (exp (log (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (exp (log (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (exp (log (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))))))) (sin (* (* (PI) angle) 1/180)) (cos (* -1/180 (* (PI) angle))) (sqrt (* 2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))))) (* y-scale (sqrt 2)) (sqrt 2) (sqrt (* 2 (/ (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) (* y-scale y-scale)))) (sqrt (+ (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (pow (- (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale)) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale))) 2))) (+ (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) (* x-scale x-scale))))) (log (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))) (sin (* (PI) (/ angle 180))) (sin (* (/ angle 180) (PI))))
185.0ms
t
@inf
((+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))))) (+ (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t)))))))))))) (exp (+ (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))))))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ 1 (+ (exp (neg s)) 1)) (/ 1 (+ (exp (neg t)) 1)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (/ 1 (+ 1 (exp (neg t)))) (+ (* (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 1)))))) c_n) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p))) (log (+ 1 (exp (neg t)))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 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))))
177.0ms
x-scale
@inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (- (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow b 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-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) x-scale)) (sqrt (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))))))) (* 1/4 (* (sqrt 8) x-scale)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (cos (* -1/180 (* (PI) angle))) (neg b) (sin (* (* (PI) angle) 1/180)) (cos (* (PI) (/ angle 180))))
157.0ms
y-scale
@inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (- (+ (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow b 4) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* b b) x-scale) (/ (pow (cos (* -1/180 (* (PI) angle))) 2) x-scale)) (* (* (neg b) b) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-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) x-scale)) (sqrt (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (+ (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* -1/180 (* (PI) angle))) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* -1/180 (* (PI) angle))) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))) (/ (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* -1/180 (* (PI) angle))) 2))) (* x-scale x-scale)))))))) (* 1/4 (* (sqrt 8) x-scale)) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))))))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (sqrt (+ (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (/ angle 180))))) (* y-scale x-scale))) (* (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale))) (- (/ (+ (pow (* (cos (* (PI) (/ angle 180))) b) 2) (pow (* (sin (* (PI) (/ angle 180))) a) 2)) (* x-scale x-scale)) (/ (+ (pow (* b (sin (* (PI) (/ angle 180)))) 2) (pow (* (cos (* (PI) (/ angle 180))) a) 2)) (* y-scale y-scale)))))))))) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (neg a) (PI) (cos (* -1/180 (* (PI) angle))) (neg b) (sin (* (* (PI) angle) 1/180)) (cos (* (PI) (/ angle 180))))

prune21.4s (3.4%)

Memory
-592.8MiB live, 31 331.2MiB allocated; 4.9s collecting garbage
Counts
121 284 → 6 553
Compiler

Compiled 1 013 051 to 387 880 computations (61.7% saved)

explain21.0s (3.3%)

Memory
-8.2MiB live, 24 413.8MiB allocated; 2.8s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19104
+.f64#fcancellation172946
sin.f64#fsensitivity16644
sqrt.f64#foflow-rescue13860
-.f64#fcancellation95914
-.f64#fnan-rescue6570
log.f64#fsensitivity5790
/.f64#fo/n4760
/.f64#fo/o3580
/.f64#fu/u2780
*.f64#fn*o2530
exp.f64#fsensitivity16019
sqrt.f64#fuflow-rescue1510
/.f64#fu/n1470
/.f64#fn/o1300
cbrt.f64#foflow-rescue890
*.f64#fn*u860
/.f64#fn/u430
cbrt.f64#fuflow-rescue420
*.f64#fu*o290
*.f64#fo*u270
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)))))sensitivity160
pow.f64#fuflow-rescue80
log.f64#foflow-rescue60
pow.f64(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)sensitivity50
Confusion
Predicted +Predicted -
+572879
-13586147
Precision
0.8083545018346034
Recall
0.9863957292922335
Confusion?
Predicted +Predicted MaybePredicted -
+57283841
-1358346113
Precision?
0.8055322715842415
Recall?
0.9929395557086275
Freqs
test
numberfreq
06226
14663
21589
3363
4234
5142
662
726
85
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-306
Precision?
0.9347826086956522
Recall?
1.0
Samples
3.9s7 732×1valid
2.4s2 094×2valid
2.2s16 504×0valid
639.0ms294×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-sin: 1.3s (18% of total)
ival-mult: 1.1s (14.5% of total)
ival-cos: 889.0ms (11.9% of total)
adjust: 660.0ms (8.8% of total)
ival-div: 593.0ms (7.9% of total)
ival-pow2: 410.0ms (5.5% of total)
ival-sub: 355.0ms (4.8% of total)
ival-cosu: 344.0ms (4.6% of total)
ival-log: 338.0ms (4.5% of total)
ival-add: 331.0ms (4.4% of total)
ival-sinu: 303.0ms (4.1% of total)
ival-exp: 225.0ms (3% of total)
ival-sqrt: 178.0ms (2.4% of total)
ival-atan: 64.0ms (0.9% of total)
ival-neg: 58.0ms (0.8% of total)
ival-tan: 51.0ms (0.7% of total)
ival-atan2: 41.0ms (0.5% of total)
ival-hypot: 35.0ms (0.5% of total)
ival-acos: 25.0ms (0.3% of total)
ival-true: 24.0ms (0.3% of total)
ival-pow: 23.0ms (0.3% of total)
ival-cbrt: 20.0ms (0.3% of total)
exact: 19.0ms (0.3% of total)
ival-pi: 18.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

analyze19.4s (3%)

Memory
335.4MiB live, 21 038.6MiB allocated; 6.3s 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)

preprocess13.2s (2.1%)

Memory
97.5MiB live, 13 946.3MiB allocated; 2.3s collecting garbage
Algorithm
52×egg-herbie
Stop Event
104×iter limit
64×node limit
40×saturated
Compiler

Compiled 116 329 to 20 401 computations (82.5% saved)

bsearch12.6s (2%)

Memory
247.5MiB live, 15 489.9MiB allocated; 3.1s collecting garbage
Algorithm
277×binary-search
79×left-value
Stop Event
272×narrow-enough
5×predicate-same
Samples
5.6s7 627×1valid
2.8s13 127×0valid
984.0ms1 189×2valid
362.0ms169×3valid
51.0ms592×0invalid
Compiler

Compiled 284 226 to 146 652 computations (48.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-cos: 1.6s (18.3% of total)
ival-mult: 1.5s (17% of total)
ival-sin: 1.4s (16.6% of total)
adjust: 840.0ms (9.7% of total)
ival-pow2: 661.0ms (7.7% of total)
ival-div: 497.0ms (5.8% of total)
ival-cosu: 405.0ms (4.7% of total)
ival-sinu: 393.0ms (4.6% of total)
ival-sub: 389.0ms (4.5% of total)
ival-add: 217.0ms (2.5% of total)
ival-sqrt: 199.0ms (2.3% of total)
ival-atan2: 104.0ms (1.2% of total)
ival-acos: 100.0ms (1.2% of total)
ival-exp: 81.0ms (0.9% of total)
ival-neg: 55.0ms (0.6% of total)
ival-atan: 45.0ms (0.5% of total)
ival-log: 33.0ms (0.4% of total)
ival-tan: 29.0ms (0.3% of total)
ival-hypot: 22.0ms (0.3% of total)
ival-true: 18.0ms (0.2% of total)
ival-pi: 15.0ms (0.2% of total)
exact: 13.0ms (0.2% of total)
ival-asin: 10.0ms (0.1% of total)
ival-assert: 10.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-pow: 5.0ms (0.1% of total)
ival-log1p: 3.0ms (0% of total)

start20.0ms (0%)

Memory
-51.5MiB live, 6.1MiB allocated; 19ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...