Herbie run

Date:Friday, April 25th, 2025
Commit:3f20b552 on time-nightly
Seed:2025115
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:476 144.8 MB

Time bar (total: 6.6min)

sample2.9min (43.2%)

Memory
2 416.5MiB live, 197 981.2MiB allocated; 56.6s collecting garbage
Samples
47.3s119 054×1valid
36.2s281 499×0valid
17.8s25 510×2valid
16.0s3 834×4exit
7.2s11 426×5exit
6.8s3 229×3valid
4.5s34 417×0exit
2.1s19 913×0invalid
2.0s12 229×1invalid
453.0ms887×2invalid
225.0ms2 673×1exit
81.0ms20×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 18.8s (15.5% of total)
ival-mult!: 13.6s (11.2% of total)
adjust: 11.8s (9.7% of total)
ival-cos: 11.6s (9.6% of total)
ival-div!: 9.5s (7.8% of total)
ival-sin: 8.6s (7.1% of total)
ival-pow2: 8.0s (6.6% of total)
ival-sinu: 6.3s (5.2% of total)
ival-cosu: 5.6s (4.7% of total)
ival-exp: 5.5s (4.6% of total)
ival-log: 5.2s (4.3% of total)
ival-sqrt: 4.4s (3.7% of total)
ival-add!: 3.2s (2.6% of total)
ival-sub!: 3.0s (2.5% of total)
ival-neg: 1.8s (1.5% of total)
ival-tan: 980.0ms (0.8% of total)
ival-atan2: 718.0ms (0.6% of total)
ival-hypot: 670.0ms (0.6% of total)
ival-acos: 428.0ms (0.4% of total)
ival-atan: 381.0ms (0.3% of total)
ival-cbrt: 330.0ms (0.3% of total)
ival-fabs: 182.0ms (0.2% of total)
ival-log1p: 180.0ms (0.1% of total)
ival-asin: 168.0ms (0.1% of total)
ival-<: 64.0ms (0.1% of total)
ival-and: 48.0ms (0% of total)
ival-<=: 33.0ms (0% of total)
ival-assert: 8.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.8s (13.5%)

Memory
502.7MiB live, 59 709.2MiB allocated; 16.7s collecting garbage
Stop Event
449×iter-limit
186×node-limit
8×unsound
3×saturated
Counts
52 795 → 77 367

series33.1s (8.3%)

Memory
841.9MiB live, 41 593.7MiB allocated; 10.7s collecting garbage
Counts
7 475 → 45 320
Calls

1614 calls:

TimeVariablePointExpression
1.1s
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 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))))))) 1/4 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))))))) (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))))) (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))))) (- (* b b) (* -1 (* b b))) (* 2 (* b b)) 2 (* b b) b (/ (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 (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* a (* x-scale (* y-scale (sqrt 8)))) a (* x-scale (* y-scale (sqrt 8))) x-scale (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (/ 1 (* y-scale y-scale)) 1 (* y-scale y-scale) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)) (pow y-scale -4) -4 (/ (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 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))))))) (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))))))) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a))) 2)) (* y-scale y-scale)))) (/ (+ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (pow (* b (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))))) (* a (sqrt (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)))))) (sqrt (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))))) (- (pow (sin (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)))) (pow (sin (* 1/180 (* angle (PI)))) 2) (sin (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) (* 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2))) 1/2 (/ (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (* y-scale y-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))) (* (* angle angle) (+ (* -1/16200 (/ (* (PI) (PI)) (* y-scale y-scale))) (* 1/8100 (/ (* (PI) (PI)) (* y-scale y-scale))))) (* angle angle) (+ (* -1/16200 (/ (* (PI) (PI)) (* y-scale y-scale))) (* 1/8100 (/ (* (PI) (PI)) (* y-scale y-scale)))) -1/16200 (/ (* (PI) (PI)) (* y-scale y-scale)) (* (PI) (PI)) (* 1/8100 (/ (* (PI) (PI)) (* y-scale y-scale))) 1/8100 (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (/ (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 (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* (* a (* x-scale (sqrt 8))) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (* a (* x-scale (sqrt 8))) (* x-scale (sqrt 8)) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))) (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) 4 (/ (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 (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)) (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (* x-scale x-scale) (* y-scale y-scale))) (* (* x-scale x-scale) (* y-scale y-scale)) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2) (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))))
855.0ms
a
@inf
((+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (neg (* (/ (cbrt g) (cbrt a)) 1)) (* (/ (cbrt g) (cbrt a)) 1) (/ (cbrt g) (cbrt a)) (cbrt g) g (cbrt a) a 1 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (neg (* (cbrt (/ g a)) 1)) (* (cbrt (/ g a)) 1) (cbrt (/ g a)) (/ g a) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) (* 2 a) 2 (+ (neg g) (sqrt (- (* g g) (* h h)))) (neg g) (sqrt (- (* g g) (* h h))) (pow (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (- (neg g) (sqrt (- (* g g) (* h h)))) 1/3 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (cbrt (/ 1 (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))) (* (cbrt (/ 1 (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (/ 1 (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (* (+ (* (cbrt (/ (* h h) (* (* (* g g) (* g g)) a))) (cbrt -1/4)) (* (cbrt -1) (cbrt (/ 1 (* (* g g) a))))) g) (+ (* (cbrt (/ (* h h) (* (* (* g g) (* g g)) a))) (cbrt -1/4)) (* (cbrt -1) (cbrt (/ 1 (* (* g g) a))))) (cbrt (/ (* h h) (* (* (* g g) (* g g)) a))) (/ (* h h) (* (* (* g g) (* g g)) a)) (* h h) h (* (* (* g g) (* g g)) a) (* (* g g) (* g g)) (* g g) (cbrt -1/4) -1/4 (* (cbrt -1) (cbrt (/ 1 (* (* g g) a)))) (cbrt -1) -1 (cbrt (/ 1 (* (* g g) a))) (/ 1 (* (* g g) a)) (* (* g g) a))
321.0ms
t
@0
((fabs (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))))) (+ (* (* (cos t) eh) (tanh (asinh (/ eh (* ew (tan t)))))) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))))) (* (cos t) eh) (cos t) t eh (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (* ew (tan t)) 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)))))) (* (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)) (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)))))) (* (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) ew) (sin t)) (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) ew) (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2))) (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)) (pow (/ (* (cos t) eh) (* (sin t) ew)) 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)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t)))) (atan (/ (/ eh ew) (tan t))) (/ (/ eh ew) (tan t)) (/ (/ (+ (* -1/3 (* (* t t) eh)) eh) ew) t) (/ (+ (* -1/3 (* (* t t) eh)) eh) ew) (+ (* -1/3 (* (* t t) eh)) eh) -1/3 (* (* t t) eh) (* t t) (* (* eh (cos t)) (sin (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))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (+ (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) (sin t)) (/ (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) ew)) ew) (+ (* (/ 1 (sqrt (+ 1 (pow (/ (* (cos t) eh) (* (sin t) ew)) 2)))) (sin t)) (/ (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) ew)) (/ (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))) ew) (* (* (cos t) eh) (tanh (asinh (/ (* (cos t) eh) (* (sin t) ew))))))
317.0ms
ew
@0
((fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (sin t) eh) (sin t) t eh (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (neg eh) (/ (tan t) ew))) (* (neg eh) (/ (tan t) ew)) (neg eh) (/ (tan t) ew) (tan t) ew (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))) (* ew (cos t)) (cos t) (sqrt (* (- (* (* 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))))))) (* (- (* (* 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)))))) (- (* (* 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) (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))))) (* (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) eh) (- (/ (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) eh) (* (tanh (asinh (neg (* (/ eh ew) (tan t))))) (sin t))) (/ (* ew (cos t)) eh) (fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (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 (* (/ eh ew) (tan t)) (/ eh ew) (fabs (+ (* (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))) (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)) (pow (* (neg eh) (/ (tan t) ew)) 2) 2 (* (cos t) ew) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))
254.0ms
ew
@0
((fabs (+ (* (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))))) (+ (* (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) (* (cos t) ew)) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew)))))) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 1 (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 eh) (/ (tan t) ew)) (neg eh) eh (/ (tan t) ew) (tan t) t ew 2 (* (cos t) ew) (cos t) (* (neg (* (sin t) eh)) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (neg (* (sin t) eh)) (* (sin t) eh) (sin t) (tanh (asinh (* (neg eh) (/ (tan t) ew)))) (asinh (* (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) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)))) (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))) (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2)) (pow (neg (* (/ eh ew) (tan t))) 2) (neg (* (/ eh ew) (tan t))) (* (/ eh ew) (tan t)) (/ eh 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))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (neg (* (/ eh ew) (tan t))) 2))))) (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))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))) (fabs (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) (- (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))))) (* (* (sin t) eh) (tanh (asinh (* (neg eh) (/ (tan t) ew))))) (* (* (cos t) ew) (/ 1 (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))

regimes32.7s (8.2%)

Memory
580.8MiB live, 46 287.7MiB allocated; 8.7s collecting garbage
Counts
20 667 → 931
Calls

155 calls:

3.8s
phi2
2.8s
lambda1
2.6s
phi1
1.9s
lambda2
1.3s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14 804 to 14 627 computations (1.2% saved)

eval31.6s (8%)

Memory
476.3MiB live, 41 838.5MiB allocated; 12.8s collecting garbage
Compiler

Compiled 3 991 082 to 519 498 computations (87% saved)

prune20.1s (5.1%)

Memory
-316.5MiB live, 30 045.5MiB allocated; 5.9s collecting garbage
Counts
79 386 → 6 122
Compiler

Compiled 634 991 to 393 071 computations (38.1% saved)

analyze16.2s (4.1%)

Memory
395.2MiB live, 19 788.0MiB allocated; 6.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)

derivations15.6s (3.9%)

Memory
-138.5MiB live, 13 920.4MiB allocated; 2.1s collecting garbage
Stop Event
41×fuel
11×done
Compiler

Compiled 12 736 to 6 095 computations (52.1% saved)

preprocess11.5s (2.9%)

Memory
-642.0MiB live, 14 542.2MiB allocated; 5.1s collecting garbage
Stop Event
46×node-limit
6×saturated
Compiler

Compiled 128 486 to 66 947 computations (47.9% saved)

bsearch10.9s (2.7%)

Memory
-144.1MiB live, 10 429.2MiB allocated; 3.1s collecting garbage
Algorithm
340×binary-search
110×left-value
Stop Event
325×narrow-enough
15×predicate-same
Samples
5.5s8 701×1valid
2.1s13 144×0valid
272.0ms744×2valid
136.0ms1 245×0invalid
108.0ms51×3valid
77.0ms178×1invalid
12.0ms37×2invalid
Compiler

Compiled 224 903 to 168 536 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-cos: 2.0s (27% of total)
ival-sin: 1.9s (26.6% of total)
ival-pow2: 769.0ms (10.6% of total)
ival-mult!: 690.0ms (9.5% of total)
adjust: 518.0ms (7.2% of total)
ival-sqrt: 202.0ms (2.8% of total)
ival-sub!: 194.0ms (2.7% of total)
ival-div!: 187.0ms (2.6% of total)
ival-atan2: 167.0ms (2.3% of total)
ival-acos: 107.0ms (1.5% of total)
ival-sinu: 93.0ms (1.3% of total)
ival-add!: 87.0ms (1.2% of total)
ival-cosu: 81.0ms (1.1% of total)
ival-hypot: 64.0ms (0.9% of total)
ival-neg: 44.0ms (0.6% of total)
ival-pow: 35.0ms (0.5% of total)
ival-exp: 34.0ms (0.5% of total)
ival-atan: 24.0ms (0.3% of total)
ival-tan: 19.0ms (0.3% of total)
ival-log: 16.0ms (0.2% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)
ival-cbrt: 6.0ms (0.1% of total)
ival-log1p: 2.0ms (0% of total)

start3.0ms (0%)

Memory
8.5MiB live, 8.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...