Herbie run

Date:Thursday, March 6th, 2025
Commit:4b6bc306 on chassis-platforms-cleanup
Seed:2025065
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:32 671.9 MB

Time bar (total: 32.9s)

sample10.6s (32.3%)

Memory
239.0MiB live, 11 153.5MiB allocated; 4.9s collecting garbage
Samples
5.9s70 169×0valid
1.2s4 126×2valid
210.0ms1 972×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-mult: 1.1s (23.4% of total)
ival-div: 1.1s (22.9% of total)
ival-sub: 1.1s (22.6% of total)
ival-sqrt: 345.0ms (7.4% of total)
ival-neg: 241.0ms (5.2% of total)
ival-add: 232.0ms (5% of total)
ival-log: 172.0ms (3.7% of total)
adjust: 164.0ms (3.5% of total)
ival-fabs: 125.0ms (2.7% of total)
ival-exp: 76.0ms (1.6% of total)
exact: 61.0ms (1.3% of total)
ival-assert: 26.0ms (0.6% of total)
ival-if: 7.0ms (0.2% of total)
ival->=: 3.0ms (0.1% of total)
Bogosity

prune6.6s (20%)

Memory
-26.8MiB live, 6 565.2MiB allocated; 773ms collecting garbage
Counts
13 288 → 121
Compiler

Compiled 15 480 to 6 666 computations (56.9% saved)

rewrite5.4s (16.4%)

Memory
-11.1MiB live, 4 713.7MiB allocated; 963ms collecting garbage
Stop Event
54×iter limit
20×node limit
2×unsound
Counts
7 529 → 9 221

eval2.8s (8.5%)

Memory
68.8MiB live, 2 885.0MiB allocated; 1.2s collecting garbage
Compiler

Compiled 1 579 087 to 70 323 computations (95.5% saved)

preprocess2.0s (6.2%)

Memory
37.4MiB live, 1 929.1MiB allocated; 265ms collecting garbage
Stop Event
18×iter limit
16×node limit
2×saturated
Compiler

Compiled 5 423 to 1 246 computations (77% saved)

series1.8s (5.4%)

Memory
43.3MiB live, 1 923.3MiB allocated; 266ms collecting garbage
Counts
713 → 6 816
Calls

135 calls:

TimeVariablePointExpression
65.0ms
c
@inf
((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* -1 b) -1 (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b)) (* (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) 1/2)) (/ (* -2 c) (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b)) (* -2 c) -2 (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) (pow b 1) 1 (* -4 (* a c)) -4 (* a c) -1/2 (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1) (* (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) 1/2) (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) 1/2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (- (/ (* -1 (* a c)) (* (* b b) b)) (pow b -1)) c) (- (/ (* -1 (* a c)) (* (* b b) b)) (pow b -1)) (/ (* -1 (* a c)) (* (* b b) b)) (* -1 (* a c)) (* (* b b) b) (pow b -1) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (* 2 a))) (/ (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (* 2 a)) (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2) 3/2 (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)))) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))) (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)))
55.0ms
b
@0
((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg 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 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* (* (+ (* (* a (/ c (* b b))) -2) 1) b) -1) (* (+ (* (* a (/ c (* b b))) -2) 1) b) (+ (* (* a (/ c (* b b))) -2) 1) (* c (+ (* -2 (/ a (* b b))) (pow c -1))) (+ (* -2 (/ a (* b b))) (pow c -1)) -2 (/ a (* b b)) (pow c -1) -1 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* (/ (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) a) 1/2) (/ (* 2 c) (/ (+ (pow (* -1 b) 3) (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 3)) (+ (* (* -1 b) (* -1 b)) (- (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2))))))) (* (/ (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) a) 1/2) (/ (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) a) (- (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2) (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) (pow b 1) 1 (* -4 (* c a)) -4 (* c a) 1/2 (/ (* 2 c) (/ (+ (pow (* -1 b) 3) (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 3)) (+ (* (* -1 b) (* -1 b)) (- (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2)))))) (/ (+ (pow (* -1 b) 3) (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 3)) (+ (* (* -1 b) (* -1 b)) (- (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2))))) (+ (pow (* -1 b) 3) (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 3)) (pow (* -1 b) 3) 3 (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 3) (pow (+ (* b b) (* -4 (* c a))) 1/2) (+ (* b b) (* -4 (* c a))) (+ (* (* -1 b) (* -1 b)) (- (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2)))) (- (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2))) (pow (pow (+ (* b b) (* -4 (* c a))) 1/2) 2) (* (* -1 b) (pow (+ (* b b) (* -4 (* c a))) 1/2)) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2))))))) (if (>= b 0) (* 1/2 (/ (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)) a)) (* 2 (/ (* c (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))) (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b)))))) (* 1/2 (/ (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)) a)) (/ (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)) a) (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)) (pow (- (* b b) (* 4 (* a c))) 1/2) (- (* b b) (* 4 (* a c))) (* 4 (* a c)) (* a c) (* 2 (/ (* c (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))) (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))))) (/ (* c (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))) (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b)))) (* c (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))) (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)))) (+ (* -4 (* a c)) (* 2 (* b b))) (* 2 (* b b)) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)) (pow (+ (* -4 (* a c)) (* b b)) 1/2) (+ (* -4 (* a c)) (* b b)) (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))) (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (pow (+ (* -4 (* a c)) (* b b)) 3) (* -1 (* (* b b) b)) (* (* b b) b) (if (>= b 0) (/ (/ (- (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 3/2)) (+ (* (pow b 1) (pow b 1)) (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* c a))) 1/2))))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (if (>= b 0) (* 1/2 (/ (- (* -1 (* (* b b) b)) (pow (+ (* -4 (* a c)) (* b b)) 3/2)) (* a (+ (* -4 (* a c)) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b))))))) (* 2 (/ c (- (pow (- (* b b) (* 4 (* a c))) 1/2) b)))) (* 1/2 (/ (- (* -1 (* (* b b) b)) (pow (+ (* -4 (* a c)) (* b b)) 3/2)) (* a (+ (* -4 (* a c)) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b))))))) (/ (- (* -1 (* (* b b) b)) (pow (+ (* -4 (* a c)) (* b b)) 3/2)) (* a (+ (* -4 (* a c)) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b)))))) (- (* -1 (* (* b b) b)) (pow (+ (* -4 (* a c)) (* b b)) 3/2)) (pow (+ (* -4 (* a c)) (* b b)) 3/2) 3/2 (* a (+ (* -4 (* a c)) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b))))) (+ (* -4 (* a c)) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b)))) (+ (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* 2 (* b b))) (* 2 (/ c (- (pow (- (* b b) (* 4 (* a c))) 1/2) b))) (/ c (- (pow (- (* b b) (* 4 (* a c))) 1/2) b)) (- (pow (- (* b b) (* 4 (* a c))) 1/2) b) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* (+ (* (* a (/ c (exp (* (log b) 2)))) -2) 1) b) (+ (* (* a (/ c (exp (* (log b) 2)))) -2) 1) (* a (/ c (exp (* (log b) 2)))) (/ c (exp (* (log b) 2))) (exp (* (log b) 2)) (* (log b) 2) (log b) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
49.0ms
x
@-inf
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (+ (* (log x) -1) (* (+ (* (* (+ (* -1/3 x) -1/2) x) 1) -1) x)) (log x) x -1 (* (+ (* (* (+ (* -1/3 x) -1/2) x) 1) -1) x) (+ (* (* (+ (* -1/3 x) -1/2) x) 1) -1) (* (+ (* -1/3 x) -1/2) x) (+ (* -1/3 x) -1/2) -1/3 -1/2 1)
43.0ms
a
@inf
((if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (>= b 0) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* -1 b) -1 (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b)) (* (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) 1/2)) (/ (* -2 c) (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b)) (* -2 c) -2 (+ (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1)) b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) -1/2) (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) (pow b 1) 1 (* -4 (* a c)) -4 (* a c) -1/2 (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1) (* (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) 1/2) (/ (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) a) (- (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) 1/2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (- (/ (* -1 (* a c)) (* (* b b) b)) (pow b -1)) c) (- (/ (* -1 (* a c)) (* (* b b) b)) (pow b -1)) (/ (* -1 (* a c)) (* (* b b) b)) (* -1 (* a c)) (* (* b b) b) (pow b -1) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* a (/ c b)) (/ c b) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (* 2 a))) (/ (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (* 2 a)) (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2) 3/2 (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)))) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))) (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)))
40.0ms
c
@0
((if (>= (pow b 1) 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (/ (* -1 b) (* a 2)) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (* a 2)))) (>= (pow b 1) 0) (pow b 1) b 0 (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) 2 c (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a (+ (/ (* -1 b) (* a 2)) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (* a 2))) (/ (* -1 b) (* a 2)) (* -1 b) -1 (* a 2) (/ (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (* a 2)) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) (pow b 1) 1 (* -4 (* a c)) -4 (* a c) 1/2 (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (* (* (* b b) b) -1) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 3/2)) (+ (* (pow b 1) (pow b 1)) (- (* (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2)) (* (* -1 b) (pow (+ (* (pow b 1) (pow b 1)) (* -4 (* a c))) 1/2))))) (* 2 a))) (if (>= b 0) (* 2 (/ c (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)))) (* 1/2 (/ (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))) (* a (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)))))))) (>= b 0) (* 2 (/ c (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)))) (/ c (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2))) (- (* -1 b) (pow (- (* b b) (* 4 (* a c))) 1/2)) (pow (- (* b b) (* 4 (* a c))) 1/2) (- (* b b) (* 4 (* a c))) (* 4 (* a c)) (* 1/2 (/ (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))) (* a (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))))) (/ (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))) (* a (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)))))) (+ (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (* -1 (* (* b b) b))) (pow (pow (+ (* -4 (* a c)) (* b b)) 3) 1/2) (pow (+ (* -4 (* a c)) (* b b)) 3) (+ (* -4 (* a c)) (* b b)) 3 (* -1 (* (* b b) b)) (* (* b b) b) (* a (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))))) (- (+ (* -4 (* a c)) (* 2 (* b b))) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)))) (+ (* -4 (* a c)) (* 2 (* b b))) (* 2 (* b b)) (* -1 (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2))) (* b (pow (+ (* -4 (* a c)) (* b b)) 1/2)) (pow (+ (* -4 (* a c)) (* b b)) 1/2) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (* 2 a) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (+ (* (* a (/ c b)) -2) b) (* c (/ (+ (pow (* -2 (/ a b)) 3) (pow (/ b c) 3)) (+ (* (* -2 (/ a b)) (* -2 (/ a b))) (- (* (/ b c) (/ b c)) (* (* -2 (/ a b)) (/ b c)))))) (/ (+ (pow (* -2 (/ a b)) 3) (pow (/ b c) 3)) (+ (* (* -2 (/ a b)) (* -2 (/ a b))) (- (* (/ b c) (/ b c)) (* (* -2 (/ a b)) (/ b c))))) (+ (pow (* -2 (/ a b)) 3) (pow (/ b c) 3)) (pow (* -2 (/ a b)) 3) (* -2 (/ a b)) -2 (/ a b) (pow (/ b c) 3) (/ b c) (+ (* (* -2 (/ a b)) (* -2 (/ a b))) (- (* (/ b c) (/ b c)) (* (* -2 (/ a b)) (/ b c)))) (* (* -2 (/ a b)) (* -2 (/ a b))) (- (* (/ b c) (/ b c)) (* (* -2 (/ a b)) (/ b c))) (* (/ b c) (/ b c)) (* (* -2 (/ a b)) (/ b c)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (/ (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3)) (+ (* (fabs b) (fabs b)) (- (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))) (* 2 a))) (/ (/ (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3)) (+ (* (fabs b) (fabs b)) (- (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))) (* 2 a)) (/ (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3)) (+ (* (fabs b) (fabs b)) (- (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))) (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3)) (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4 a) c))) 3) (+ (* (fabs b) (fabs b)) (- (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (fabs b) (- (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))

explain1.5s (4.6%)

Memory
58.8MiB live, 1 791.3MiB allocated; 216ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2610
-.f64#fcancellation1150
+.f64#fcancellation1140
sqrt.f64#fuflow-rescue780
/.f64#fu/n260
/.f64#fn/u210
-.f64#fnan-rescue130
*.f64#fn*o120
*.f64(*.f64 (/.f64 x y) z)n*u60
log.f64(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))oflow-rescue10
↳(/.f64 #s(literal 1 binary64) x)overflow1
↳(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+29716
-2251766
Precision
0.5689655172413793
Recall
0.9488817891373802
Confusion?
Predicted +Predicted MaybePredicted -
+297016
-22501766
Precision?
0.5689655172413793
Recall?
0.9488817891373802
Freqs
test
numberfreq
01782
1403
2113
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
389.0ms3 694×0valid
158.0ms558×2valid
73.0ms306×1valid
22.0ms50×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 445.0ms
ival-sub: 139.0ms (31.2% of total)
ival-mult: 66.0ms (14.8% of total)
ival-div: 57.0ms (12.8% of total)
adjust: 52.0ms (11.7% of total)
ival-add: 52.0ms (11.7% of total)
ival-sqrt: 29.0ms (6.5% of total)
ival-neg: 13.0ms (2.9% of total)
ival-if: 9.0ms (2% of total)
ival-exp: 5.0ms (1.1% of total)
ival-fabs: 5.0ms (1.1% of total)
ival-log: 5.0ms (1.1% of total)
ival-true: 4.0ms (0.9% of total)
exact: 4.0ms (0.9% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.4% of total)

derivations590.0ms (1.8%)

Memory
-24.9MiB live, 341.2MiB allocated; 105ms collecting garbage
Stop Event
7×done
2×fuel
Compiler

Compiled 2 321 to 398 computations (82.9% saved)

analyze572.0ms (1.7%)

Memory
2.3MiB live, 681.1MiB allocated; 335ms collecting garbage
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
66.4%56.2%28.4%0.1%0%15.3%0%5
74%62.1%21.8%0.1%0%16%0%6
77.6%63.8%18.4%0.1%0%17.7%0%7
79.3%65%17%0.1%0%17.9%0%8
85%69.2%12.2%0.1%0%18.5%0%9
86.8%69.7%10.6%0.1%0%19.6%0%10
88.7%71.1%9.1%0.1%0%19.8%0%11
91.6%72.9%6.7%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

simplify503.0ms (1.5%)

Memory
34.7MiB live, 312.6MiB allocated; 28ms collecting garbage
Stop Event
8×node limit
1×saturated

bsearch278.0ms (0.8%)

Memory
-94.7MiB live, 152.4MiB allocated; 41ms collecting garbage
Algorithm
15×binary-search
4×left-value
Stop Event
11×narrow-enough
4×predicate-same
Samples
80.0ms832×0valid
70.0ms134×0invalid
42.0ms112×2valid
Compiler

Compiled 13 692 to 7 169 computations (47.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 162.0ms
ival->=: 61.0ms (37.7% of total)
ival-div: 29.0ms (17.9% of total)
ival-mult: 28.0ms (17.3% of total)
ival-sub: 18.0ms (11.1% of total)
ival-sqrt: 7.0ms (4.3% of total)
adjust: 4.0ms (2.5% of total)
ival-add: 4.0ms (2.5% of total)
ival-neg: 4.0ms (2.5% of total)
ival-if: 3.0ms (1.9% of total)
ival-true: 1.0ms (0.6% of total)
exact: 1.0ms (0.6% of total)
ival-assert: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)

regimes158.0ms (0.5%)

Memory
38.4MiB live, 222.5MiB allocated; 10ms collecting garbage
Counts
119 → 41
Calls

23 calls:

28.0ms
b
17.0ms
a
17.0ms
c
13.0ms
x
11.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))
Compiler

Compiled 553 to 421 computations (23.9% saved)

start24.0ms (0.1%)

Memory
-40.3MiB live, 1.0MiB allocated; 10ms collecting garbage

end0.0ms (0%)

Memory
0.1MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...