Herbie run

Date:Thursday, May 22nd, 2025
Commit:0dc4c198 on taylor-rewrite-in-separate-paths
Seed:2025142
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:1 126 680.9 MB

Time bar (total: 20.3min)

sample6.8min (33.5%)

Memory
3 023.7MiB live, 368 737.5MiB allocated; 2.7min collecting garbage
Samples
3.6min2 144 318×0valid
25.1s69 630×1valid
14.9s64 753×0invalid
2.1s6 225×2valid
1.5s1 204×5exit
567.0ms1 775×1invalid
337.0ms689×3valid
301.0ms378×4exit
3.0ms21×1exit
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-mult!: 50.9s (36.7% of total)
ival-div!: 17.0s (12.3% of total)
ival-add!: 14.6s (10.5% of total)
ival-sub!: 14.2s (10.2% of total)
ival-log: 12.8s (9.2% of total)
ival-sqrt: 7.9s (5.7% of total)
ival-sin: 5.8s (4.2% of total)
adjust: 5.8s (4.2% of total)
ival-cos: 4.2s (3% of total)
ival-exp: 2.9s (2.1% of total)
ival-fabs: 567.0ms (0.4% of total)
ival-acos: 446.0ms (0.3% of total)
ival-tan: 371.0ms (0.3% of total)
ival-cosh: 360.0ms (0.3% of total)
ival-sinh: 350.0ms (0.3% of total)
ival-hypot: 307.0ms (0.2% of total)
ival-tanh: 155.0ms (0.1% of total)
const: 0.0ms (0% of total)
Bogosity

rewrite3.7min (18.4%)

Memory
2 056.7MiB live, 187 738.9MiB allocated; 1.1min collecting garbage
Stop Event
2 614×iter-limit
805×node-limit
153×unsound
10×saturated
Counts
18 623 → 520 375

eval2.1min (10.5%)

Memory
3 572.9MiB live, 147 370.2MiB allocated; 45.6s collecting garbage
Compiler

Compiled 7 901 872 to 2 040 202 computations (74.2% saved)

series2.0min (9.7%)

Memory
4 522.2MiB live, 110 955.1MiB allocated; 48.1s collecting garbage
Stop Event
961×iter-limit
Counts
18 623 → 85 757
Calls

9189 calls:

TimeVariablePointExpression
4.6s
y
@inf
((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) x (* (+ y 1/2) (log y)) (+ y 1/2) y 1/2 (log y) z)
4.5s
t
@-inf
((+ (* (/ (- t z) (- t a)) y) x) (/ (- t z) (- t a)) (- t z) t z (- t a) a y x (+ x (* y (/ (- z t) (- a t)))) (+ x y) (+ x (* y (/ (- z t) (- a t)))) (* y (/ (- z t) (- a t))) (/ (- z t) (- a t)) (/ z a) (+ x (* y (/ (- z t) (- a t)))) (* y (/ (- z t) (- a t))) (/ (- z t) (- a t)) (- z t) (- a t) (+ x (/ 1 (/ (- t a) (* (- t z) y)))) (/ 1 (/ (- t a) (* (- t z) y))) 1 (/ (- t a) (* (- t z) y)) (* (- t z) y))
4.4s
x
@0
((+ (* (* (cos (- y (/ (* z t) 3))) (sqrt x)) 2) (/ a (* -3 b))) (* (cos (- y (/ (* z t) 3))) (sqrt x)) (cos (- y (/ (* z t) 3))) (cos y) y (sqrt x) x 2 (/ a (* -3 b)) a (* -3 b) -3 b (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ (* -1/3 a) b) (* -1/3 a) -1/3 (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* -2 (* x (* (cos (- y (* 1/3 (* t z)))) (sqrt (/ 1 x))))) -2 (* x (* (cos (- y (* 1/3 (* t z)))) (sqrt (/ 1 x)))) (* (cos (- y (* 1/3 (* t z)))) (sqrt (/ 1 x))) (cos (- y (* 1/3 (* t z)))) (- y (* 1/3 (* t z))) (* 1/3 (* t z)) 1/3 (* t z) t z (sqrt (/ 1 x)) (/ 1 x) 1 (- (* (* 2 (sqrt x)) (sin (+ (- (* 1/3 (* t z)) y) (* (PI) 1/2)))) (/ a (* b 3))) (* (* 2 (sqrt x)) (sin (+ (- (* 1/3 (* t z)) y) (* (PI) 1/2)))) (* 2 (sqrt x)) (sin (+ (- (* 1/3 (* t z)) y) (* (PI) 1/2))) (+ (- (* 1/3 (* t z)) y) (* (PI) 1/2)) (- (* 1/3 (* t z)) y) (* (PI) 1/2) (PI) 1/2 (/ a (* b 3)) (* b 3) 3 (- (* (* 2 (sqrt x)) (cos (/ (+ (* (* (* (* (* t t) z) z) (* t z)) -1/27) (* (* y y) y)) (+ (* y y) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3))))))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (/ (+ (* (* (* (* (* t t) z) z) (* t z)) -1/27) (* (* y y) y)) (+ (* y y) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3))))))) (cos (/ (+ (* (* (* (* (* t t) z) z) (* t z)) -1/27) (* (* y y) y)) (+ (* y y) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3)))))) (/ (+ (* (* (* (* (* t t) z) z) (* t z)) -1/27) (* (* y y) y)) (+ (* y y) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3))))) (+ (* (* (* (* (* t t) z) z) (* t z)) -1/27) (* (* y y) y)) (* (* (* (* t t) z) z) (* t z)) (* (* (* t t) z) z) (* (* t t) z) (* t t) -1/27 (* (* y y) y) (* y y) (+ (* y y) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3)))) (- (* (* (* t z) (* t z)) 1/9) (* y (* (* t z) -1/3))) (* (* (* t z) (* t z)) 1/9) (* (* t z) (* t z)) 1/9 (* y (* (* t z) -1/3)) (* (* t z) -1/3))
1.4s
t
@0
((* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (* y (- (log z) t)) y (- (log z) t) (log z) z t (* a (- (log (- 1 z)) b)) a (- (log (- 1 z)) b) (log (- 1 z)) (- 1 z) 1 b)
363.0ms
a
@0
((+ x (/ (* y (- z t)) a)) x (/ (* y (- z t)) a) (* y (- z t)) y (- z t) z t a)

regimes1.7min (8.3%)

Memory
1 082.5MiB live, 108 017.4MiB allocated; 29.7s collecting garbage
Counts
35 111 → 4 144
Calls

509 calls:

15.7s
x
14.0s
y
11.9s
z
6.7s
t
3.9s
a
Compiler

Compiled 31 582 to 53 824 computations (-70.4% saved)

preprocess1.5min (7.2%)

Memory
-3 136.6MiB live, 67 293.6MiB allocated; 32.1s collecting garbage
Stop Event
254×node-limit
15×saturated
Compiler

Compiled 128 139 to 106 415 computations (17% saved)

prune46.0s (3.8%)

Memory
-697.3MiB live, 53 246.2MiB allocated; 17.9s collecting garbage
Counts
539 699 → 13 012
Compiler

Compiled 479 108 to 417 303 computations (12.9% saved)

derivations43.6s (3.6%)

Memory
-1 322.9MiB live, 27 635.1MiB allocated; 12.0s collecting garbage
Stop Event
162×fuel
107×done
Compiler

Compiled 26 278 to 16 805 computations (36% saved)

bsearch36.2s (3%)

Memory
-277.8MiB live, 31 813.3MiB allocated; 12.1s collecting garbage
Algorithm
1 453×binary-search
839×left-value
Stop Event
1 414×narrow-enough
39×predicate-same
Samples
14.9s116 820×0valid
1.4s3 837×1valid
265.0ms2 483×0invalid
126.0ms545×1invalid
54.0ms128×2valid
4.0ms15×3valid
0.0ms2×1exit
Compiler

Compiled 578 880 to 586 043 computations (-1.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
ival-mult!: 4.4s (46.2% of total)
ival-sub!: 1.4s (15% of total)
ival-add!: 852.0ms (8.9% of total)
ival-div!: 807.0ms (8.4% of total)
ival-log: 699.0ms (7.3% of total)
adjust: 354.0ms (3.7% of total)
ival-sin: 324.0ms (3.4% of total)
ival-cos: 272.0ms (2.8% of total)
ival-exp: 264.0ms (2.8% of total)
ival-sqrt: 138.0ms (1.4% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-tanh: 4.0ms (0% of total)

analyze25.6s (2.1%)

Memory
31.9MiB live, 23 850.0MiB allocated; 9.2s collecting garbage
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

end36.0ms (0%)

Memory
-93.5MiB live, 4.8MiB allocated; 1ms collecting garbage

start12.0ms (0%)

Memory
19.0MiB live, 18.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...