Herbie run

Date:Wednesday, February 26th, 2025
Commit:39784a29 on chassis-platforms-cleanup
Seed:2025057
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:211 245.9 MB

Time bar (total: 4.2min)

prune3.0min (71.7%)

Memory
75.3MiB live, 145 660.6MiB allocated; 16.6s collecting garbage
Counts
33 544 → 434
Compiler

Compiled 41 658 to 15 321 computations (63.2% saved)

sample40.0s (15.9%)

Memory
227.6MiB live, 34 916.8MiB allocated; 9.2s collecting garbage
Samples
11.9s16 567×5exit
8.2s40 115×1valid
6.7s108 567×0valid
5.5s16 438×2valid
394.0ms3 904×0invalid
105.0ms1 448×0exit
Precisions
Click to see histograms. Total time spent on operations: 26.4s
ival-exp: 3.7s (14% of total)
adjust: 3.1s (11.9% of total)
ival-pow: 3.1s (11.9% of total)
ival-log: 2.8s (10.6% of total)
ival-cos: 2.3s (8.6% of total)
ival-mult: 1.9s (7.1% of total)
ival-tan: 1.3s (4.8% of total)
ival-sinh: 1.1s (4.1% of total)
ival-div: 1.0s (3.9% of total)
ival-acos: 946.0ms (3.6% of total)
ival-sqrt: 884.0ms (3.4% of total)
ival-fmod: 743.0ms (2.8% of total)
ival-sub: 642.0ms (2.4% of total)
ival-sin: 633.0ms (2.4% of total)
ival-add: 618.0ms (2.3% of total)
ival-pow2: 612.0ms (2.3% of total)
const: 352.0ms (1.3% of total)
ival-neg: 201.0ms (0.8% of total)
ival-hypot: 155.0ms (0.6% of total)
ival-atan: 70.0ms (0.3% of total)
ival-assert: 67.0ms (0.3% of total)
ival-<=: 55.0ms (0.2% of total)
exact: 38.0ms (0.1% of total)
ival-and: 37.0ms (0.1% of total)
ival-or: 19.0ms (0.1% of total)
ival->: 2.0ms (0% of total)
ival-<: 2.0ms (0% of total)
ival-==: 1.0ms (0% of total)
Bogosity

rewrite9.5s (3.8%)

Memory
190.1MiB live, 8 526.7MiB allocated; 1.5s collecting garbage
Stop Event
168×iter limit
46×node limit
14×unsound
4×saturated
Counts
11 237 → 19 796

eval5.3s (2.1%)

Memory
116.0MiB live, 6 604.2MiB allocated; 921ms collecting garbage
Compiler

Compiled 2 502 069 to 155 659 computations (93.8% saved)

series4.8s (1.9%)

Memory
162.4MiB live, 5 206.5MiB allocated; 520ms collecting garbage
Counts
1 699 → 9 538
Calls

348 calls:

TimeVariablePointExpression
116.0ms
a
@inf
((/ (* r (sin b)) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* r (sin b)) r (sin b) b (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (pow (* (cos a) (cos b)) 3) (* (cos a) (cos b)) (cos a) a (cos b) 3 (* (pow (sin a) 3) (pow (sin b) 3)) (pow (sin a) 3) (sin a) (pow (sin b) 3) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (sin a) (sin b)) (* (* (cos a) (cos b)) (* (sin a) (sin b))) (/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* r (* (sin b) (cos (- a b)))) (- (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2))) (* r (* (sin b) (cos (- a b)))) (* (sin b) (cos (- a b))) (cos (- a b)) (- a b) (- (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2)) (pow (* (cos a) (cos b)) 2) 2 (pow (* (sin a) (sin b)) 2) (/ (* r (sin b)) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (exp (* (log (* (cos a) (cos b))) 3)) (* (log (* (cos a) (cos b))) 3) (log (* (cos a) (cos b))) (pow (* (sin a) (sin b)) 3) (/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (* r (sin b)) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (pow (sin a) 2) (pow (sin b) 2))
103.0ms
a
@-inf
((/ (* (sin b) r) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (sin b) r) (sin b) b r (- (* (cos a) (cos b)) (* (sin a) (sin b))) (* (cos a) (cos b)) (cos a) a (cos b) (* (sin a) (sin b)) (sin a) (* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (/ (* r (* (sin b) (+ (* (cos a) (* (cos b) (* (sin a) (sin b)))) (+ (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2))))) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (* r (* (sin b) (+ (* (cos a) (* (cos b) (* (sin a) (sin b)))) (+ (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2))))) (* (sin b) (+ (* (cos a) (* (cos b) (* (sin a) (sin b)))) (+ (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2)))) (+ (* (cos a) (* (cos b) (* (sin a) (sin b)))) (+ (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2))) (* (cos b) (* (sin a) (sin b))) (+ (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2)) (pow (* (cos a) (cos b)) 2) 2 (pow (* (sin a) (sin b)) 2) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (pow (* (cos a) (cos b)) 3) 3 (pow (* (sin a) (sin b)) 3) (* r (/ (sin b) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (/ (sin b) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (exp (* (log (* (cos a) (cos b))) 3)) (* (pow (sin a) 3) (pow (sin b) 3))) (exp (* (log (* (cos a) (cos b))) 3)) (* (log (* (cos a) (cos b))) 3) (log (* (cos a) (cos b))) (* (pow (sin a) 3) (pow (sin b) 3)) (pow (sin a) 3) (pow (sin b) 3) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (* (cos a) (cos b)) (* (sin a) (sin b))) (* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (/ (+ (pow (* (cos a) (cos b)) 6) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (pow (* (cos a) (cos b)) 4) (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))))))) (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (/ (+ (pow (* (cos a) (cos b)) 6) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (pow (* (cos a) (cos b)) 4) (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))))) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (/ (+ (pow (* (cos a) (cos b)) 6) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (pow (* (cos a) (cos b)) 4) (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))))) (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (/ (+ (pow (* (cos a) (cos b)) 6) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (pow (* (cos a) (cos b)) 4) (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (+ (pow (* (cos a) (cos b)) 6) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (pow (* (cos a) (cos b)) 6) 6 (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (cos a) (cos b)) 4) (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (pow (* (cos a) (cos b)) 4) 4 (- (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 2) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (pow (cos a) 2) (pow (cos b) 2)) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (pow (cos a) 2) (pow (cos b) 2)) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (pow (cos a) 2) (pow (cos b) 2)) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (* (pow (cos a) 2) (pow (cos b) 2)) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (pow (cos a) 2) (pow (cos b) 2))
101.0ms
b
@-inf
((/ (* r (sin b)) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* r (sin b)) r (sin b) b (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (pow (* (cos a) (cos b)) 3) (* (cos a) (cos b)) (cos a) a (cos b) 3 (* (pow (sin a) 3) (pow (sin b) 3)) (pow (sin a) 3) (sin a) (pow (sin b) 3) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (sin a) (sin b)) (* (* (cos a) (cos b)) (* (sin a) (sin b))) (/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* r (* (sin b) (cos (- a b)))) (- (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2))) (* r (* (sin b) (cos (- a b)))) (* (sin b) (cos (- a b))) (cos (- a b)) (- a b) (- (pow (* (cos a) (cos b)) 2) (pow (* (sin a) (sin b)) 2)) (pow (* (cos a) (cos b)) 2) 2 (pow (* (sin a) (sin b)) 2) (/ (* r (sin b)) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (exp (* (log (* (cos a) (cos b))) 3)) (pow (* (sin a) (sin b)) 3)) (exp (* (log (* (cos a) (cos b))) 3)) (* (log (* (cos a) (cos b))) 3) (log (* (cos a) (cos b))) (pow (* (sin a) (sin b)) 3) (/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))) (/ (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (pow (* (cos a) (cos b)) 2) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (* r (sin b)) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (pow (sin a) 2) (pow (sin b) 2)) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (pow (sin a) 2) (pow (sin b) 2))
81.0ms
x
@0
((/ (- x lo) (- hi lo)) (+ (* (- (- (* (- (* (neg lo) (+ (* (/ x (pow hi 4)) -1) (pow hi -3))) (+ (* (/ x (pow hi 3)) -1) (pow hi -2))) lo) (/ (neg x) (* hi hi))) (pow hi -1)) lo) (/ x hi)) (* lo (- (* lo (- (* -1 (/ lo (pow hi 3))) (pow hi -2))) (pow hi -1))) (* -1 (pow (/ lo hi) 3)) -1 (pow (/ lo hi) 3) (/ lo hi) lo hi 3 (/ (- x lo) (- hi lo)) (+ (/ (- (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) 1) (- (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (/ hi lo)) (/ (- (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) 1) (- (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (- (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) 1) (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (neg (/ (- x hi) lo)) (/ (- x hi) lo) (- x hi) x (/ hi lo) (/ (neg x) lo) (neg x) 1 (- (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ (- x lo) (- hi lo)) (- (+ (+ (* (pow (/ hi lo) 2) (neg (/ (- x hi) lo))) (/ (neg x) lo)) 1) (+ (* (* (neg (/ (- x hi) lo)) (/ hi lo)) -1) (/ (neg hi) lo))) (+ (+ (* (pow (/ hi lo) 2) (neg (/ (- x hi) lo))) (/ (neg x) lo)) 1) (+ (* (pow (/ hi lo) 2) (neg (/ (- x hi) lo))) (/ (neg x) lo)) (pow (/ hi lo) 2) 2 (neg (/ (- x hi) lo)) (/ (- x hi) lo) (* x (+ (* -1 (/ hi (* lo x))) (pow lo -1))) (+ (* -1 (/ hi (* lo x))) (pow lo -1)) (/ hi (* lo x)) (* lo x) (pow lo -1) (+ (* (* (neg (/ (- x hi) lo)) (/ hi lo)) -1) (/ (neg hi) lo)) (/ (* hi x) (* lo lo)) (* hi x) (* lo lo) (/ (- x lo) (- hi lo)) (/ (+ (exp (* (log (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) 3)) (pow (/ hi lo) 3)) (+ (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (- (pow (/ hi lo) 2) (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ hi lo))))) (+ (exp (* (log (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) 3)) (pow (/ hi lo) 3)) (exp (* (log (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) 3)) (* (log (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) 3) (log (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (pow (/ hi lo) 3) (+ (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (- (pow (/ hi lo) 2) (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ hi lo)))) (- (pow (/ hi lo) 2) (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ hi lo))) (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ hi lo)) (/ (- x lo) (- hi lo)) (/ (+ (pow (/ (+ (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) 1) (+ (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)))) 3) (pow (/ hi lo) 3)) (+ (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (- (pow (/ hi lo) 2) (* (+ (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1) (/ hi lo))))) (+ (pow (/ (+ (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) 1) (+ (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)))) 3) (pow (/ hi lo) 3)) (pow (/ (+ (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) 1) (+ (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)))) 3) (/ (+ (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) 1) (+ (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)))) (+ (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) 1) (pow (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 3) (+ (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1))) (- 1 (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1)) (* (+ (* (neg (/ (- x hi) lo)) (/ hi lo)) (/ (neg x) lo)) 1))
70.0ms
r
@0
((* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (sin b) b (/ (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (- (pow (* (cos a) (cos b)) 3) (* (pow (sin a) 3) (pow (sin b) 3))) (pow (* (cos a) (cos b)) 3) (* (cos a) (cos b)) (cos a) a (cos b) 3 (* (pow (sin a) 3) (pow (sin b) 3)) (pow (sin a) 3) (sin a) (pow (sin b) 3) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (sin a) (sin b)) (* (* (cos a) (cos b)) (* (sin a) (sin b))) (* r (/ (sin b) (cos (+ a b)))) (+ (* (+ (* (- (* (neg a) (+ (* (* r (pow (tan b) 2)) -1/2) (+ (* 1/6 (* r (pow (tan b) 2))) (/ (* (+ (* -1/2 (* r (tan b))) (neg (* r (pow (tan b) 3)))) (sin b)) (cos b))))) (+ (* -1/2 (* r (tan b))) (neg (* r (pow (tan b) 3))))) a) (* 1 (* r (pow (tan b) 2)))) a) (* r (tan b))) (* (pow a 3) (- (+ (* -1 (+ (* -1/2 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (+ (* 1/6 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b))))) (+ (* (/ r (pow a 3)) (tan b)) (+ (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (* (/ r a) (pow (tan b) 3))))) (* -1/2 (* (/ r a) (tan b))))) (pow a 3) (- (+ (* -1 (+ (* -1/2 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (+ (* 1/6 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b))))) (+ (* (/ r (pow a 3)) (tan b)) (+ (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (* (/ r a) (pow (tan b) 3))))) (* -1/2 (* (/ r a) (tan b)))) (+ (* -1 (+ (* -1/2 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (+ (* 1/6 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b))))) (+ (* (/ r (pow a 3)) (tan b)) (+ (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (* (/ r a) (pow (tan b) 3))))) -1 (+ (* -1/2 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (+ (* 1/6 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b)))) -1/2 (/ (* r (pow (sin b) 2)) (pow (cos b) 2)) (* r (pow (sin b) 2)) (pow (sin b) 2) 2 (pow (cos b) 2) (+ (* 1/6 (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b))) 1/6 (/ (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (cos b)) (* (sin b) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)))) (- (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (pow (sin b) 3)) (pow (cos b) 3))) (* -1/2 (/ (* r (sin b)) (cos b))) (/ (* r (sin b)) (cos b)) (* r (sin b)) (/ (* r (pow (sin b) 3)) (pow (cos b) 3)) (* r (pow (sin b) 3)) (pow (cos b) 3) (+ (* (/ r (pow a 3)) (tan b)) (+ (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (* (/ r a) (pow (tan b) 3)))) (/ r (pow a 3)) (tan b) (+ (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (* (/ r a) (pow (tan b) 3))) (/ (* r (pow (sin b) 2)) (pow (* a (cos b)) 2)) (pow (* a (cos b)) 2) (* a (cos b)) (* (/ r a) (pow (tan b) 3)) (/ r a) (pow (tan b) 3) (* -1/2 (* (/ r a) (tan b))) (* (/ r a) (tan b)) (* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (+ (* a (+ (* a (- (/ (* r (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)))) (pow (cos b) 3)) (* -3/2 (/ (* r (sin b)) (cos b))))) (/ (* r (pow (sin b) 2)) (pow (cos b) 2)))) (/ (* r (sin b)) (cos b))) (+ (* a (- (/ (* r (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)))) (pow (cos b) 3)) (* -3/2 (/ (* r (sin b)) (cos b))))) (/ (* r (pow (sin b) 2)) (pow (cos b) 2))) (- (/ (* r (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)))) (pow (cos b) 3)) (* -3/2 (/ (* r (sin b)) (cos b)))) (/ (* r (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)))) (pow (cos b) 3)) (* r (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)))) (* (sin b) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2))) (+ (* -1 (pow (cos b) 2)) (pow (sin b) 2)) (* -3/2 (/ (* r (sin b)) (cos b))) -3/2 (* r (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (/ (+ (pow (pow (* (cos a) (cos b)) 2) 3) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (* (pow (* (cos a) (cos b)) 2) (pow (* (cos a) (cos b)) 2)) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))))))) (/ (sin b) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (/ (+ (pow (pow (* (cos a) (cos b)) 2) 3) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (* (pow (* (cos a) (cos b)) 2) (pow (* (cos a) (cos b)) 2)) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))))) (/ (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (/ (+ (pow (pow (* (cos a) (cos b)) 2) 3) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (* (pow (* (cos a) (cos b)) 2) (pow (* (cos a) (cos b)) 2)) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))))) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (pow (* (sin a) (sin b)) 3) (/ (+ (pow (pow (* (cos a) (cos b)) 2) 3) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (+ (* (pow (* (cos a) (cos b)) 2) (pow (* (cos a) (cos b)) 2)) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))))) (+ (pow (pow (* (cos a) (cos b)) 2) 3) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3)) (pow (pow (* (cos a) (cos b)) 2) 3) (pow (* (cos a) (cos b)) 2) (pow (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) 3) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (pow (* (sin a) (sin b)) 2) (+ (* (pow (* (cos a) (cos b)) 2) (pow (* (cos a) (cos b)) 2)) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))))) (- (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (pow (* (cos a) (cos b)) 2) (+ (pow (* (sin a) (sin b)) 2) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (sin b) r) (cos (+ a b))) (* (sin b) r) (cos (+ a b)) (+ a b))

preprocess3.5s (1.4%)

Memory
207.9MiB live, 2 906.3MiB allocated; 294ms collecting garbage
Stop Event
38×iter limit
29×node limit
13×saturated
Compiler

Compiled 7 203 to 2 652 computations (63.2% saved)

explain2.6s (1%)

Memory
-80.7MiB live, 2 776.2MiB allocated; 299ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5950
cos.f64#fsensitivity5071
-.f64#fcancellation3480
sqrt.f64#fuflow-rescue3260
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2540
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2501
tan.f64(tan.f64 (+.f64 y z))sensitivity2020
pow.f64(pow.f64 l (exp.f64 w))sensitivity12616
*.f64#fn*o350
*.f64#fn*u290
*.f64#fu*o170
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue130
↳(*.f64 a a)overflow110
↳(*.f64 b b)overflow13
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u110
↳(pow.f64 c #s(literal 2 binary64))overflow67
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow60
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow51
↳(pow.f64 s #s(literal 2 binary64))underflow52
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue50
↳(sinh.f64 x)overflow5
↳(/.f64 (sinh.f64 x) x)overflow5
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))o/o10
↳(-.f64 x lo)overflow1
↳(-.f64 hi lo)overflow256
Confusion
Predicted +Predicted -
+2201273
-7161930
Precision
0.7545423380185121
Recall
0.8896523848019402
Confusion?
Predicted +Predicted MaybePredicted -
+22010273
-716191911
Precision?
0.7496594005449592
Recall?
0.8896523848019402
Freqs
test
numberfreq
02203
12859
257
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
498.0ms2 550×1valid
456.0ms102×5exit
362.0ms6 606×0valid
287.0ms982×2valid
Compiler

Compiled 1 067 to 440 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 461.0ms (36.4% of total)
adjust: 119.0ms (9.4% of total)
ival-tan: 110.0ms (8.7% of total)
ival-mult: 71.0ms (5.6% of total)
ival-log: 66.0ms (5.2% of total)
ival-acos: 57.0ms (4.5% of total)
ival-sqrt: 53.0ms (4.2% of total)
ival-exp: 44.0ms (3.5% of total)
ival-sub: 40.0ms (3.2% of total)
ival-sin: 39.0ms (3.1% of total)
ival-fmod: 37.0ms (2.9% of total)
ival-sinh: 37.0ms (2.9% of total)
ival-add: 36.0ms (2.8% of total)
ival-div: 35.0ms (2.8% of total)
ival-pow2: 21.0ms (1.7% of total)
ival-true: 8.0ms (0.6% of total)
ival-pow: 8.0ms (0.6% of total)
ival-hypot: 8.0ms (0.6% of total)
ival-neg: 6.0ms (0.5% of total)
ival-assert: 4.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)
exact: 2.0ms (0.2% of total)

analyze2.6s (1%)

Memory
4.8MiB live, 2 534.8MiB allocated; 929ms collecting garbage
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

derivations1.1s (0.4%)

Memory
163.6MiB live, 506.2MiB allocated; 44ms collecting garbage
Stop Event
10×fuel
10×done
Compiler

Compiled 2 915 to 795 computations (72.7% saved)

simplify831.0ms (0.3%)

Memory
-208.0MiB live, 563.2MiB allocated; 62ms collecting garbage
Stop Event
17×node limit
3×saturated

regimes624.0ms (0.2%)

Memory
84.7MiB live, 845.8MiB allocated; 16ms collecting garbage
Counts
487 → 84
Calls

53 calls:

131.0ms
x
34.0ms
a
25.0ms
(-.f64 #s(literal 1 binary64) x)
25.0ms
(acos.f64 (-.f64 #s(literal 1 binary64) x))
25.0ms
b
Compiler

Compiled 887 to 946 computations (-6.7% saved)

bsearch300.0ms (0.1%)

Memory
54.1MiB live, 197.5MiB allocated; 3ms collecting garbage
Algorithm
17×binary-search
5×left-value
Stop Event
14×narrow-enough
3×predicate-same
Samples
76.0ms457×1valid
68.0ms935×0valid
56.0ms144×2valid
Compiler

Compiled 14 029 to 7 120 computations (49.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 156.0ms
ival-exp: 41.0ms (26.3% of total)
ival-cos: 23.0ms (14.7% of total)
ival-fmod: 19.0ms (12.2% of total)
ival-mult: 17.0ms (10.9% of total)
adjust: 16.0ms (10.3% of total)
ival-sin: 8.0ms (5.1% of total)
ival-div: 6.0ms (3.8% of total)
ival-sqrt: 6.0ms (3.8% of total)
ival-add: 5.0ms (3.2% of total)
ival-pow: 5.0ms (3.2% of total)
ival-pow2: 5.0ms (3.2% of total)
ival-neg: 2.0ms (1.3% of total)
ival-assert: 1.0ms (0.6% of total)
ival-true: 1.0ms (0.6% of total)
exact: 0.0ms (0% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...