Herbie run

Date:Friday, April 25th, 2025
Commit:e1b60cb6 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:2 919 554.5 MB

Time bar (total: 40.0min)

sample16.4min (40.9%)

Memory
14 050.7MiB live, 1 158 856.5MiB allocated; 5.5min collecting garbage
Samples
5.5min3 922 059×0valid
2.1min20 377×3exit
1.9min448 237×1valid
1.1min141 650×2valid
37.8s39 782×5exit
36.4s321 654×0invalid
17.5s4 519×4exit
13.1s15 436×3valid
7.6s49 711×0exit
6.0s29 363×1invalid
753.0ms6 689×1exit
444.0ms1 440×2invalid
88.0ms36×4valid
Precisions
Click to see histograms. Total time spent on operations: 9.6min
ival-mult!: 1.8min (19% of total)
adjust: 55.4s (9.6% of total)
ival-exp: 44.7s (7.8% of total)
ival-div!: 41.0s (7.1% of total)
ival-pow: 39.9s (6.9% of total)
ival-log: 36.3s (6.3% of total)
ival-pow2: 33.2s (5.8% of total)
ival-cos: 32.6s (5.7% of total)
ival-sub!: 32.2s (5.6% of total)
ival-add!: 29.4s (5.1% of total)
ival-sin: 24.0s (4.2% of total)
ival-sqrt: 23.7s (4.1% of total)
ival-tan: 17.3s (3% of total)
ival-neg: 10.3s (1.8% of total)
ival-sinu: 7.9s (1.4% of total)
ival-cosu: 5.4s (0.9% of total)
ival-hypot: 4.9s (0.9% of total)
ival-fabs: 4.1s (0.7% of total)
ival-expm1: 2.6s (0.4% of total)
ival-log1p: 2.6s (0.4% of total)
ival-fmax: 2.3s (0.4% of total)
ival-acos: 2.0s (0.3% of total)
ival-asin: 1.9s (0.3% of total)
ival-atan2: 1.7s (0.3% of total)
ival-sinh: 1.5s (0.3% of total)
ival-fmod: 1.4s (0.2% of total)
ival-fmin: 1.3s (0.2% of total)
ival-atan: 1.2s (0.2% of total)
ival-<=: 915.0ms (0.2% of total)
ival-floor: 743.0ms (0.1% of total)
ival-and: 703.0ms (0.1% of total)
ival-cbrt: 605.0ms (0.1% of total)
ival-<: 569.0ms (0.1% of total)
ival-asinh: 497.0ms (0.1% of total)
ival-atanh: 383.0ms (0.1% of total)
ival-log2: 323.0ms (0.1% of total)
ival-cosh: 244.0ms (0% of total)
ival-acosh: 241.0ms (0% of total)
ival-if: 227.0ms (0% of total)
ival-tanu: 194.0ms (0% of total)
ival-assert: 103.0ms (0% of total)
ival-tanh: 96.0ms (0% of total)
ival->: 54.0ms (0% of total)
ival->=: 46.0ms (0% of total)
ival-or: 14.0ms (0% of total)
ival-==: 3.0ms (0% of total)
const: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite6.9min (17.1%)

Memory
7 840.3MiB live, 435 076.8MiB allocated; 2.2min collecting garbage
Stop Event
4 634×iter-limit
1 789×node-limit
126×unsound
39×saturated
Counts
309 478 → 562 136

series4.8min (12.1%)

Memory
9 413.0MiB live, 403 661.0MiB allocated; 1.8min collecting garbage
Counts
49 296 → 260 182
Calls

16182 calls:

TimeVariablePointExpression
1.1s
y-scale
@0
((/ (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))))
1.0s
y
@0
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (* x (log y)) z) t) (+ (* (log y) x) z) (log y) y x z a (* (- b 1/2) (log c)) (- b 1/2) b 1/2 (log c) c (* y i) i (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (* (neg i) (+ (neg (/ (+ (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) a) i)) (neg y))) (neg i) (+ (neg (/ (+ (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) a) i)) (neg y)) (neg (/ (+ (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) a) i)) (/ (+ (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) a) i) (+ (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) a) (+ (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) t) (+ (+ (* (log c) (- b 1/2)) (* (log y) x)) z) (+ (* (log c) (- b 1/2)) (* (log y) x)) (* (log y) x) t (neg y))
958.0ms
t
@inf
((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))))) (* ew (sin t)) (sin t) (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)))))) (+ (* ew (sin t)) (* (* eh eh) (+ (* -1/2 (/ (pow (cos t) 2) (* ew (sin t)))) (/ (pow (cos t) 2) (* ew (sin t)))))) (* 1/2 (/ (* eh eh) (* ew t))) 1/2 (/ (* eh eh) (* ew t)) (* eh eh) (* ew 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)))) 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)))) (/ (* ew t) eh) (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))) (+ (log (* 2 (/ (* eh (cos t)) (sin t)))) (* -1 (log ew))) (log (* 2 (/ (* eh (cos t)) (sin t)))) (* 2 (/ (* eh (cos t)) (sin t))) 2 (/ (* eh (cos t)) (sin t)) (* eh (cos t)) (* -1 (log ew)) -1 (log ew) (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)))))) (tanh (asinh (/ eh (* ew (tan t))))) (asinh (/ eh (* ew (tan t)))) (/ eh (* ew (tan t))) (* ew (tan t)) (tan t) (* (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2))))) (* (sin t) ew) (/ 1 (sqrt (+ 1 (pow (/ eh (* ew (tan t))) 2)))) (* (/ ew eh) (tan t)) (/ ew eh))
841.0ms
s
@-inf
((* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg s) s (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ 1 (exp (/ (neg (PI)) s))) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (exp (/ (PI) s)) (/ (PI) s))
769.0ms
g
@0
((+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (cbrt (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) 1 (* 2 a) 2 a (+ (neg g) (sqrt (- (* g g) (* h h)))) (neg g) g (sqrt (- (* g g) (* h h))) (* (/ 1 (cbrt (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))) (/ 1 (cbrt (* 2 a))) (cbrt (* 2 a)) (cbrt (- (neg g) (sqrt (- (* g g) (* h h))))) (- (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))))))) (neg (* (pow (/ g a) 1/3) 1)) (* (pow (/ g a) 1/3) 1) (pow (/ g a) 1/3) (/ g a) 1/3 (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (pow (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3)) (pow (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) 1/3) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (* -1 (/ g a)) -1 (+ (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)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))) (/ 1 (* 2 a)) (/ 1/2 a) 1/2 (* (cbrt (/ 1 (* 2 a))) (cbrt (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (/ 1 (* 2 a))) (+ (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 (* (/ (* (* g g) (* h h)) a) -1/4)) (cbrt (* (/ (pow g 4) a) -1))) (* g g)) (+ (cbrt (* (/ (* (* g g) (* h h)) a) -1/4)) (cbrt (* (/ (pow g 4) a) -1))) (cbrt (* (/ (* (* g g) (* h h)) a) -1/4)) (* (/ (* (* g g) (* h h)) a) -1/4) (/ (* (* g g) (* h h)) a) (* (* g g) (* h h)) (* g g) (* h h) h -1/4 (cbrt (* (/ (pow g 4) a) -1)) (* (/ (pow g 4) a) -1) (/ (pow g 4) a) (pow g 4) 4)

regimes2.9min (7.2%)

Memory
276.4MiB live, 241 300.0MiB allocated; 1.0min collecting garbage
Counts
93 873 → 9 294
Calls

1 233 calls:

14.6s
x
9.7s
z
9.3s
y
5.0s
t
4.4s
a
Compiler

Compiled 102 538 to 121 868 computations (-18.9% saved)

derivations2.3min (5.8%)

Memory
-2 175.8MiB live, 126 344.0MiB allocated; 29.9s collecting garbage
Stop Event
344×fuel
203×done
Compiler

Compiled 83 080 to 42 672 computations (48.6% saved)

eval1.8min (4.5%)

Memory
1 101.8MiB live, 158 445.6MiB allocated; 39.1s collecting garbage
Compiler

Compiled 13 011 996 to 2 871 529 computations (77.9% saved)

preprocess1.7min (4.2%)

Memory
-3 677.2MiB live, 123 012.9MiB allocated; 37.8s collecting garbage
Stop Event
404×node-limit
144×saturated
Compiler

Compiled 543 805 to 360 180 computations (33.8% saved)

analyze1.3min (3.3%)

Memory
-191.8MiB live, 108 637.4MiB allocated; 29.2s collecting garbage
Algorithm
552×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.6%15.4%0%0%0%0
39.7%33.6%51.1%15.4%0%0%0%1
45.6%38.2%45.6%15.4%0%0.8%0%2
54.1%44.3%37.6%15.4%0%2.8%0%3
60.9%49.3%31.6%15.4%0%3.7%0%4
67.2%54.1%26.4%15.4%0%4.2%0%5
71.2%57%23.1%15.4%0%4.6%0%6
75.1%59.7%19.8%15.4%0%5.2%0%7
77.1%61%18.1%15.4%0%5.6%0%8
79.8%62.8%15.9%15.4%0%5.9%0%9
81.3%63.8%14.6%15.4%0%6.2%0%10
83.6%65.4%12.9%15.4%0%6.3%0%11
84.7%66.1%11.9%15.4%0%6.6%0%12
Compiler

Compiled 30 225 to 8 606 computations (71.5% saved)

prune1.1min (2.7%)

Memory
-2 569.0MiB live, 97 157.9MiB allocated; 20.3s collecting garbage
Counts
546 599 → 33 814
Compiler

Compiled 2 052 807 to 1 460 909 computations (28.8% saved)

bsearch50.3s (2.1%)

Memory
1 039.6MiB live, 66 951.5MiB allocated; 11.0s collecting garbage
Algorithm
3 177×binary-search
1 747×left-value
Stop Event
3 086×narrow-enough
86×predicate-same
5×predicate-failed
Samples
19.2s206 492×0valid
7.4s18 853×1valid
1.2s2 584×2valid
1.1s11 612×0invalid
303.0ms202×5exit
213.0ms182×3valid
72.0ms365×1invalid
15.0ms52×2invalid
1.0ms20×0exit
1.0ms1×4valid
0.0ms3×1exit
Compiler

Compiled 1 356 057 to 1 244 262 computations (8.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.8s
ival-mult!: 5.8s (27.6% of total)
ival-sin: 2.5s (12.2% of total)
ival-cos: 2.5s (11.9% of total)
ival-sub!: 1.6s (7.7% of total)
ival-div!: 1.4s (6.9% of total)
adjust: 1.2s (5.6% of total)
ival-pow: 1.1s (5.2% of total)
ival-add!: 976.0ms (4.7% of total)
ival-pow2: 566.0ms (2.7% of total)
ival-log: 530.0ms (2.5% of total)
ival-sqrt: 490.0ms (2.4% of total)
ival-exp: 456.0ms (2.2% of total)
ival-neg: 280.0ms (1.3% of total)
ival-hypot: 261.0ms (1.3% of total)
ival-tan: 255.0ms (1.2% of total)
ival-atan2: 222.0ms (1.1% of total)
ival-fmax: 139.0ms (0.7% of total)
ival-cosu: 97.0ms (0.5% of total)
ival-sinu: 89.0ms (0.4% of total)
ival-fabs: 66.0ms (0.3% of total)
ival-log1p: 54.0ms (0.3% of total)
ival-acos: 51.0ms (0.2% of total)
ival-asin: 42.0ms (0.2% of total)
ival-fmod: 41.0ms (0.2% of total)
ival-atan: 34.0ms (0.2% of total)
ival-fmin: 22.0ms (0.1% of total)
ival-expm1: 12.0ms (0.1% of total)
ival-if: 11.0ms (0.1% of total)
ival-cbrt: 11.0ms (0.1% of total)
ival-tanu: 8.0ms (0% of total)
ival-cosh: 8.0ms (0% of total)
ival->=: 8.0ms (0% of total)
ival-sinh: 6.0ms (0% of total)
ival-tanh: 5.0ms (0% of total)
ival-copysign: 3.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start52.0ms (0%)

Memory
11.3MiB live, 101.6MiB allocated; 12ms collecting garbage

end4.0ms (0%)

Memory
10.2MiB live, 9.4MiB allocated; 0ms collecting garbage
Calls

1 calls:

TimeVariablePointExpression
2.4min
u1
@0
((/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (/ u0 (* (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1))) (/ 1 (+ (/ u0 (* (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1)) 1 (+ (/ u0 (* (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) 1) (/ u0 (* (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0))) u0 (* (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (- 1 u0)) (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax))) (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2)) (+ (PI) (PI)) (PI) u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax 2 (* alphay alphay) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax) (- 1 u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1))) (/ 1 (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1)) (+ (* (* alphay alphay) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) 1) (/ u0 (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (* (- 1 u0) (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (* alphax alphax) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))))) 1) (/ u0 (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)))) (* (- 1 u0) (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (+ (* (/ (+ 1 u0) (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) u0) 1) (/ (+ 1 u0) (+ (/ (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (- 1 (pow (tanh (asinh (* (tan (+ (* (+ (PI) (PI)) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (* alphax alphax)))) (+ 1 u0))

Profiling

Loading profile data...