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:131 928.0 MB

Time bar (total: 2.2min)

sample1.5min (69.5%)

Memory
1 350.5MiB live, 90 586.8MiB allocated; 29.7s collecting garbage
Samples
25.8s44 641×2valid
15.8s96 809×1valid
15.1s143 710×0invalid
10.8s6 005×5exit
5.7s86 215×0valid
2.7s3 498×3valid
359.0ms4 304×0exit
147.0ms1 120×1exit
132.0ms141×4exit
6.0ms5×4valid
3.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-tan: 13.3s (21% of total)
ival-pow: 11.0s (17.5% of total)
adjust: 6.2s (9.9% of total)
ival-cos: 4.3s (6.8% of total)
ival-mult!: 3.9s (6.2% of total)
ival-sin: 3.5s (5.6% of total)
ival-log: 3.2s (5.1% of total)
ival-div!: 2.9s (4.5% of total)
ival-exp: 2.0s (3.2% of total)
ival-add!: 1.9s (3% of total)
ival-sub!: 1.8s (2.9% of total)
ival-log1p: 1.7s (2.6% of total)
ival-expm1: 1.7s (2.6% of total)
ival-fabs: 1.6s (2.6% of total)
ival-sqrt: 1.5s (2.4% of total)
ival-<: 470.0ms (0.7% of total)
ival-atan: 430.0ms (0.7% of total)
ival-<=: 409.0ms (0.6% of total)
ival-fmin: 329.0ms (0.5% of total)
ival-and: 321.0ms (0.5% of total)
ival-cbrt: 297.0ms (0.5% of total)
ival-neg: 241.0ms (0.4% of total)
ival-assert: 61.0ms (0.1% of total)
ival->: 8.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite18.4s (13.8%)

Memory
369.4MiB live, 16 299.8MiB allocated; 3.4s collecting garbage
Stop Event
267×iter-limit
105×node-limit
Counts
13 256 → 31 067

derivations4.6s (3.5%)

Memory
-108.3MiB live, 3 546.3MiB allocated; 406ms collecting garbage
Stop Event
21×fuel
7×done
Compiler

Compiled 2 597 to 1 656 computations (36.2% saved)

eval3.8s (2.8%)

Memory
262.8MiB live, 5 292.2MiB allocated; 795ms collecting garbage
Compiler

Compiled 418 558 to 142 488 computations (66% saved)

preprocess3.4s (2.5%)

Memory
-367.7MiB live, 3 827.0MiB allocated; 919ms collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 5 029 to 3 673 computations (27% saved)

series3.3s (2.5%)

Memory
298.4MiB live, 4 097.0MiB allocated; 720ms collecting garbage
Counts
2 423 → 10 833
Calls

495 calls:

TimeVariablePointExpression
99.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)) (/ (+ (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))) (/ (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))) (/ (+ (* (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/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) (/ (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))) (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (* (+ 1 x) (+ 1 x)) (/ 1 n) (pow (* x x) (/ 1 n)) (* x x) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))) (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
92.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))) (/ (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))) (/ (+ (* (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/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) (/ (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))) (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (* (+ 1 x) (+ 1 x)) (/ 1 n) (pow (* x x) (/ 1 n)) (* x x) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))) (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))
84.0ms
b
@-inf
((- (/ (neg b) (+ a a)) (/ (sqrt (+ (* (* c -4) a) (* b b))) (+ a a))) (/ (neg b) (+ a a)) (neg b) b (+ a a) a (/ (sqrt (+ (* (* c -4) a) (* b b))) (+ a a)) (sqrt (+ (* (* c -4) a) (* b b))) (+ (* (* c -4) a) (* b b)) (* c -4) c -4 (* b b) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (neg b) a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (sqrt (* (/ c a) -1)) (neg (sqrt (neg (/ c a)))) (sqrt (neg (/ c a))) (neg (/ c a)) (/ c a) (/ (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (+ a a)) (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (sqrt (+ (* (* c a) -4) (* b b))) (+ (* (* c a) -4) (* b b)) (* (* a c) -4) (* a c) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (neg (* (+ (* (/ b (* c a)) 1/2) (neg (sqrt (* (/ 1 (* c a)) -1)))) c)) (* (+ (* (/ b (* c a)) 1/2) (neg (sqrt (* (/ 1 (* c a)) -1)))) c) (+ (* (/ b (* c a)) 1/2) (neg (sqrt (* (/ 1 (* c a)) -1)))) (/ b (* c a)) (* c a) 1/2 (neg (sqrt (* (/ 1 (* c a)) -1))) (sqrt (* (/ 1 (* c a)) -1)) (* (/ 1 (* c a)) -1) (/ 1 (* c a)) 1 -1)
67.0ms
x
@inf
((- (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)))) (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)) (* (+ (+ (+ (* (- 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) (+ (+ (+ (* (- 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) (+ (+ (* (- 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 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (- 1 (neg (pow (tan x) 2))) 1 (neg (pow (tan x) 2)) (pow (tan x) 2) (tan x) x 2 -1/2 (* (pow (tan x) 2) 1/6) 1/6 (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))) (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))) (- 1/2 (* 1/2 (cos (* 2 x)))) 1/2 (* 1/2 (cos (* 2 x))) (cos (* 2 x)) (* 2 x) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))) (+ 1/2 (* 1/2 (cos (* 2 x)))) eps (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x))) (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) (* (- 1 (neg (pow (tan x) 2))) (sin x)) (sin x) (cos x) (- (tan (+ x eps)) (tan x)) (tan eps) (- (tan (+ x eps)) (tan (+ x (PI)))) (tan (+ x eps)) (+ x eps) (tan (+ x (PI))) (+ x (PI)) (PI) (/ (sin (- (+ eps x) x)) (* (cos (+ eps x)) (cos x))) (sin (- (+ eps x) x)) (- (+ eps x) x) (+ eps x) (* (cos (+ eps x)) (cos x)) (cos (+ eps x)) (- (tan (+ x eps)) (tan x)) (+ (* (- (/ (* (* x (sin eps)) (- 1 (neg (pow (tan eps) 2)))) (cos eps)) (neg (pow (tan eps) 2))) x) (tan eps)) (- (/ (* (* x (sin eps)) (- 1 (neg (pow (tan eps) 2)))) (cos eps)) (neg (pow (tan eps) 2))) (/ (* (* x (sin eps)) (- 1 (neg (pow (tan eps) 2)))) (cos eps)) (* (* x (sin eps)) (- 1 (neg (pow (tan eps) 2)))) (* x (sin eps)) (sin eps) (- 1 (neg (pow (tan eps) 2))) (neg (pow (tan eps) 2)) (pow (tan eps) 2) (cos eps))
67.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))) (/ (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))) (/ (+ (* (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/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) (/ (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))) (- (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (pow (* x x) (/ 1 n))) (pow (* (+ 1 x) (+ 1 x)) (/ 1 n)) (* (+ 1 x) (+ 1 x)) (/ 1 n) (pow (* x x) (/ 1 n)) (* x x) (+ (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n))) (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))

regimes2.4s (1.8%)

Memory
-29.0MiB live, 3 181.3MiB allocated; 445ms collecting garbage
Counts
2 788 → 308
Calls

43 calls:

674.0ms
x
432.0ms
eps
104.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
101.0ms
b
84.0ms
b_2
Compiler

Compiled 1 614 to 1 768 computations (-9.5% saved)

prune2.2s (1.7%)

Memory
-631.2MiB live, 2 364.5MiB allocated; 1.3s collecting garbage
Counts
29 885 → 1 438
Compiler

Compiled 51 182 to 42 534 computations (16.9% saved)

analyze1.5s (1.1%)

Memory
9.6MiB live, 1 616.9MiB allocated; 519ms 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.0s (0.8%)

Memory
127.4MiB live, 1 114.1MiB allocated; 122ms collecting garbage
Algorithm
97×binary-search
20×left-value
Stop Event
95×narrow-enough
2×predicate-same
Samples
328.0ms5 226×0valid
113.0ms1 077×0invalid
71.0ms322×2valid
68.0ms588×1valid
2.0ms8×3valid
1.0ms18×0exit
Compiler

Compiled 26 097 to 26 912 computations (-3.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 397.0ms
ival-mult!: 99.0ms (24.9% of total)
ival-neg: 68.0ms (17.1% of total)
ival-sqrt: 57.0ms (14.3% of total)
ival-div!: 42.0ms (10.6% of total)
ival-pow: 39.0ms (9.8% of total)
ival-sub!: 26.0ms (6.5% of total)
adjust: 25.0ms (6.3% of total)
ival-cos: 20.0ms (5% of total)
ival-add!: 11.0ms (2.8% of total)
ival-expm1: 5.0ms (1.3% of total)
ival-cbrt: 4.0ms (1% of total)
ival-exp: 2.0ms (0.5% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...