Herbie run

Date:Saturday, January 18th, 2025
Commit:75912f41 on no-localize
Seed:2025018
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:314 259.2 MB

Time bar (total: 4.0min)

sample1.5min (36.8%)

Memory
1 364.6MiB live, 114 865.5MiB allocated; 35.4s collecting garbage
Samples
37.9s224 575×0valid
10.1s65 337×0invalid
8.1s23 753×1valid
4.7s13 412×1invalid
3.6s9 604×2valid
2.9s6 253×3valid
1.1s1 592×2invalid
29.0ms219×0exit
3.0ms7×4valid
Precisions
Click to see histograms. Total time spent on operations: 51.6s
ival-mult: 12.5s (24.3% of total)
ival-div: 9.2s (17.9% of total)
ival-pow2: 3.7s (7.2% of total)
adjust: 3.7s (7.1% of total)
ival-sub: 3.4s (6.7% of total)
ival-sqrt: 2.9s (5.6% of total)
ival-pow: 2.8s (5.4% of total)
ival-add: 2.6s (5.1% of total)
ival-exp: 2.2s (4.3% of total)
ival-sin: 2.0s (3.9% of total)
ival-tan: 961.0ms (1.9% of total)
ival-cos: 868.0ms (1.7% of total)
ival-neg: 687.0ms (1.3% of total)
ival-acos: 648.0ms (1.3% of total)
const: 523.0ms (1% of total)
ival-pi: 498.0ms (1% of total)
ival-hypot: 376.0ms (0.7% of total)
exact: 357.0ms (0.7% of total)
ival-log: 341.0ms (0.7% of total)
ival-tanu: 287.0ms (0.6% of total)
ival-asin: 249.0ms (0.5% of total)
ival-true: 249.0ms (0.5% of total)
ival-atan: 142.0ms (0.3% of total)
ival-assert: 138.0ms (0.3% of total)
ival-fabs: 134.0ms (0.3% of total)
ival-<: 54.0ms (0.1% of total)
ival-and: 12.0ms (0% of total)
Bogosity

simplify30.7s (12.7%)

Memory
686.6MiB live, 36 371.8MiB allocated; 8.8s collecting garbage
Stop Event
157×node limit
136×iter limit
2×unsound
1×saturated
Counts
22 824 → 22 824

regimes19.2s (7.9%)

Memory
84.0MiB live, 26 383.8MiB allocated; 4.2s collecting garbage
Counts
11 953 → 899
Calls

156 calls:

1.3s
l
844.0ms
t
673.0ms
k
460.0ms
B
428.0ms
x
Compiler

Compiled 13 757 to 13 754 computations (0% saved)

eval14.8s (6.1%)

Memory
118.1MiB live, 22 979.9MiB allocated; 5.6s collecting garbage
Compiler

Compiled 4 274 669 to 381 051 computations (91.1% saved)

series14.5s (6%)

Memory
66.2MiB live, 22 471.0MiB allocated; 4.6s collecting garbage
Counts
4 441 → 22 824
Calls

1200 calls:

TimeVariablePointExpression
422.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)))))) (* (/ 1 (/ (PI) 4)) (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)) (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) -4))) (* f (/ (PI) -4)) f (/ (PI) -4) -4 (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (/ (pow (exp f) (/ (PI) -4)) 2) (pow (exp f) (/ (PI) -4)) 2 (* (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI))) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)))))) (* (/ 1 (/ (PI) 4)) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))))) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)))) (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))) (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (* (* 2 (/ (PI) 4)) f) 2) (* (* 2 (/ (PI) 4)) f) (* 2 (/ (PI) 4)) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))
239.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (cosh (* (/ (PI) -4) f)) (* (/ (PI) -4) f) (/ (PI) -4) -4 f (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp f) (/ (PI) -4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)))) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))) (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)) (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (pow (exp f) (* 2 (/ (PI) 4))) (* 2 (/ (PI) 4)) 2 (- (exp (* 2 (* f (/ (PI) 4)))) 1) (* 2 (* f (/ (PI) 4))) (* (* (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (* (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2)) (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2) -1/2)
230.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (cosh (* (/ (PI) -4) f)) (* (/ (PI) -4) f) (/ (PI) -4) -4 f (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp f) (/ (PI) -4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)))) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))) (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)) (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (pow (exp f) (* 2 (/ (PI) 4))) (* 2 (/ (PI) 4)) 2 (- (exp (* 2 (* f (/ (PI) 4)))) 1) (* 2 (* f (/ (PI) 4))) (* (* (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (* (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2)) (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1/2) -1/2)
153.0ms
A
@0
((* c0 (pow (pow (/ A (* l V)) 1/4) 2)) c0 (pow (pow (/ A (* l V)) 1/4) 2) (pow (/ A (* l V)) 1/4) (/ A (* l V)) A (* l V) l V 1/4 2 (* c0 (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) (* (sqrt A) (/ c0 (sqrt (* l V)))) (sqrt A) (/ c0 (sqrt (* l V))) (sqrt (* l V)) (/ (* (sqrt (neg A)) c0) (sqrt (* (neg V) l))) (* (sqrt (neg A)) c0) (sqrt (neg A)) (neg A) (sqrt (* (neg V) l)) (* (neg V) l) (neg V) (/ (* (sqrt (/ A V)) c0) (sqrt l)) (* (sqrt (/ A V)) c0) (sqrt (/ A V)) (sqrt l))
152.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)))))) (* (/ 1 (/ (PI) 4)) (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (+ (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)))) (log (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2))) (pow (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (pow (exp f) (/ (PI) -4)) 2)) (pow (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) -4))) (* f (/ (PI) -4)) f (/ (PI) -4) -4 (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (/ (pow (exp f) (/ (PI) -4)) 2) (pow (exp f) (/ (PI) -4)) 2 (* (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI))) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)))))) (* (/ 1 (/ (PI) 4)) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))))) (log (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)))) (/ (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))) (- (exp (* (* (* 2 (/ (PI) 4)) f) 2)) 1) (* (* (* 2 (/ (PI) 4)) f) 2) (* (* 2 (/ (PI) 4)) f) (* 2 (/ (PI) 4)) (* (- (exp (* (* 2 (/ (PI) 4)) f)) 1) (- (exp (* (* 2 (/ (PI) 4)) f)) 1)) (- (exp (* (* 2 (/ (PI) 4)) f)) 1))

rewrite14.2s (5.9%)

Memory
162.6MiB live, 17 226.2MiB allocated; 2.8s collecting garbage
Stop Event
394×iter limit
111×node limit
17×unsound
Counts
4 441 → 51 042

derivations13.9s (5.8%)

Memory
-226.0MiB live, 11 672.9MiB allocated; 3.4s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 39 155 to 4 526 computations (88.4% saved)

preprocess10.8s (4.4%)

Memory
177.5MiB live, 11 713.0MiB allocated; 3.2s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 96 565 to 18 343 computations (81% saved)

analyze10.5s (4.3%)

Memory
-53.7MiB live, 14 339.1MiB allocated; 4.7s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

explain10.4s (4.3%)

Memory
-94.6MiB live, 15 226.0MiB allocated; 3.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4810
-.f64#fcancellation4601
cos.f64#fsensitivity4300
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2541
*.f64#fn*o2390
+.f64#fnan-rescue2310
sqrt.f64#fuflow-rescue1620
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1360
pow.f64#foflow-rescue1310
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1290
-.f64#fnan-rescue1260
*.f64#fu*o1250
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8334
/.f64#fo/o770
+.f64#fcancellation650
*.f64#fn*u650
*.f64#fo*u640
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue620
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow62
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow62
↳(*.f64 K (+.f64 m n))overflow62
/.f64#fu/u600
/.f64#fo/n580
pow.f64#fuflow-rescue520
/.f64#fn/o380
/.f64#fn/u290
/.f64#fu/n110
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity70
Confusion
Predicted +Predicted -
+198330
-11475032
Precision
0.6335463258785943
Recall
0.9850968703427719
Confusion?
Predicted +Predicted MaybePredicted -
+1983129
-1147354997
Precision?
0.6266582438408086
Recall?
0.9855936413313463
Freqs
test
numberfreq
05062
12736
2349
339
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-006
Precision?
1.0
Recall?
1.0
Samples
2.3s13 212×0valid
906.0ms2 018×1valid
337.0ms730×2valid
166.0ms410×3valid
7.0ms12×5exit
1.0ms2×4valid
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 615.0ms (23.2% of total)
adjust: 383.0ms (14.5% of total)
ival-div: 333.0ms (12.6% of total)
ival-sub: 232.0ms (8.8% of total)
ival-exp: 160.0ms (6% of total)
ival-pow: 140.0ms (5.3% of total)
ival-sqrt: 133.0ms (5% of total)
ival-add: 121.0ms (4.6% of total)
ival-pow2: 117.0ms (4.4% of total)
ival-sin: 104.0ms (3.9% of total)
ival-cos: 69.0ms (2.6% of total)
ival-neg: 44.0ms (1.7% of total)
ival-tan: 41.0ms (1.5% of total)
ival-acos: 28.0ms (1.1% of total)
ival-hypot: 22.0ms (0.8% of total)
exact: 19.0ms (0.7% of total)
ival-log: 15.0ms (0.6% of total)
ival-true: 15.0ms (0.6% of total)
ival-pi: 13.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
const: 9.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

prune7.7s (3.2%)

Memory
119.0MiB live, 12 804.0MiB allocated; 3.0s collecting garbage
Counts
85 697 → 3 022
Compiler

Compiled 281 991 to 140 272 computations (50.3% saved)

bsearch6.4s (2.6%)

Memory
110.0MiB live, 8 200.9MiB allocated; 1.4s collecting garbage
Algorithm
272×binary-search
232×left-value
Stop Event
262×narrow-enough
10×predicate-same
Samples
2.8s17 396×0valid
599.0ms3 916×0invalid
233.0ms940×1valid
158.0ms347×2valid
98.0ms164×3valid
16.0ms54×1invalid
5.0ms12×2invalid
0.0ms1×4valid
Compiler

Compiled 181 755 to 125 809 computations (30.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 654.0ms (22.3% of total)
ival-div: 649.0ms (22.1% of total)
ival-pow: 329.0ms (11.2% of total)
ival-add: 231.0ms (7.9% of total)
ival-sub: 184.0ms (6.3% of total)
ival-pow2: 168.0ms (5.7% of total)
ival-sin: 131.0ms (4.5% of total)
ival-tan: 107.0ms (3.6% of total)
adjust: 105.0ms (3.6% of total)
ival-neg: 92.0ms (3.1% of total)
ival-sqrt: 66.0ms (2.2% of total)
ival-exp: 57.0ms (1.9% of total)
ival-cos: 41.0ms (1.4% of total)
ival-atan: 27.0ms (0.9% of total)
exact: 22.0ms (0.7% of total)
ival-hypot: 19.0ms (0.6% of total)
ival-true: 17.0ms (0.6% of total)
const: 10.0ms (0.3% of total)
ival-assert: 9.0ms (0.3% of total)
ival-fabs: 8.0ms (0.3% of total)
ival-tanu: 7.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)

start2.0ms (0%)

Memory
4.8MiB live, 4.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...