Herbie run

Date:Sunday, April 20th, 2025
Commit:db13855b on artem-rules-updates
Seed:2025110
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:148 082.5 MB

Time bar (total: 2.4min)

sample1.6min (65.3%)

Memory
1 494.9MiB live, 97 231.0MiB allocated; 28.5s collecting garbage
Samples
25.1s44 743×2valid
15.9s96 694×1valid
15.2s145 136×0invalid
10.3s5 980×5exit
6.2s86 204×0valid
3.5s3 521×3valid
341.0ms4 220×0exit
202.0ms146×4exit
146.0ms1 063×1exit
7.0ms6×4valid
2.0ms1×2exit
2.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 12.1s (19.5% of total)
ival-pow: 10.4s (16.7% of total)
adjust: 6.8s (10.9% of total)
ival-cos: 4.6s (7.3% of total)
ival-mult!: 4.2s (6.7% of total)
ival-sin: 3.5s (5.6% of total)
ival-log: 3.4s (5.5% of total)
ival-div!: 2.9s (4.7% of total)
ival-add!: 2.2s (3.5% of total)
ival-sub!: 2.1s (3.3% of total)
ival-exp: 1.9s (3.1% of total)
ival-expm1: 1.8s (2.8% of total)
ival-fabs: 1.6s (2.6% of total)
ival-sqrt: 1.4s (2.3% of total)
ival-log1p: 1.1s (1.8% of total)
ival-<: 437.0ms (0.7% of total)
ival-and: 354.0ms (0.6% of total)
ival-<=: 350.0ms (0.6% of total)
ival-atan: 345.0ms (0.6% of total)
ival-cbrt: 307.0ms (0.5% of total)
ival-neg: 300.0ms (0.5% of total)
ival-fmin: 74.0ms (0.1% of total)
ival-assert: 72.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite20.0s (14%)

Memory
431.4MiB live, 18 971.1MiB allocated; 4.5s collecting garbage
Stop Event
257×iter-limit
105×node-limit
Counts
15 689 → 33 248

derivations5.7s (4%)

Memory
12.4MiB live, 3 949.2MiB allocated; 1.8s collecting garbage
Stop Event
23×fuel
5×done
Compiler

Compiled 2 892 to 1 837 computations (36.5% saved)

eval5.5s (3.8%)

Memory
241.9MiB live, 7 378.8MiB allocated; 1.4s collecting garbage
Compiler

Compiled 658 201 to 191 524 computations (70.9% saved)

preprocess4.5s (3.1%)

Memory
-490.2MiB live, 3 999.5MiB allocated; 2.6s collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 5 486 to 4 046 computations (26.2% saved)

series4.3s (3%)

Memory
275.7MiB live, 5 387.2MiB allocated; 746ms collecting garbage
Counts
2 723 → 12 966
Calls

495 calls:

TimeVariablePointExpression
106.0ms
x
@-inf
((sqrt (- (exp x) -1)) (- (exp x) -1) (exp x) x -1 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) 2 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (- x -2) -2 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (+ (* (+ (* 1/2 x) 1) x) 2) (+ (* 1/2 x) 1) 1/2 1 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (+ (* (/ x (sqrt 2)) 1/2) (sqrt 2)) (/ x (sqrt 2)) (sqrt 2))
90.0ms
n
@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))) (/ (+ (* (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 (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) 1) (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n) (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n) (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) (/ (pow (log x) 3) n) 1/6 (* (* (log x) (log x)) 1/2))
85.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))) (/ (+ (* (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 (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) 1) (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n) (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n) (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) (/ (pow (log x) 3) n) 1/6 (* (* (log x) (log x)) 1/2))
72.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (/ (+ (pow (+ (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)))) 3) (pow (log x) 3)) (+ (* (+ (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 (log (+ 1 x))))) (- (* (log 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)))) (log x))))) n)) (/ (/ (+ (pow (+ (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)))) 3) (pow (log x) 3)) (+ (* (+ (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 (log (+ 1 x))))) (- (* (log 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)))) (log x))))) n) (/ (+ (pow (+ (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)))) 3) (pow (log x) 3)) (+ (* (+ (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 (log (+ 1 x))))) (- (* (log 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)))) (log x))))) (+ (pow (+ (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)))) 3) (pow (log x) 3)) (pow (+ (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)))) 3) (+ (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))) (+ (* (+ (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 (log (+ 1 x))))) (- (* (log 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)))) (log x)))) (- (* (log 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)))) (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)))) (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)) (+ (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) 1) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (+ x (neg (log x))) (neg (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (- (+ 1 (/ 1/3 (* x x))) (* 1/2 (/ 1 x))) x) (- (+ 1 (/ 1/3 (* x x))) (* 1/2 (/ 1 x))) (+ 1 (/ 1/3 (* x x))) (/ 1/3 (* x x)) 1/3 (* x x) (* 1/2 (/ 1 x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (* (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) x) 1) (+ (* (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (/ 1 n)) (- (/ 1/2 (* n n)) (/ 1/2 n)) (/ 1/2 (* n n)) (* n n) (/ 1 n) (pow x (/ 1 n)))
65.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))) (/ (+ (* (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 (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (+ (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) 1) (neg (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n)) (/ (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) n) (+ (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (neg (log x))) (neg (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n)) (/ (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) n) (+ (* (/ (pow (log x) 3) n) 1/6) (* (* (log x) (log x)) 1/2)) (/ (pow (log x) 3) n) 1/6 (* (* (log x) (log x)) 1/2))

regimes3.9s (2.7%)

Memory
-149.2MiB live, 4 110.5MiB allocated; 1.8s collecting garbage
Counts
3 598 → 313
Calls

43 calls:

851.0ms
x
804.0ms
(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
468.0ms
eps
252.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
190.0ms
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
Compiler

Compiled 1 663 to 1 822 computations (-9.6% saved)

prune2.6s (1.8%)

Memory
-140.7MiB live, 3 315.0MiB allocated; 785ms collecting garbage
Counts
38 197 → 1 675
Compiler

Compiled 70 787 to 55 065 computations (22.2% saved)

analyze1.8s (1.3%)

Memory
3.6MiB live, 2 037.2MiB allocated; 480ms 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.4s (1%)

Memory
11.7MiB live, 1 700.2MiB allocated; 176ms collecting garbage
Algorithm
101×binary-search
13×left-value
Stop Event
95×narrow-enough
6×predicate-same
Samples
453.0ms5 547×0valid
135.0ms1 134×1valid
122.0ms510×2valid
90.0ms1 258×0invalid
2.0ms26×0exit
2.0ms9×3valid
Compiler

Compiled 29 532 to 30 026 computations (-1.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 544.0ms
ival-sqrt: 120.0ms (22.1% of total)
ival-mult!: 109.0ms (20.1% of total)
ival-pow: 86.0ms (15.8% of total)
ival-div!: 64.0ms (11.8% of total)
adjust: 43.0ms (7.9% of total)
ival-neg: 39.0ms (7.2% of total)
ival-sub!: 33.0ms (6.1% of total)
ival-add!: 20.0ms (3.7% of total)
ival-cos: 17.0ms (3.1% of total)
ival-cbrt: 11.0ms (2% of total)
ival-expm1: 2.0ms (0.4% of total)

start1.0ms (0%)

Memory
2.3MiB live, 2.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...