Herbie run

Date:Monday, June 2nd, 2025
Commit:c64524ab on sound-egglog
Seed:2025153
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:proofsgenerate:egglog
default
Memory:239 768.7 MB

Time bar (total: 7.3min)

rewrite4.7min (63.9%)

Memory
354.9MiB live, 137 721.6MiB allocated; 47.3s collecting garbage
Counts
3 273 → 138 115

series55.1s (12.5%)

Memory
601.5MiB live, 24 524.6MiB allocated; 8.7s collecting garbage
Counts
3 273 → 10 753
Calls

888 calls:

TimeVariablePointExpression
113.0ms
i
@inf
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp i) 1)) i) (* n (- (exp i) 1)) n (- (exp i) 1) i (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* 100 n) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n))))))) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n)))))) (* i (* n (- 1/2 (* 1/2 (/ 1 n))))) (* n (- 1/2 (* 1/2 (/ 1 n)))) (- 1/2 (* 1/2 (/ 1 n))) 1/2 (* 1/2 (/ 1 n)) (/ 1 n) 1 (* 100 (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i)))) (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i))) (/ (pow (/ (+ n i) n) n) i) (pow (/ (+ n i) n) n) (/ (+ n i) n) (+ n i) (neg (/ n i)) (/ n i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) i) (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1) (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i))))) (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))) (log (neg (/ 1 n))) (neg (/ 1 n)) (* -1 (log (/ -1 i))) -1 (log (/ -1 i)) (/ -1 i))
110.0ms
x2
@inf
((+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* -6 x2) (* x1 (- (+ (* 4 (* x2 (- (* 2 x2) 3))) (* x1 (- (+ (* 2 (+ (* -2 x2) (* -1 (- (* 2 x2) 3)))) (+ (* 3 (- 3 (* -2 x2))) (+ (* 6 x2) (* 8 x2)))) 6))) 1))) (+ (* x1 (- (* 9 x1) 1)) (* x2 (- (+ (* 8 (* x1 x2)) (* x1 (- (* 12 x1) 12))) 6))) x1 (- (* 9 x1) 1) (* 9 x1) 9 1 (* x2 (- (+ (* 8 (* x1 x2)) (* x1 (- (* 12 x1) 12))) 6)) x2 (- (+ (* 8 (* x1 x2)) (* x1 (- (* 12 x1) 12))) 6) (+ (* 8 (* x1 x2)) (* x1 (- (* 12 x1) 12))) (* x1 (- (* 8 x2) 12)) (- (* 8 x2) 12) (* 8 x2) 8 12 6 (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* -6 x2) (* x1 (- (+ (* 4 (* x2 (- (* 2 x2) 3))) (* x1 (- (+ (* 2 (+ (* -2 x2) (* -1 (- (* 2 x2) 3)))) (+ (* 3 (- 3 (* -2 x2))) (+ (* 6 x2) (* 8 x2)))) 6))) 1))) (* x1 (- (* 9 x1) 1)) (- (* 9 x1) 1) -1 (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* -6 x2) (* x1 (- (+ (* 4 (* x2 (- (* 2 x2) 3))) (* x1 (- (+ (* 2 (+ (* -2 x2) (* -1 (- (* 2 x2) 3)))) (+ (* 3 (- 3 (* -2 x2))) (+ (* 6 x2) (* 8 x2)))) 6))) 1))) (+ (* x1 (- (* 9 x1) 1)) (* x2 (- (+ (* 8 (* x1 x2)) (* x1 (- (* 12 x1) 12))) 6))) (* (pow x1 2) (+ 9 (* 12 x2))) (pow x1 2) 2 (+ 9 (* 12 x2)) (* 12 x2) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* (pow x1 4) (+ 6 (* -1 (/ (+ 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1))) x1)))) (pow x1 4) 4 (+ 6 (* -1 (/ (+ 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1))) x1))) (* -1 (/ (+ 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1))) x1)) (/ (+ 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1))) x1) (+ 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1))) 3 (* -1 (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1)) (/ (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) x1) (+ 9 (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3)))) (+ (* -1 (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)) (* 4 (- (* 2 x2) 3))) (/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1) (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) (* -2 (+ 1 (* 3 (- (* 2 x2) 3)))) -2 (+ 1 (* 3 (- (* 2 x2) 3))) (* 3 (- (* 2 x2) 3)) (- (* 2 x2) 3) (* 2 x2) (* 4 (- (* 2 x2) 3)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (+ (* -1 x1) (* 2 x2)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* x1 x1) 1) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* 3 x1) x1) (* 3 x1) (* (* x1 x1) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (+ (* -2 x2) (* x1 (- (* x1 (- 3 (* -2 x2))) 1))) (* x1 (- (* x1 (- 3 (* -2 x2))) 1)) (- (* x1 (- 3 (* -2 x2))) 1) (* x1 (- 3 (* -2 x2))) (- 3 (* -2 x2)) (* -2 x2))
93.0ms
n
@0
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp i) 1)) i) (* n (- (exp i) 1)) n (- (exp i) 1) i (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* 100 n) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n))))))) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n)))))) (* i (* n (- 1/2 (* 1/2 (/ 1 n))))) (* n (- 1/2 (* 1/2 (/ 1 n)))) (- 1/2 (* 1/2 (/ 1 n))) 1/2 (* 1/2 (/ 1 n)) (/ 1 n) 1 (* 100 (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i)))) (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i))) (/ (pow (/ (+ n i) n) n) i) (pow (/ (+ n i) n) n) (/ (+ n i) n) (+ n i) (neg (/ n i)) (/ n i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) i) (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1) (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i))))) (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))) (log (neg (/ 1 n))) (neg (/ 1 n)) (* -1 (log (/ -1 i))) -1 (log (/ -1 i)) (/ -1 i))
81.0ms
i
@0
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp i) 1)) i) (* n (- (exp i) 1)) n (- (exp i) 1) i (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* 100 n) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n))))))) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n)))))) (* i (* n (- 1/2 (* 1/2 (/ 1 n))))) (* n (- 1/2 (* 1/2 (/ 1 n)))) (- 1/2 (* 1/2 (/ 1 n))) 1/2 (* 1/2 (/ 1 n)) (/ 1 n) 1 (* 100 (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i)))) (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i))) (/ (pow (/ (+ n i) n) n) i) (pow (/ (+ n i) n) n) (/ (+ n i) n) (+ n i) (neg (/ n i)) (/ n i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) i) (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1) (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i))))) (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))) (log (neg (/ 1 n))) (neg (/ 1 n)) (* -1 (log (/ -1 i))) -1 (log (/ -1 i)) (/ -1 i))
61.0ms
n
@-inf
((* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp i) 1)) i) (* n (- (exp i) 1)) n (- (exp i) 1) i (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (+ (* 100 n) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n))))))) (* 100 (* i (* n (- 1/2 (* 1/2 (/ 1 n)))))) (* i (* n (- 1/2 (* 1/2 (/ 1 n))))) (* n (- 1/2 (* 1/2 (/ 1 n)))) (- 1/2 (* 1/2 (/ 1 n))) 1/2 (* 1/2 (/ 1 n)) (/ 1 n) 1 (* 100 (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i)))) (+ (* (/ (pow (/ (+ n i) n) n) i) n) (neg (/ n i))) (/ (pow (/ (+ n i) n) n) i) (pow (/ (+ n i) n) n) (/ (+ n i) n) (+ n i) (neg (/ n i)) (/ n i) (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) (/ (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) i) (* n (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1)) (- (exp (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))))) 1) (* n (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i))))) (+ (log (neg (/ 1 n))) (* -1 (log (/ -1 i)))) (log (neg (/ 1 n))) (neg (/ 1 n)) (* -1 (log (/ -1 i))) -1 (log (/ -1 i)) (/ -1 i))

sample46.9s (10.7%)

Memory
624.6MiB live, 31 566.9MiB allocated; 13.6s collecting garbage
Samples
20.2s293 133×0valid
6.4s17 581×2valid
6.0s35 568×1valid
339.0ms4 151×0invalid
212.0ms470×3valid
166.0ms984×0exit
74.0ms101×4exit
46.0ms101×3exit
5.0ms39×1exit
Precisions
Click to see histograms. Total time spent on operations: 21.9s
ival-mult!: 5.3s (24.2% of total)
ival-pow: 3.2s (14.6% of total)
ival-div!: 2.3s (10.6% of total)
ival-sin: 2.3s (10.5% of total)
adjust: 2.1s (9.5% of total)
ival-cos: 1.5s (7% of total)
ival-add!: 1.4s (6.5% of total)
ival-sub!: 1.4s (6.5% of total)
ival-exp: 598.0ms (2.7% of total)
ival-sqrt: 536.0ms (2.4% of total)
ival-neg: 387.0ms (1.8% of total)
ival-pow2: 339.0ms (1.5% of total)
ival-log1p: 146.0ms (0.7% of total)
ival-atan: 98.0ms (0.4% of total)
ival-tan: 65.0ms (0.3% of total)
ival-expm1: 61.0ms (0.3% of total)
ival-<=: 38.0ms (0.2% of total)
ival-hypot: 15.0ms (0.1% of total)
ival-and: 8.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-==: 2.0ms (0% of total)
ival-<: 2.0ms (0% of total)
ival-assert: 1.0ms (0% of total)
const: 0.0ms (0% of total)
Bogosity

eval29.4s (6.7%)

Memory
704.0MiB live, 24 921.1MiB allocated; 9.2s collecting garbage
Compiler

Compiled 1 925 322 to 603 501 computations (68.7% saved)

preprocess7.5s (1.7%)

Memory
-509.0MiB live, 5 158.1MiB allocated; 1.4s collecting garbage
Stop Event
37×node-limit
5×saturated
Compiler

Compiled 13 347 to 10 427 computations (21.9% saved)

prune7.4s (1.7%)

Memory
-369.3MiB live, 6 852.2MiB allocated; 2.7s collecting garbage
Counts
161 133 → 1 909
Compiler

Compiled 82 105 to 62 206 computations (24.2% saved)

regimes5.5s (1.2%)

Memory
123.1MiB live, 4 771.4MiB allocated; 973ms collecting garbage
Counts
4 433 → 483
Calls

96 calls:

513.0ms
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
392.0ms
x
345.0ms
b
245.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
235.0ms
d
Compiler

Compiled 6 325 to 5 168 computations (18.3% saved)

analyze3.9s (0.9%)

Memory
-16.3MiB live, 2 457.4MiB allocated; 2.5s collecting garbage
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 402 to 721 computations (48.6% saved)

bsearch2.8s (0.6%)

Memory
-11.4MiB live, 1 654.6MiB allocated; 424ms collecting garbage
Algorithm
153×binary-search
69×left-value
Stop Event
147×narrow-enough
6×predicate-same
Samples
846.0ms9 071×0valid
361.0ms538×2valid
328.0ms1 314×1valid
109.0ms1 764×0invalid
16.0ms111×0exit
4.0ms5×3valid
0.0ms1×1exit
Compiler

Compiled 84 048 to 68 753 computations (18.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult!: 382.0ms (32% of total)
ival-pow: 334.0ms (28% of total)
adjust: 132.0ms (11.1% of total)
ival-div!: 117.0ms (9.8% of total)
ival-add!: 91.0ms (7.6% of total)
ival-sub!: 60.0ms (5% of total)
ival-sqrt: 42.0ms (3.5% of total)
ival-neg: 23.0ms (1.9% of total)
ival-exp: 9.0ms (0.8% of total)
ival-expm1: 2.0ms (0.2% of total)
ival-log1p: 1.0ms (0.1% of total)

derivations148.0ms (0%)

Memory
38.7MiB live, 136.2MiB allocated; 12ms collecting garbage
Stop Event
27×fuel
15×done
Compiler

Compiled 4 185 to 2 497 computations (40.3% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...