Herbie run

Date:Saturday, January 18th, 2025
Commit:75912f41 on no-localize
Seed:2025018
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:234 416.3 MB

Time bar (total: 3.4min)

sample1.4min (40.2%)

Memory
971.5MiB live, 96 930.6MiB allocated; 33.8s collecting garbage
Samples
33.6s284 679×0valid
15.9s44 247×1valid
8.5s17 420×2valid
380.0ms4 296×0invalid
330.0ms1 005×0exit
238.0ms406×3valid
192.0ms202×5exit
Precisions
Click to see histograms. Total time spent on operations: 44.5s
ival-mult: 9.5s (21.4% of total)
adjust: 4.6s (10.3% of total)
ival-add: 4.3s (9.7% of total)
ival-pow: 4.3s (9.7% of total)
ival-div: 4.2s (9.4% of total)
const: 3.4s (7.6% of total)
ival-sub: 3.2s (7.2% of total)
ival-<=: 2.8s (6.3% of total)
ival-sin: 1.9s (4.3% of total)
ival-cos: 1.8s (4.2% of total)
ival-neg: 804.0ms (1.8% of total)
exact: 714.0ms (1.6% of total)
ival-exp: 500.0ms (1.1% of total)
ival-expm1: 482.0ms (1.1% of total)
ival-sqrt: 429.0ms (1% of total)
ival-and: 378.0ms (0.8% of total)
ival-pow2: 304.0ms (0.7% of total)
ival-==: 198.0ms (0.4% of total)
ival-assert: 138.0ms (0.3% of total)
ival-true: 138.0ms (0.3% of total)
ival-tan: 96.0ms (0.2% of total)
ival-atan: 91.0ms (0.2% of total)
ival-log1p: 80.0ms (0.2% of total)
ival-<: 63.0ms (0.1% of total)
ival-pi: 63.0ms (0.1% of total)
ival-hypot: 26.0ms (0.1% of total)
ival-if: 6.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

simplify32.2s (15.9%)

Memory
593.3MiB live, 34 296.8MiB allocated; 7.6s collecting garbage
Stop Event
175×node limit
149×iter limit
18×saturated
1×unsound
Counts
17 619 → 17 619

rewrite18.5s (9.1%)

Memory
-517.5MiB live, 17 738.5MiB allocated; 6.7s collecting garbage
Stop Event
442×iter limit
116×node limit
30×unsound
9×saturated
Counts
3 414 → 40 403

derivations13.1s (6.5%)

Memory
-259.4MiB live, 10 162.9MiB allocated; 1.9s collecting garbage
Stop Event
22×fuel
20×done
Compiler

Compiled 30 870 to 2 845 computations (90.8% saved)

eval12.1s (6%)

Memory
116.8MiB live, 16 778.3MiB allocated; 4.1s collecting garbage
Compiler

Compiled 3 558 160 to 274 391 computations (92.3% saved)

explain10.0s (4.9%)

Memory
-151.0MiB live, 13 036.1MiB allocated; 2.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation12971
+.f64#fcancellation37181
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
sqrt.f64#foflow-rescue1980
/.f64#fo/o1780
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1771
/.f64#fn/o1640
-.f64#fnan-rescue1080
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1070
/.f64#fu/n790
/.f64#fo/n540
+.f64#fnan-rescue500
/.f64#fu/u430
/.f64#fn/u410
*.f64#fn*u360
*.f64#fn*o270
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow35
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue80
Confusion
Predicted +Predicted -
+3875211
-1076559
Precision
0.9731290808638875
Recall
0.9483602545276554
Confusion?
Predicted +Predicted MaybePredicted -
+387514863
-1071916368
Precision?
0.9310344827586207
Recall?
0.9845814977973568
Freqs
test
numberfreq
06770
13548
2392
341
41
Total Confusion?
Predicted +Predicted MaybePredicted -
+3010
-209
Precision?
0.9393939393939394
Recall?
1.0
Samples
1.6s16 392×0valid
1.4s3 678×1valid
553.0ms1 382×2valid
72.0ms52×3valid
Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 582.0ms (22.8% of total)
adjust: 472.0ms (18.5% of total)
ival-add: 340.0ms (13.3% of total)
ival-sub: 258.0ms (10.1% of total)
ival-pow: 255.0ms (10% of total)
ival-div: 212.0ms (8.3% of total)
ival-sin: 112.0ms (4.4% of total)
ival-cos: 80.0ms (3.1% of total)
ival-exp: 75.0ms (2.9% of total)
const: 44.0ms (1.7% of total)
ival-sqrt: 24.0ms (0.9% of total)
exact: 20.0ms (0.8% of total)
ival-neg: 19.0ms (0.7% of total)
ival-true: 18.0ms (0.7% of total)
ival-pow2: 17.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.0s (4.9%)

Memory
796.7MiB live, 11 070.4MiB allocated; 2.0s collecting garbage
Stop Event
84×iter limit
62×node limit
22×saturated
Compiler

Compiled 67 207 to 8 958 computations (86.7% saved)

regimes6.7s (3.3%)

Memory
89.2MiB live, 9 381.1MiB allocated; 1.3s collecting garbage
Counts
5 719 → 613
Calls

96 calls:

786.0ms
x
273.0ms
x1
271.0ms
b
255.0ms
c
227.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
Compiler

Compiled 9 598 to 6 236 computations (35% saved)

prune6.3s (3.1%)

Memory
69.3MiB live, 9 400.0MiB allocated; 1.7s collecting garbage
Counts
65 920 → 2 024
Compiler

Compiled 172 607 to 71 785 computations (58.4% saved)

series5.0s (2.5%)

Memory
-247.5MiB live, 6 522.8MiB allocated; 1.2s collecting garbage
Counts
3 414 → 17 619
Calls

876 calls:

TimeVariablePointExpression
137.0ms
x2
@0
((+ x1 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (* 2 x1)) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)))) x1 (+ (* (* x1 x1) x1) (+ (+ (* (+ (* (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (* 2 x1)) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1))) (* x1 x1) (+ (+ (* (+ (* (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (* 2 x1)) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1)) (+ (* (+ (* (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (* 2 x1)) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1))) (+ (* x1 x1) 1)) (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1))) (+ (* (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (* 2 x1)) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1))) (* (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x2 2) (* (* 3 x1) x1)) x2 2 (* (* 3 x1) x1) (* 3 x1) 3 (+ (* x1 x1) 1) 1 (* 2 x1) (* (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (* x1 x1)) (- (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) 6) (/ (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) (+ (* x1 x1) 1)) (* 4 (- (+ (* x2 2) (* (* 3 x1) x1)) x1)) 4 6 (* (/ (- (+ (* x2 2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (* (* 3 x1) x1)) (+ (* (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) 3) x1) (/ (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* x1 x1) 1)) (- (+ (* -2 x2) (* (* 3 x1) x1)) x1) (+ (* -2 x2) (* (* 3 x1) x1)) -2 (+ 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) -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))))) (+ (+ (+ (+ (* (+ (* (* (* 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)))) (+ (* (+ (* (* 4 x2) (+ (* 2 x2) -3)) (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) x1) -2)) x1) (* -6 x2)) (+ (* (* 4 x2) (+ (* 2 x2) -3)) (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) x1) -2)) (* 4 x2) (+ (* 2 x2) -3) -3 (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) x1) -2) (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6)) (+ (* -2 x2) (neg (+ (* 2 x2) -3))) (neg (+ (* 2 x2) -3)) (- (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) 6) (+ (* (- 3 (* -2 x2)) 3) (* x2 14)) (- 3 (* -2 x2)) (* -2 x2) (* x2 14) 14 (+ 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 x2) -3) 4) 9) x1) -1) 3) x1) -1) 6) (pow x1 4)) (+ (* (/ (+ (* (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1) -1) 3) x1) -1) 6) (/ (+ (* (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1) -1) 3) x1) (+ (* (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1) -1) 3) (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1) (+ (* (+ (* 2 x2) -3) 4) 9) 9 -1 (pow x1 4) (+ 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 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) x1) -1) 4) x1) -1) 6) (* x1 x1)) (+ (* (/ (+ (* (/ (+ (* (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) x1) -1) 4) x1) -1) 6) (/ (+ (* (/ (+ (* (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) x1) -1) 4) x1) (+ (* (/ (+ (* (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) x1) -1) 4) (/ (+ (* (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) x1) (+ (* (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) -1) (+ (* (+ (* 2 x2) -3) 4) -6)) (/ (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) x1) (+ (* (+ (* (+ (* 2 x2) -3) 3) 1) -2) -4) (+ (* (+ (* 2 x2) -3) 3) 1) -4 (+ (* (+ (* 2 x2) -3) 4) -6) (+ (* x1 x1) 1) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* (* 3 x1) x1) (* 2 x2)) (* 2 x2) (* (* x1 x1) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* 3 x1) x1) (* 2 x2)))
73.0ms
b
@inf
((/ (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (+ a a)) (+ (sqrt (+ (* (* -4 a) c) (* b b))) (neg b)) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) b (neg b) (+ a a) (/ (+ (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (* 2 a))) (/ (neg b) a) (/ (+ (* (neg b) (* 2 a)) (* (* 2 a) (sqrt (+ (* (* -4 a) c) (* b b))))) (* (* 2 a) (* 2 a))) (* (+ (* (/ c (* b b)) -1) (/ 1 a)) (neg b)) (+ (* (/ c (* b b)) -1) (/ 1 a)) (/ c (* b b)) -1 (/ 1 a) 1 (/ (- (+ (* c (* a -4)) (* b b)) (* b b)) (* (- (sqrt (+ (* c (* a -4)) (* b b))) (neg b)) (* 2 a))) (- (+ (* c (* a -4)) (* b b)) (* b b)) (+ (* c (* a -4)) (* b b)) (* a -4) (* (- (sqrt (+ (* c (* a -4)) (* b b))) (neg b)) (* 2 a)) (- (sqrt (+ (* c (* a -4)) (* b b))) (neg b)) (sqrt (+ (* c (* a -4)) (* b b))) (* 2 a) 2 (/ (+ (pow (exp 1/2) (log (+ (* c (* a -4)) (* b b)))) (neg b)) (* 2 a)) (+ (pow (exp 1/2) (log (+ (* c (* a -4)) (* b b)))) (neg b)) (pow (exp 1/2) (log (+ (* c (* a -4)) (* b b)))) (exp 1/2) 1/2 (log (+ (* c (* a -4)) (* b b))))
65.0ms
x
@inf
((/ eps (+ (sqrt (- (* x x) eps)) x)) eps (+ (sqrt (- (* x x) eps)) x) (sqrt (- (* x x) eps)) (- (* x x) eps) (* x x) x (/ (- (* x x) (- (* x x) eps)) (+ (sqrt (- (* x x) eps)) x)) (* (/ eps x) 1/2) (/ eps x) 1/2 (/ (- (* x x) (- (* x x) eps)) (+ (sqrt (- (* x x) eps)) x)) (- (* x x) (- (* x x) eps)) (+ (sqrt (- (* x x) eps)) x) (sqrt (- (* x x) eps)) (- (* x x) eps) (neg eps) (/ (+ (* (neg eps) (+ (sqrt (- (* x x) eps)) x)) (* (neg (+ (sqrt (- (* x x) eps)) x)) 0)) (* (neg (+ (sqrt (- (* x x) eps)) x)) (+ (sqrt (- (* x x) eps)) x))) (+ (* (neg eps) (+ (sqrt (- (* x x) eps)) x)) (* (neg (+ (sqrt (- (* x x) eps)) x)) 0)) (* (neg (+ (sqrt (- (* x x) eps)) x)) 0) (neg (+ (sqrt (- (* x x) eps)) x)) 0 (* (neg (+ (sqrt (- (* x x) eps)) x)) (+ (sqrt (- (* x x) eps)) x)) (+ (- (/ (* x x) (+ (sqrt (- (* x x) eps)) x)) (/ (* x x) (+ (sqrt (- (* x x) eps)) x))) (/ eps (+ (sqrt (- (* x x) eps)) x))) (- (/ (* x x) (+ (sqrt (- (* x x) eps)) x)) (/ (* x x) (+ (sqrt (- (* x x) eps)) x))) (/ (* x x) (+ (sqrt (- (* x x) eps)) x)) (/ eps (+ (sqrt (- (* x x) eps)) x)) (+ (sqrt (- (* x x) eps)) x) (* (+ (* (/ (* eps eps) (pow x 4)) -1/8) (+ (* (/ eps (* x x)) -1/2) 2)) x) (+ (* (/ (* eps eps) (pow x 4)) -1/8) (+ (* (/ eps (* x x)) -1/2) 2)) (/ (* eps eps) (pow x 4)) (* eps eps) (pow x 4) 4 -1/8 (+ (* (/ eps (* x x)) -1/2) 2) (/ eps (* x x)) -1/2 2)
61.0ms
a
@-inf
((/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (+ (* a c) (* b d)) (* a c) a c (* b d) b d (+ (* c c) (* d d)) (* c c) (* d d))
57.0ms
b
@inf
((/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) b (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a c (* 2 a) 2)

analyze4.1s (2%)

Memory
95.9MiB live, 6 006.8MiB allocated; 1.2s 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)

bsearch3.2s (1.6%)

Memory
149.2MiB live, 3 084.3MiB allocated; 523ms collecting garbage
Algorithm
219×binary-search
85×left-value
Stop Event
205×narrow-enough
14×predicate-same
Samples
1.3s10 174×0valid
286.0ms542×2valid
273.0ms1 223×1valid
89.0ms1 265×0invalid
12.0ms13×3valid
4.0ms37×0exit
Compiler

Compiled 188 012 to 92 601 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 394.0ms (28.3% of total)
ival-pow: 274.0ms (19.7% of total)
ival-div: 198.0ms (14.2% of total)
ival-sub: 163.0ms (11.7% of total)
ival-add: 146.0ms (10.5% of total)
adjust: 83.0ms (6% of total)
ival-neg: 57.0ms (4.1% of total)
ival-exp: 33.0ms (2.4% of total)
ival-sqrt: 12.0ms (0.9% of total)
exact: 12.0ms (0.9% of total)
ival-true: 9.0ms (0.6% of total)
ival-assert: 5.0ms (0.4% of total)
const: 3.0ms (0.2% of total)
ival-expm1: 2.0ms (0.1% of total)
ival-pi: 1.0ms (0.1% of total)

start3.0ms (0%)

Memory
6.9MiB live, 6.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...