Herbie run
| Date: | Thursday, April 17th, 2025 |
|---|---|
| Commit: | 1f1b1a03 on taylor-last-iteration |
| Seed: | 2025107 |
| 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: | 144 923.5 MB |
Time bar (total: 2.2min)
| 24.1s | 44 643× | 2 | valid |
| 15.8s | 96 922× | 1 | valid |
| 14.9s | 145 687× | 0 | invalid |
| 8.9s | 5 929× | 5 | exit |
| 5.7s | 86 030× | 0 | valid |
| 2.5s | 3 571× | 3 | valid |
| 316.0ms | 4 253× | 0 | exit |
| 134.0ms | 1 035× | 1 | exit |
| 113.0ms | 136× | 4 | exit |
| 5.0ms | 1× | 3 | exit |
| 2.0ms | 2× | 4 | valid |
ival-tan: 11.4s (19.3% of total)ival-pow: 9.0s (15.2% of total)adjust: 6.5s (11% of total)ival-mult!: 4.6s (7.7% of total)ival-cos: 3.7s (6.2% of total)ival-log: 3.4s (5.7% of total)ival-div!: 3.3s (5.6% of total)ival-sin: 3.2s (5.4% of total)ival-sub!: 2.0s (3.4% of total)ival-exp: 2.0s (3.3% of total)ival-add!: 1.9s (3.2% of total)ival-expm1: 1.7s (2.9% of total)ival-sqrt: 1.5s (2.6% of total)ival-log1p: 1.4s (2.3% of total)ival-fabs: 1.2s (2.1% of total)ival-<: 551.0ms (0.9% of total)ival-<=: 482.0ms (0.8% of total)ival-atan: 422.0ms (0.7% of total)ival-and: 336.0ms (0.6% of total)ival-cbrt: 294.0ms (0.5% of total)ival-neg: 272.0ms (0.5% of total)ival-assert: 70.0ms (0.1% of total)ival-fmin: 59.0ms (0.1% of total)ival->: 1.0ms (0% of total)exact: 0.0ms (0% of total)| 317× | iter-limit |
| 74× | node-limit |
| 31× | unsound |
Compiled 2 013 209 to 183 135 computations (90.9% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 4153 | 38 |
log.f64 | #f | sensitivity | 761 | 5 |
/.f64 | #f | u/u | 427 | 0 |
sqrt.f64 | #f | oflow-rescue | 374 | 0 |
+.f64 | #f | cancellation | 337 | 1 |
/.f64 | #f | u/n | 103 | 0 |
pow.f64 | (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) | sensitivity | 57 | 0 |
sqrt.f64 | #f | uflow-rescue | 34 | 0 |
/.f64 | (/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))) | n/u | 27 | 0 |
| ↳ | (*.f64 b eps) | underflow | 152 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 155 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 152 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 232 | |
| ↳ | (*.f64 a eps) | underflow | 155 | |
-.f64 | #f | nan-rescue | 22 | 0 |
/.f64 | (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x)) | n/o | 4 | 0 |
| ↳ | (*.f64 x x) | overflow | 60 | |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 2 | 0 |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 2 | 0 |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 2 | 0 |
exp.f64 | (exp.f64 (neg.f64 x)) | sensitivity | 1 | 1 |
/.f64 | (/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64))) | o/o | 1 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 1 | |
| ↳ | (exp.f64 x) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5180 | 23 |
| - | 141 | 1824 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5180 | 22 | 1 |
| - | 141 | 22 | 1802 |
| number | freq |
|---|---|
| 0 | 1847 |
| 1 | 4526 |
| 2 | 651 |
| 3 | 97 |
| 4 | 47 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.4s | 2 772× | 2 | valid |
| 1.1s | 6 060× | 1 | valid |
| 388.0ms | 5 282× | 0 | valid |
| 149.0ms | 222× | 3 | valid |
Compiled 2 154 to 763 computations (64.6% saved)
ival-tan: 643.0ms (26.2% of total)adjust: 292.0ms (11.9% of total)ival-cos: 246.0ms (10% of total)ival-log: 196.0ms (8% of total)ival-sub!: 165.0ms (6.7% of total)ival-div!: 147.0ms (6% of total)ival-exp: 146.0ms (5.9% of total)ival-sin: 144.0ms (5.9% of total)ival-pow: 109.0ms (4.4% of total)ival-mult!: 76.0ms (3.1% of total)ival-sqrt: 75.0ms (3.1% of total)ival-log1p: 61.0ms (2.5% of total)ival-cbrt: 49.0ms (2% of total)ival-add!: 47.0ms (1.9% of total)ival-atan: 24.0ms (1% of total)ival-expm1: 24.0ms (1% of total)ival-neg: 12.0ms (0.5% of total)| 24× | fuel |
| 4× | done |
Compiled 6 569 to 1 460 computations (77.8% saved)
| 26× | node-limit |
| 2× | saturated |
Compiled 17 910 to 5 682 computations (68.3% saved)
114 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 97.0ms | a | @ | inf | ((* (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b)))) (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (+ b a) b a eps (/ eps (- (exp (* a eps)) 1)) (- (exp (* a eps)) 1) (* a eps) (- (exp (* (* 3 eps) b)) 1) (* (* 3 eps) b) (* 3 eps) 3 (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b))) (+ (pow (exp b) (* 2 eps)) 1) (pow (exp b) (* 2 eps)) (exp b) (* 2 eps) 2 1 (exp (* eps b)) (* eps b) (/ (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1))) (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (- (exp (+ (* eps a) (* eps b))) 1) (+ (* eps a) (* eps b)) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1)) (- (exp (* b eps)) 1) (* b eps) (/ (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1)) (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (/ (* (* (+ b a) (- b a)) eps) (- b a)) (* (* (+ b a) (- b a)) eps) (* (+ b a) (- b a)) (- b a) (* (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1)) (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (pow (exp eps) b) -1) (pow (exp eps) b) (exp eps) -1 (pow (exp (* 2 b)) eps) (exp (* 2 b)) (* 2 b) (- (exp (* 3 (* b eps))) 1) (* 3 (* b eps)) (/ (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps) (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) (+ (pow a 3) (pow b 3)) (pow a 3) (pow b 3) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a))) (- (pow b 4) (pow (* (- a b) a) 2)) (pow b 4) 4 (pow (* (- a b) a) 2) (* (- a b) a) (- a b) (- (* b b) (* (- a b) a)) (* b b)) |
| 92.0ms | b | @ | -inf | ((* (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b)))) (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (+ b a) b a eps (/ eps (- (exp (* a eps)) 1)) (- (exp (* a eps)) 1) (* a eps) (- (exp (* (* 3 eps) b)) 1) (* (* 3 eps) b) (* 3 eps) 3 (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b))) (+ (pow (exp b) (* 2 eps)) 1) (pow (exp b) (* 2 eps)) (exp b) (* 2 eps) 2 1 (exp (* eps b)) (* eps b) (/ (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1))) (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (- (exp (+ (* eps a) (* eps b))) 1) (+ (* eps a) (* eps b)) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1)) (- (exp (* b eps)) 1) (* b eps) (/ (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1)) (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (/ (* (* (+ b a) (- b a)) eps) (- b a)) (* (* (+ b a) (- b a)) eps) (* (+ b a) (- b a)) (- b a) (* (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1)) (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (pow (exp eps) b) -1) (pow (exp eps) b) (exp eps) -1 (pow (exp (* 2 b)) eps) (exp (* 2 b)) (* 2 b) (- (exp (* 3 (* b eps))) 1) (* 3 (* b eps)) (/ (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps) (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) (+ (pow a 3) (pow b 3)) (pow a 3) (pow b 3) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a))) (- (pow b 4) (pow (* (- a b) a) 2)) (pow b 4) 4 (pow (* (- a b) a) 2) (* (- a b) a) (- a b) (- (* b b) (* (- a b) a)) (* b b)) |
| 92.0ms | x | @ | -inf | ((/ (- (- x -1) x) (+ (* (pow x 1/3) (+ (cbrt x) (cbrt (- x -1)))) (pow (cbrt (- x -1)) 2))) (- (- x -1) x) (- x -1) x -1 (+ (* (pow x 1/3) (+ (cbrt x) (cbrt (- x -1)))) (pow (cbrt (- x -1)) 2)) (pow x 1/3) 1/3 (+ (cbrt x) (cbrt (- x -1))) (cbrt x) (cbrt (- x -1)) (pow (cbrt (- x -1)) 2) 2 (- (cbrt (/ (+ (+ (* x x) x) (* (- x -1) -1)) (- x 1))) (cbrt x)) (cbrt (/ (+ (+ (* x x) x) (* (- x -1) -1)) (- x 1))) (/ (+ (+ (* x x) x) (* (- x -1) -1)) (- x 1)) (+ (+ (* x x) x) (* (- x -1) -1)) (+ (* x x) x) (* (- x -1) -1) (- x 1) 1 (- (/ (cbrt (- (pow x 3) -1)) (cbrt (+ (* x x) (- 1 x)))) (cbrt x)) (/ (cbrt (- (pow x 3) -1)) (cbrt (+ (* x x) (- 1 x)))) (cbrt (- (pow x 3) -1)) (- (pow x 3) -1) (pow x 3) 3 (cbrt (+ (* x x) (- 1 x))) (+ (* x x) (- 1 x)) (- 1 x) (- (* (cbrt (pow (cbrt (- x -1)) 2)) (exp (* (* 1/3 (log (+ 1 x))) 1/3))) (cbrt x)) (* (cbrt (pow (cbrt (- x -1)) 2)) (exp (* (* 1/3 (log (+ 1 x))) 1/3))) (cbrt (pow (cbrt (- x -1)) 2)) (exp (* (* 1/3 (log (+ 1 x))) 1/3)) (* (* 1/3 (log (+ 1 x))) 1/3) (* 1/3 (log (+ 1 x))) (log (+ 1 x)) (/ (- (/ (- (pow x 6) 1) (* (- (pow x 3) 1) (+ (* x x) (- 1 x)))) x) (+ (* (pow (pow x 1/6) 2) (+ (cbrt x) (cbrt (- x -1)))) (pow (cbrt (- x -1)) 2))) (- (/ (- (pow x 6) 1) (* (- (pow x 3) 1) (+ (* x x) (- 1 x)))) x) (/ (- (pow x 6) 1) (* (- (pow x 3) 1) (+ (* x x) (- 1 x)))) (- (pow x 6) 1) (pow x 6) 6 (* (- (pow x 3) 1) (+ (* x x) (- 1 x))) (- (pow x 3) 1) (+ (* (pow (pow x 1/6) 2) (+ (cbrt x) (cbrt (- x -1)))) (pow (cbrt (- x -1)) 2)) (pow (pow x 1/6) 2) (pow x 1/6) 1/6) |
| 67.0ms | c | @ | -inf | ((/ (+ (* a (/ (neg c) (sqrt (+ (* (neg c) a) (* b_2 b_2))))) (+ (* b_2 (/ b_2 (sqrt (+ (* (neg c) a) (* b_2 b_2))))) (neg b_2))) a) (+ (* a (/ (neg c) (sqrt (+ (* (neg c) a) (* b_2 b_2))))) (+ (* b_2 (/ b_2 (sqrt (+ (* (neg c) a) (* b_2 b_2))))) (neg b_2))) a (/ (neg c) (sqrt (+ (* (neg c) a) (* b_2 b_2)))) (neg c) c (sqrt (+ (* (neg c) a) (* b_2 b_2))) (+ (* (neg c) a) (* b_2 b_2)) (* b_2 b_2) b_2 (+ (* b_2 (/ b_2 (sqrt (+ (* (neg c) a) (* b_2 b_2))))) (neg b_2)) (/ b_2 (sqrt (+ (* (neg c) a) (* b_2 b_2)))) (neg b_2) (/ (- b_2 (sqrt (+ (* a (neg c)) (* b_2 b_2)))) a) (- b_2 (sqrt (+ (* a (neg c)) (* b_2 b_2)))) (sqrt (+ (* a (neg c)) (* b_2 b_2))) (+ (* a (neg c)) (* b_2 b_2)) (/ (+ (* (neg b_2) a) (sqrt (* (* a a) (+ (* a (neg c)) (* b_2 b_2))))) (* a a)) (+ (* (neg b_2) a) (sqrt (* (* a a) (+ (* a (neg c)) (* b_2 b_2))))) (sqrt (* (* a a) (+ (* a (neg c)) (* b_2 b_2)))) (* (* a a) (+ (* a (neg c)) (* b_2 b_2))) (* a a) (/ (/ (+ (* b_2 b_2) (+ (* a (neg c)) (* b_2 b_2))) a) (* a (/ (- (sqrt (+ (* a (neg c)) (* b_2 b_2))) b_2) a))) (/ (+ (* b_2 b_2) (+ (* a (neg c)) (* b_2 b_2))) a) (+ (* b_2 b_2) (+ (* a (neg c)) (* b_2 b_2))) (* a (/ (- (sqrt (+ (* a (neg c)) (* b_2 b_2))) b_2) a)) (/ (- (sqrt (+ (* a (neg c)) (* b_2 b_2))) b_2) a) (- (sqrt (+ (* a (neg c)) (* b_2 b_2))) b_2) (/ (/ (+ (* (/ b_2 a) b_2) (/ (+ (* (neg c) a) (* b_2 b_2)) a)) a) (- (/ (neg b_2) a) (/ (sqrt (+ (* (neg c) a) (* b_2 b_2))) a))) (/ (+ (* (/ b_2 a) b_2) (/ (+ (* (neg c) a) (* b_2 b_2)) a)) a) (+ (* (/ b_2 a) b_2) (/ (+ (* (neg c) a) (* b_2 b_2)) a)) (/ b_2 a) (/ (+ (* (neg c) a) (* b_2 b_2)) a) (- (/ (neg b_2) a) (/ (sqrt (+ (* (neg c) a) (* b_2 b_2))) a)) (/ (neg b_2) a) (/ (sqrt (+ (* (neg c) a) (* b_2 b_2))) a)) |
| 62.0ms | a | @ | -inf | ((* (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b)))) (/ (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (* 3 eps) b)) 1)) (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (- (exp (* (+ b a) eps)) 1) (* (+ b a) eps) (+ b a) b a eps (/ eps (- (exp (* a eps)) 1)) (- (exp (* a eps)) 1) (* a eps) (- (exp (* (* 3 eps) b)) 1) (* (* 3 eps) b) (* 3 eps) 3 (+ (+ (pow (exp b) (* 2 eps)) 1) (exp (* eps b))) (+ (pow (exp b) (* 2 eps)) 1) (pow (exp b) (* 2 eps)) (exp b) (* 2 eps) 2 1 (exp (* eps b)) (* eps b) (/ (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1))) (* (- (exp (+ (* eps a) (* eps b))) 1) eps) (- (exp (+ (* eps a) (* eps b))) 1) (+ (* eps a) (* eps b)) (* (- (exp (* b eps)) 1) (- (exp (* a eps)) 1)) (- (exp (* b eps)) 1) (* b eps) (/ (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1))) (/ (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (- (exp (* b eps)) 1)) (- (exp (/ (* (* (+ b a) (- b a)) eps) (- b a))) 1) (/ (* (* (+ b a) (- b a)) eps) (- b a)) (* (* (+ b a) (- b a)) eps) (* (+ b a) (- b a)) (- b a) (* (* (- (exp (* (+ b a) eps)) 1) (/ eps (- (exp (* a eps)) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1))) (/ (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (exp (* 3 (* b eps))) 1)) (+ (- (pow (exp eps) b) -1) (pow (exp (* 2 b)) eps)) (- (pow (exp eps) b) -1) (pow (exp eps) b) (exp eps) -1 (pow (exp (* 2 b)) eps) (exp (* 2 b)) (* 2 b) (- (exp (* 3 (* b eps))) 1) (* 3 (* b eps)) (/ (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (- (exp (* a eps)) 1)) (* eps (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1))) (/ (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (- (exp (* b eps)) 1)) (- (exp (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps)) 1) (* (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) eps) (/ (+ (pow a 3) (pow b 3)) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a)))) (+ (pow a 3) (pow b 3)) (pow a 3) (pow b 3) (/ (- (pow b 4) (pow (* (- a b) a) 2)) (- (* b b) (* (- a b) a))) (- (pow b 4) (pow (* (- a b) a) 2)) (pow b 4) 4 (pow (* (- a b) a) 2) (* (- a b) a) (- a b) (- (* b b) (* (- a b) a)) (* b b)) |
Compiled 101 584 to 43 101 computations (57.6% saved)
43 calls:
| 422.0ms | x |
| 123.0ms | eps |
| 120.0ms | c |
| 105.0ms | (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) |
| 96.0ms | a |
Compiled 1 440 to 1 319 computations (8.4% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
Compiled 483 to 337 computations (30.2% saved)
| 72× | binary-search |
| 7× | left-value |
| 68× | narrow-enough |
| 4× | predicate-same |
| 306.0ms | 4 206× | 0 | valid |
| 148.0ms | 1 155× | 1 | valid |
| 144.0ms | 559× | 2 | valid |
| 79.0ms | 1 105× | 0 | invalid |
| 3.0ms | 16× | 3 | valid |
Compiled 33 639 to 21 839 computations (35.1% saved)
ival-mult!: 107.0ms (22.3% of total)ival-pow: 104.0ms (21.7% of total)ival-div!: 76.0ms (15.8% of total)ival-sqrt: 61.0ms (12.7% of total)adjust: 47.0ms (9.8% of total)ival-sub!: 29.0ms (6% of total)ival-neg: 26.0ms (5.4% of total)ival-add!: 15.0ms (3.1% of total)ival-cos: 6.0ms (1.3% of total)ival-expm1: 4.0ms (0.8% of total)ival-cbrt: 3.0ms (0.6% of total)Loading profile data...