Herbie run

Date:Friday, May 2nd, 2025
Commit:4dfb3dd9 on main
Seed:2025122
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:115 771.9 MB

Time bar (total: 2.2min)

sample1.5min (68.9%)

Memory
1 175.5MiB live, 78 208.3MiB allocated; 29.0s collecting garbage
Samples
27.8s44 679×2valid
15.6s96 735×1valid
13.3s144 829×0invalid
10.7s5 974×5exit
6.7s86 056×0valid
2.8s3 694×3valid
325.0ms4 197×0exit
183.0ms1 086×1exit
110.0ms132×4exit
7.0ms2×3exit
4.0ms4×4valid
1.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-tan: 12.5s (19.7% of total)
ival-pow: 11.5s (18.1% of total)
adjust: 6.6s (10.3% of total)
ival-cos: 5.4s (8.4% of total)
ival-mult!: 4.2s (6.6% of total)
ival-log: 3.5s (5.4% of total)
ival-div!: 3.3s (5.2% of total)
ival-sin: 3.2s (5% of total)
ival-exp: 2.2s (3.4% of total)
ival-sub!: 1.8s (2.8% of total)
ival-expm1: 1.7s (2.6% of total)
ival-fabs: 1.7s (2.6% of total)
ival-add!: 1.5s (2.4% of total)
ival-sqrt: 1.3s (2.1% of total)
ival-log1p: 1.1s (1.8% of total)
ival-<: 573.0ms (0.9% of total)
ival-atan: 423.0ms (0.7% of total)
ival-<=: 344.0ms (0.5% of total)
ival-and: 313.0ms (0.5% of total)
ival-neg: 297.0ms (0.5% of total)
ival-cbrt: 272.0ms (0.4% of total)
ival-assert: 65.0ms (0.1% of total)
ival-fmin: 54.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite19.0s (14.1%)

Memory
219.3MiB live, 15 482.5MiB allocated; 5.4s collecting garbage
Stop Event
266×iter-limit
104×node-limit
1×unsound
Counts
13 987 → 29 445

derivations4.4s (3.2%)

Memory
-205.9MiB live, 2 673.3MiB allocated; 458ms collecting garbage
Stop Event
22×fuel
6×done
Compiler

Compiled 2 661 to 1 660 computations (37.6% saved)

preprocess4.0s (3%)

Memory
-139.7MiB live, 3 744.3MiB allocated; 757ms collecting garbage
Stop Event
28×node-limit
1×iter-limit
Compiler

Compiled 5 387 to 3 959 computations (26.5% saved)

eval3.9s (2.9%)

Memory
91.6MiB live, 4 855.0MiB allocated; 1.0s collecting garbage
Compiler

Compiled 399 379 to 137 136 computations (65.7% saved)

series3.6s (2.6%)

Memory
194.7MiB live, 3 964.9MiB allocated; 900ms collecting garbage
Counts
2 549 → 11 438
Calls

495 calls:

TimeVariablePointExpression
85.0ms
x
@0
((- (sqrt (+ x 1)) (sqrt x)) (/ (+ (* (/ 1 (sqrt x)) -1/8) (+ (* (sqrt (pow x -5)) -5/128) (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x))))) x) (+ (* (/ 1 (sqrt (* (* x x) x))) -1/8) (+ (* (sqrt (pow x -7)) -5/128) (+ (* (pow x -5/2) 1/16) (/ 1/2 (sqrt x))))) (/ 1 (sqrt (* (* x x) x))) 1 (sqrt (* (* x x) x)) (* (* x x) x) (* x x) x -1/8 (+ (* (sqrt (pow x -7)) -5/128) (+ (* (pow x -5/2) 1/16) (/ 1/2 (sqrt x)))) (sqrt (pow x -7)) (pow x -7) -7 -5/128 (+ (* (pow x -5/2) 1/16) (/ 1/2 (sqrt x))) (pow x -5/2) -5/2 1/16 (/ 1/2 (sqrt x)) 1/2 (sqrt x) (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ x 1)) (sqrt x)) (/ (+ (* (/ 1 (sqrt x)) -1/8) (+ (* (sqrt (pow x -5)) -5/128) (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x))))) x) (+ (* (/ 1 (sqrt x)) -1/8) (+ (* (sqrt (pow x -5)) -5/128) (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x))))) (* 1/2 (sqrt x)) (- (sqrt (+ x 1)) (sqrt x)) (+ (/ (/ -1/8 (sqrt x)) x) (/ (* 1/2 (sqrt x)) x)) (/ (/ -1/8 (sqrt x)) x) (/ -1/8 (sqrt x)) (/ (* 1/2 (sqrt x)) x) (/ (- (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ 1 x)) (sqrt x))) (- (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (* (sqrt x) (sqrt x))) (* (sqrt (+ 1 x)) (sqrt (+ 1 x))) (sqrt (+ 1 x)) (+ 1 x) (* (sqrt x) (sqrt x)) (+ (sqrt (+ 1 x)) (sqrt x)))
84.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) 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) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 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))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (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)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 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) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
58.0ms
n
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) 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) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 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))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (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)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 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) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
56.0ms
x
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -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 (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) 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) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 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))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (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)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 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) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
55.0ms
x
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (/ (- (* n (log (/ x (+ 1 x)))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (- (* n (log (/ x (+ 1 x)))) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (* n (log (/ x (+ 1 x)))) n (log (/ x (+ 1 x))) (/ x (+ 1 x)) x (+ 1 x) 1 (* 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 (+ 1 x)) (* (log x) (log x)) (log x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (+ 1 (/ (log x) n)) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (/ (- (+ (/ 1/3 (* n (* x x))) (/ 1 n)) (/ 1/2 (* n x))) x) (- (+ (/ 1/3 (* n (* x x))) (/ 1 n)) (/ 1/2 (* n x))) (+ (/ 1/3 (* n (* x x))) (/ 1 n)) (/ 1/3 (* n (* x x))) 1/3 (* n (* x x)) (* x x) (/ 1 n) (/ 1/2 (* n x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) (* n (log (/ (+ 1 x) x)))) (* n n)) (+ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) (* n (log (/ (+ 1 x) x)))) (* n (log (/ (+ 1 x) x))) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (* n n))

prune2.3s (1.7%)

Memory
32.2MiB live, 2 235.6MiB allocated; 1.3s collecting garbage
Counts
28 503 → 1 499
Compiler

Compiled 54 298 to 45 492 computations (16.2% saved)

regimes2.2s (1.6%)

Memory
-15.3MiB live, 2 421.1MiB allocated; 395ms collecting garbage
Counts
2 560 → 292
Calls

43 calls:

638.0ms
x
197.0ms
eps
117.0ms
a
97.0ms
(/.f64 #s(literal 1 binary64) n)
88.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Compiler

Compiled 1 594 to 1 709 computations (-7.2% saved)

analyze1.7s (1.2%)

Memory
-89.7MiB live, 1 528.6MiB allocated; 573ms 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)

bsearch855.0ms (0.6%)

Memory
-18.0MiB live, 656.3MiB allocated; 111ms collecting garbage
Algorithm
83×binary-search
27×left-value
Stop Event
78×narrow-enough
5×predicate-same
Samples
252.0ms4 089×0valid
91.0ms631×1valid
70.0ms328×2valid
59.0ms955×0invalid
5.0ms24×3valid
2.0ms25×0exit
Compiler

Compiled 22 791 to 23 411 computations (-2.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 325.0ms
ival-mult!: 82.0ms (25.2% of total)
ival-div!: 44.0ms (13.5% of total)
ival-pow: 42.0ms (12.9% of total)
ival-sqrt: 42.0ms (12.9% of total)
ival-neg: 36.0ms (11.1% of total)
adjust: 27.0ms (8.3% of total)
ival-sub!: 25.0ms (7.7% of total)
ival-cos: 10.0ms (3.1% of total)
ival-add!: 10.0ms (3.1% of total)
ival-cbrt: 3.0ms (0.9% of total)
ival-expm1: 2.0ms (0.6% of total)
ival-log1p: 1.0ms (0.3% of total)
ival-log: 1.0ms (0.3% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...