Herbie run

Date:Tuesday, April 29th, 2025
Commit:688b8b33 on artem-rules-updates
Seed:2025119
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:131 206.6 MB

Time bar (total: 2.3min)

sample1.5min (66.6%)

Memory
623.0MiB live, 83 859.4MiB allocated; 29.8s collecting garbage
Samples
26.7s44 657×2valid
16.9s96 925×1valid
13.2s146 049×0invalid
9.6s5 967×5exit
6.3s85 958×0valid
2.9s3 622×3valid
450.0ms4 187×0exit
162.0ms1 094×1exit
147.0ms142×4exit
7.0ms6×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 12.5s (20.1% of total)
ival-pow: 10.4s (16.8% of total)
adjust: 7.1s (11.5% of total)
ival-cos: 4.3s (7% of total)
ival-mult!: 3.9s (6.3% of total)
ival-log: 3.8s (6% of total)
ival-sin: 3.1s (5% of total)
ival-div!: 2.6s (4.2% of total)
ival-exp: 2.5s (4% of total)
ival-sub!: 2.1s (3.4% of total)
ival-fabs: 1.7s (2.8% of total)
ival-expm1: 1.7s (2.7% of total)
ival-add!: 1.4s (2.3% of total)
ival-sqrt: 1.2s (2% of total)
ival-log1p: 1.1s (1.8% of total)
ival-atan: 774.0ms (1.2% of total)
ival-<: 447.0ms (0.7% of total)
ival-cbrt: 332.0ms (0.5% of total)
ival-<=: 330.0ms (0.5% of total)
ival-and: 315.0ms (0.5% of total)
ival-neg: 247.0ms (0.4% of total)
ival-assert: 65.0ms (0.1% of total)
ival-fmin: 56.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite19.7s (14.4%)

Memory
638.7MiB live, 17 909.5MiB allocated; 4.3s collecting garbage
Stop Event
251×iter-limit
104×node-limit
Counts
14 663 → 32 850

derivations5.9s (4.3%)

Memory
-82.4MiB live, 4 320.7MiB allocated; 931ms collecting garbage
Stop Event
20×fuel
8×done
Compiler

Compiled 3 108 to 1 878 computations (39.6% saved)

eval5.1s (3.7%)

Memory
-510.6MiB live, 6 325.0MiB allocated; 2.2s collecting garbage
Compiler

Compiled 508 616 to 171 319 computations (66.3% saved)

preprocess3.5s (2.6%)

Memory
-191.1MiB live, 4 187.2MiB allocated; 581ms collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 5 738 to 4 083 computations (28.8% saved)

regimes3.4s (2.4%)

Memory
18.2MiB live, 4 164.1MiB allocated; 636ms collecting garbage
Counts
3 522 → 335
Calls

43 calls:

827.0ms
x
446.0ms
eps
243.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
232.0ms
b
157.0ms
N
Compiler

Compiled 1 616 to 1 801 computations (-11.4% saved)

series3.3s (2.4%)

Memory
157.8MiB live, 4 099.3MiB allocated; 488ms collecting garbage
Counts
2 598 → 12 065
Calls

489 calls:

TimeVariablePointExpression
61.0ms
x
@inf
((/ (- (* (sin (+ eps x)) (neg (cos x))) (* (cos (+ eps x)) (neg (sin x)))) (* (- (* (cos eps) (cos x)) (* (sin eps) (sin x))) (neg (cos x)))) (- (* (sin (+ eps x)) (neg (cos x))) (* (cos (+ eps x)) (neg (sin x)))) (* -1 (sin eps)) -1 (sin eps) eps (* (- (* (cos eps) (cos x)) (* (sin eps) (sin x))) (neg (cos x))) (- (* (cos eps) (cos x)) (* (sin eps) (sin x))) (* (cos eps) (cos x)) (cos eps) (cos x) x (* (sin eps) (sin x)) (sin x) (neg (cos x)) (- (tan (+ x eps)) (tan x)) (* (- 1 (neg (pow (tan x) 2))) eps) (+ (* (* x x) eps) eps) (* x x) (- (tan (+ x eps)) (tan x)) (* (- (+ (* (- (neg (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) eps)) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (neg (pow (tan x) 2))) eps) (+ (* eps (- 1 (* -1/3 (* eps eps)))) (* x (+ (* eps (* x (- 1 (* -4/3 (* eps eps))))) (* eps eps)))) (- 1 (* -1/3 (* eps eps))) 1 (* -1/3 (* eps eps)) -1/3 (* eps eps) (* x (+ (* eps (* x (- 1 (* -4/3 (* eps eps))))) (* eps eps))) (+ (* eps (* x (- 1 (* -4/3 (* eps eps))))) (* eps eps)) (* (+ x eps) eps) (+ x eps) (- (tan (+ x eps)) (tan x)) (* (- (+ (* (- (neg (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) eps)) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (neg (pow (tan x) 2))) eps) (- (+ (* (- (neg (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) eps)) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (neg (pow (tan x) 2))) (+ (* (- (neg (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) eps)) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (- (neg (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) eps)) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) (- x (* -1/3 eps)) (* -1/3 eps) (neg (pow (tan x) 2)) (pow (tan x) 2) (* (+ (* (+ (* 17/45 (* x x)) 2/3) (* x x)) 1) (* x x)) (+ (* (+ (* 17/45 (* x x)) 2/3) (* x x)) 1) (+ (* 17/45 (* x x)) 2/3) 17/45 2/3 (/ (- (* (sin (+ eps x)) (neg (cos x))) (* (cos (+ eps x)) (neg (sin x)))) (* (cos (+ eps x)) (neg (cos x)))) (* (cos (+ eps x)) (neg (cos x))) (cos (+ eps x)) (+ eps x) (neg (cos x)) (+ (* (+ (* -1/24 (* x x)) 1/2) (* x x)) -1) (+ (* -1/24 (* x x)) 1/2) -1/24 1/2)
58.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) (log (+ 1 x)) (+ 1 x) 1 x 4 (pow (log x) 4) (log x) n (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (- (exp (/ (log x) n)) 1)) (- (exp (/ (log x) n)) 1) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (/ x n) 1) (/ x n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n)) (/ 1/2 (* n n)) (* n n) (/ 1/2 n) (/ (exp (neg (/ (neg (log x)) n))) n))
56.0ms
n
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (* -1/2 (/ (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) n)) -1/2 (/ (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) n) (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)) (+ 1 x) 1 x (* (log x) (log x)) (log x) n (neg (log (+ 1 x))) (log (+ 1 x)) (+ 1 x) (* x (+ 1 (/ 1 x))) (+ 1 (/ 1 x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (/ 1 (* n x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (/ (- 1 (* 1/2 (/ 1 x))) n) (- 1 (* 1/2 (/ 1 x))) (* 1/2 (/ 1 x)) 1/2 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (- (exp (/ (log x) n)) 1)) (/ (- (* -1/24 (/ (pow (log x) 4) (* (* n n) n))) (+ (log x) (+ (* 1/6 (/ (pow (log x) 3) (* n n))) (* 1/2 (/ (* (log x) (log x)) n))))) n) (- (* -1/24 (/ (pow (log x) 4) (* (* n n) n))) (+ (log x) (+ (* 1/6 (/ (pow (log x) 3) (* n n))) (* 1/2 (/ (* (log x) (log x)) n))))) (* -1/24 (/ (pow (log x) 4) (* (* n n) n))) -1/24 (/ (pow (log x) 4) (* (* n n) n)) (pow (log x) 4) 4 (* (* n n) n) (* n n) (+ (log x) (+ (* 1/6 (/ (pow (log x) 3) (* n n))) (* 1/2 (/ (* (log x) (log x)) n)))) (+ (* 1/6 (/ (pow (log x) 3) (* n n))) (* 1/2 (/ (* (log x) (log x)) n))) 1/6 (/ (pow (log x) 3) (* n n)) (pow (log x) 3) 3 (* 1/2 (/ (* (log x) (log x)) n)) (/ (* (log x) (log x)) n))
47.0ms
N
@inf
((- (log (+ N 1)) (log N)) (/ (/ (- (* 2 N) (* 2 (- 1/2 (/ (- 1/3 (/ 1/4 N)) N)))) (* 2 N)) N) (/ (- (* 2 N) (* 2 (- 1/2 (/ (- 1/3 (/ 1/4 N)) N)))) (* 2 N)) (- (* 2 N) (* 2 (- 1/2 (/ (- 1/3 (/ 1/4 N)) N)))) (* (neg N) (- (neg (/ (- (neg (/ (- (/ 1/2 N) 2/3) N)) 1) N)) 2)) (neg N) N (- (neg (/ (- (neg (/ (- (/ 1/2 N) 2/3) N)) 1) N)) 2) (neg (/ (- (neg (/ (- (/ 1/2 N) 2/3) N)) 1) N)) (/ (- (neg (/ (- (/ 1/2 N) 2/3) N)) 1) N) (- (neg (/ (- (/ 1/2 N) 2/3) N)) 1) (neg (/ (- (/ 1/2 N) 2/3) N)) (/ (- (/ 1/2 N) 2/3) N) (- (/ 1/2 N) 2/3) (/ 1/2 N) 1/2 2/3 1 2 (* 2 N) (- (log (+ N 1)) (log N)) (/ (- (* 1 N) (* N (/ (- 1/2 (/ 1/3 N)) N))) (* N N)) (- (* 1 N) (* N (/ (- 1/2 (/ 1/3 N)) N))) (* N N) (- (log (+ N 1)) (log N)) (- (/ 1 N) (/ (/ (- 1/2 (/ 1/3 N)) N) N)) (/ 1 N) (/ (/ (- 1/2 (/ 1/3 N)) N) N) (/ (- 1/2 (/ 1/3 N)) N) (- 1/2 (/ 1/3 N)) (/ 1/3 N) 1/3 (/ (* (+ (log N) (log (- N -1))) (- (log (- N -1)) (log N))) (+ (log N) (log (- N -1)))) (* (+ (log N) (log (- N -1))) (- (log (- N -1)) (log N))) (+ (log N) (log (- N -1))) (- (+ (+ (log (* N N)) (/ 1 N)) (/ 1/3 (* (* N N) N))) (/ 1/2 (* N N))) (+ (+ (log (* N N)) (/ 1 N)) (/ 1/3 (* (* N N) N))) (+ (log (* N N)) (/ 1 N)) (log (* N N)) (/ 1/3 (* (* N N) N)) (* (* N N) N) (/ 1/2 (* N N)) (- (log (- N -1)) (log N)) (log (- N -1)) (- N -1) -1 (log N) (+ (log N) (log (- N -1))) (/ (- (pow (log (- N -1)) 3) (exp (* (log (log N)) 3))) (+ (* (log (- N -1)) (log (- N -1))) (+ (* (log N) (log N)) (* (log (- N -1)) (log N))))) (- (pow (log (- N -1)) 3) (exp (* (log (log N)) 3))) (pow (log (- N -1)) 3) 3 (exp (* (log (log N)) 3)) (* (log (log N)) 3) (log (log N)) (+ (* (log (- N -1)) (log (- N -1))) (+ (* (log N) (log N)) (* (log (- N -1)) (log N)))) (+ (* (log N) (log N)) (* (log (- N -1)) (log N))) (* (log (- N -1)) (log N)))
44.0ms
n
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) (log (+ 1 x)) (+ 1 x) 1 x 4 (pow (log x) 4) (log x) n (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (- (exp (/ (log x) n)) 1)) (- (exp (/ (log x) n)) 1) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (/ x n) 1) (/ x n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n)) (/ 1/2 (* n n)) (* n n) (/ 1/2 n) (/ (exp (neg (/ (neg (log x)) n))) n))

prune2.1s (1.5%)

Memory
275.1MiB live, 3 046.4MiB allocated; 520ms collecting garbage
Counts
35 016 → 1 544
Compiler

Compiled 64 646 to 50 626 computations (21.7% saved)

analyze1.6s (1.2%)

Memory
24.9MiB live, 1 974.2MiB allocated; 566ms collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.3s (1%)

Memory
68.1MiB live, 1 318.3MiB allocated; 128ms collecting garbage
Algorithm
129×binary-search
Stop Event
128×narrow-enough
1×predicate-same
Samples
368.0ms6 403×0valid
120.0ms1 584×0invalid
108.0ms791×1valid
104.0ms489×2valid
4.0ms13×3valid
3.0ms47×0exit
Compiler

Compiled 35 275 to 36 296 computations (-2.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 473.0ms
ival-mult!: 137.0ms (29% of total)
ival-pow: 65.0ms (13.7% of total)
ival-sqrt: 56.0ms (11.8% of total)
ival-div!: 52.0ms (11% of total)
adjust: 46.0ms (9.7% of total)
ival-neg: 35.0ms (7.4% of total)
ival-sub!: 31.0ms (6.6% of total)
ival-cos: 17.0ms (3.6% of total)
ival-add!: 15.0ms (3.2% of total)
ival-cbrt: 6.0ms (1.3% of total)
ival-expm1: 6.0ms (1.3% of total)
ival-exp: 3.0ms (0.6% of total)
ival-log1p: 3.0ms (0.6% of total)
ival-log: 2.0ms (0.4% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...