Herbie run
| Date: | Sunday, March 30th, 2025 |
|---|---|
| Commit: | ec2f6e34 on autofix-22-1 |
| Seed: | 2025089 |
| 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: | 270 629.0 MB |
Time bar (total: 3.4min)
| 34.6s | 433 828× | 0 | valid |
| 7.1s | 21 628× | 1 | valid |
| 2.2s | 5 964× | 2 | valid |
| 1.5s | 8 078× | 0 | exit |
| 1.1s | 4 351× | 0 | invalid |
| 611.0ms | 406× | 5 | exit |
| 255.0ms | 929× | 3 | valid |
ival-mult!: 9.1s (28% of total)ival-exp: 3.9s (12% of total)ival-hypot: 3.1s (9.6% of total)ival-div!: 3.1s (9.6% of total)ival-add!: 2.4s (7.4% of total)ival-sub!: 2.0s (6.1% of total)ival-log: 1.7s (5.1% of total)adjust: 1.3s (4% of total)ival-cos: 1.1s (3.4% of total)ival-sin: 989.0ms (3% of total)ival-atan2: 865.0ms (2.7% of total)ival-asin: 476.0ms (1.5% of total)ival-sqrt: 369.0ms (1.1% of total)ival-sinu: 358.0ms (1.1% of total)ival-acosh: 354.0ms (1.1% of total)ival-pow: 277.0ms (0.8% of total)ival-neg: 270.0ms (0.8% of total)ival-asinh: 266.0ms (0.8% of total)ival-atanh: 234.0ms (0.7% of total)ival-fabs: 218.0ms (0.7% of total)ival-cosu: 136.0ms (0.4% of total)const: 1.0ms (0% of total)ival-pi: 0.0ms (0% of total)| 453× | iter-limit |
| 174× | node-limit |
| 16× | unsound |
| 4× | saturated |
Compiled 5 112 334 to 358 134 computations (93% saved)
| 112× | iter-limit |
| 70× | node-limit |
| 42× | saturated |
Compiled 133 995 to 41 126 computations (69.3% saved)
| 33× | fuel |
| 23× | done |
Compiled 34 140 to 4 259 computations (87.5% saved)
1191 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 224.0ms | base | @ | inf | ((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re (log base) base (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (log base)) (log im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (neg (log base))) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (* im im) (* (atan2 im re) 0) (atan2 im re) 0 (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (exp (* (log (log base)) 1))) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (exp (* (log (log base)) 1))) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (exp (* (log (log base)) 1))) (exp (* (log (log base)) 1)) (* (log (log base)) 1) (log (log base)) 1 (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 2)) (* (pow (log base) 2) 0)) (pow (log base) 4)) (+ (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 2)) (* (pow (log base) 2) 0)) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 2) (* (pow (log base) 2) 0) (pow (log base) 4) 4) |
| 136.0ms | base | @ | -inf | ((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (/ 1 (pow (log base) -1))) (atan2 im re) im re (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) (log base) base -1 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (exp (log (log base)))) (exp (log (log base))) (log (log base)) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (* (log (neg (log base))) 2))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (/ (pow (log base) 4) (pow (log base) 2))) (/ (pow (log base) 4) (pow (log base) 2)) (pow (log base) 4) 4 (pow (log base) 2) (/ (pow (* (log base) (atan2 im re)) 3) (* (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (log base) 2))) (pow (* (log base) (atan2 im re)) 3) 3 (* (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (log base) 2)) (+ (pow (* (log base) (atan2 im re)) 2) 0) (pow (* (log base) (atan2 im re)) 2) 0) |
| 123.0ms | y.im | @ | -inf | ((* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) x.re x.im y.re (* (neg (atan2 x.im x.re)) y.im) (neg (atan2 x.im x.re)) (atan2 x.im x.re) y.im (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (sin (* y.re (atan2 x.im x.re))) (* y.re (atan2 x.im x.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (* -1 x.im) -1 (* (atan2 x.im x.re) y.im) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) (* x.im x.im) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im))) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))) 1/2 (/ (* (* x.re x.re) y.im) (* x.im x.im)) (* (* x.re x.re) y.im) (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))) (log x.im) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)))) (sin (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re))) (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (atan2 x.im x.re)) (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)))) |
| 111.0ms | u1 | @ | 0 | ((+ (* (* (* 1/6 (sqrt 2)) (cos (* (* (PI) u2) -2))) (sqrt (neg (log u1)))) 1/2) (* (* 1/6 (sqrt 2)) (cos (* (* (PI) u2) -2))) (* 1/6 (sqrt 2)) 1/6 (sqrt 2) 2 (cos (* (* (PI) u2) -2)) (* (* (PI) u2) -2) (* (PI) u2) (PI) u2 -2 (sqrt (neg (log u1))) (neg (log u1)) (log u1) u1 1/2 (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (sqrt (* (log u1) -2)) (* (log u1) -2) (+ (* (* (sqrt (* (log u1) -2)) 1/6) (cos (* (* (PI) u2) -2))) 1/2) (* (sqrt (* (log u1) -2)) 1/6) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (sin (+ (* (* (PI) u2) -2) (/ (PI) 2)))) 1/2) (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (sin (+ (* (* (PI) u2) -2) (/ (PI) 2)))) (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (/ 1 6) 1 6 (pow (* -2 (log u1)) 1/2) (* -2 (log u1)) (sin (+ (* (* (PI) u2) -2) (/ (PI) 2))) (+ (* (* (PI) u2) -2) (/ (PI) 2)) (/ (PI) 2) (+ (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (pow (* (log u1) -2) 1/4) 1/4 (* (pow (* (log u1) -2) 1/4) 1/6) (cos (* (* 2 (PI)) u2)) (* (* 2 (PI)) u2) (* 2 (PI))) |
| 104.0ms | x | @ | -inf | ((fabs (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (pow (fabs x) 6) 1/21) (fabs x))))) (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (pow (fabs x) 6) 1/21) (fabs x)))) (/ 1 (sqrt (PI))) 1 (sqrt (PI)) (PI) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (pow (fabs x) 6) 1/21) (fabs x))) (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* 2 (fabs x)) 2 (fabs x) x (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) (/ 2 3) 3 (* (* (fabs x) (fabs x)) (fabs x)) (* (fabs x) (fabs x)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (/ 1 5) 5 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (pow (fabs x) 6) 1/21) (fabs x)) (* (pow (fabs x) 6) 1/21) (pow (fabs x) 6) 6 1/21 (fabs (* (/ 1 (sqrt (PI))) (+ (+ (* (fabs x) (+ (* (* x x) 2/3) 2)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1 (sqrt (PI))) (+ (+ (* (fabs x) (+ (* (* x x) 2/3) 2)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (+ (* (fabs x) (+ (* (* x x) 2/3) 2)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (* (fabs x) (+ (* (* x x) 2/3) 2)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (fabs x) (+ (* (* x x) 2/3) 2)) (+ (* (* x x) 2/3) 2) (* x x) 2/3 (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (/ 1 21) 21 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* x x) x) (* (* x x) x)) (fabs x)))))) (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* x x) x) (* (* x x) x)) (fabs x))))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* x x) x) (* (* x x) x)) (fabs x)))) (* (/ 1 21) (* (* (* (* x x) x) (* (* x x) x)) (fabs x))) (* (* (* (* x x) x) (* (* x x) x)) (fabs x)) (* (* (* x x) x) (* (* x x) x)) (* (* x x) x) (fabs (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (sqrt x) (sqrt x)) (fabs x)) (fabs x)) (* (* (sqrt x) (sqrt x)) (fabs x)) (* (sqrt x) (sqrt x)) (sqrt x) (fabs (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (* (sqrt x) (sqrt x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1 (sqrt (PI))) (+ (+ (+ (* 2 (* (sqrt x) (sqrt x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (+ (+ (* 2 (* (sqrt x) (sqrt x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2 (* (sqrt x) (sqrt x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (* 2 (* (sqrt x) (sqrt x))) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* 2 (* (sqrt x) (sqrt x)))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | #f | oflow-rescue | 1284 | 0 |
/.f64 | #f | o/o | 636 | 0 |
-.f64 | #f | cancellation | 492 | 1 |
sqrt.f32 | #f | oflow-rescue | 203 | 0 |
/.f64 | #f | o/n | 198 | 0 |
sin.f64 | #f | sensitivity | 178 | 0 |
cos.f64 | (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) | sensitivity | 175 | 0 |
+.f64 | #f | cancellation | 169 | 0 |
sqrt.f64 | #f | uflow-rescue | 128 | 0 |
log.f64 | (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) | sensitivity | 126 | 0 |
log.f32 | (log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))) | sensitivity | 121 | 0 |
-.f64 | #f | nan-rescue | 114 | 0 |
/.f64 | #f | n/o | 99 | 0 |
*.f64 | #f | n*u | 75 | 0 |
/.f64 | #f | u/u | 72 | 0 |
+.f64 | #f | nan-rescue | 72 | 0 |
/.f64 | (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) | u/n | 37 | 0 |
| ↳ | (*.f64 (*.f64 i i) (*.f64 i i)) | underflow | 107 | |
| ↳ | (*.f64 i i) | underflow | 140 | |
*.f64 | #f | n*o | 33 | 0 |
/.f64 | #f | n/u | 19 | 0 |
exp.f64 | #f | sensitivity | 7 | 0 |
cos.f64 | (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) | oflow-rescue | 3 | 0 |
| ↳ | (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)) | overflow | 3 | |
| ↳ | (*.f64 (atan2.f64 x.im x.re) y.re) | overflow | 1 | |
| ↳ | (*.f64 x.re x.re) | overflow | 75 | |
| ↳ | (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) | overflow | 120 | |
| ↳ | (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) | overflow | 2 | |
| ↳ | (*.f64 x.im x.im) | overflow | 60 | |
log.f32 | (log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))) | oflow-rescue | 3 | 0 |
| ↳ | (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))) | overflow | 3 | |
| ↳ | (*.f32 x x) | overflow | 136 | |
| ↳ | (-.f32 (*.f32 x x) #s(literal 1 binary32)) | overflow | 136 | |
sin.f64 | (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) | oflow-rescue | 3 | 0 |
| ↳ | (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)) | overflow | 3 | |
| ↳ | (*.f64 (atan2.f64 x.im x.re) y.re) | overflow | 1 | |
| ↳ | (*.f64 x.re x.re) | overflow | 75 | |
| ↳ | (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) | overflow | 120 | |
| ↳ | (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) | overflow | 2 | |
| ↳ | (*.f64 x.im x.im) | overflow | 60 | |
*.f64 | (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) | o*u | 3 | 0 |
| ↳ | (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) | overflow | 3 | |
| ↳ | (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))) | overflow | 3 | |
| ↳ | (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))) | underflow | 3 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3490 | 37 |
| - | 160 | 10649 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3490 | 0 | 37 |
| - | 160 | 2 | 10647 |
| number | freq |
|---|---|
| 0 | 10686 |
| 1 | 3052 |
| 2 | 596 |
| 3 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 37 | 0 | 0 |
| - | 1 | 0 | 18 |
| 2.3s | 25 454× | 0 | valid |
| 890.0ms | 2 464× | 1 | valid |
| 352.0ms | 686× | 2 | valid |
| 22.0ms | 62× | 3 | valid |
| 2.0ms | 6× | 5 | exit |
Compiled 13 441 to 2 246 computations (83.3% saved)
ival-mult!: 723.0ms (31.5% of total)adjust: 258.0ms (11.2% of total)ival-log: 217.0ms (9.5% of total)ival-add!: 182.0ms (7.9% of total)ival-exp: 176.0ms (7.7% of total)ival-hypot: 170.0ms (7.4% of total)ival-div!: 107.0ms (4.7% of total)ival-cos: 96.0ms (4.2% of total)ival-sub!: 93.0ms (4.1% of total)ival-sqrt: 65.0ms (2.8% of total)ival-sin: 59.0ms (2.6% of total)ival-atan2: 49.0ms (2.1% of total)ival-pow: 27.0ms (1.2% of total)ival-fabs: 19.0ms (0.8% of total)ival-neg: 16.0ms (0.7% of total)ival-copysign: 12.0ms (0.5% of total)ival-log1p: 8.0ms (0.3% of total)ival-sinu: 7.0ms (0.3% of total)ival-cosu: 6.0ms (0.3% of total)const: 1.0ms (0% of total)126 calls:
| 861.0ms | (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) |
| 609.0ms | re |
| 603.0ms | im |
| 507.0ms | y.re |
| 482.0ms | (*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64)))))) |
Compiled 14 091 to 9 940 computations (29.5% saved)
Compiled 266 112 to 116 347 computations (56.3% saved)
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 55.4% | 47.8% | 38.5% | 13.7% | 0% | 0% | 0% | 1 |
| 65.9% | 55.7% | 28.9% | 13.7% | 0% | 1.7% | 0% | 2 |
| 71.2% | 58.4% | 23.6% | 13.7% | 0% | 4.3% | 0% | 3 |
| 77.4% | 62% | 18.1% | 13.7% | 0% | 6.2% | 0% | 4 |
| 83.5% | 66.8% | 13.2% | 13.7% | 0% | 6.3% | 0% | 5 |
| 85.8% | 68.3% | 11.3% | 13.7% | 0% | 6.6% | 0% | 6 |
| 88.3% | 70.3% | 9.4% | 13.7% | 0% | 6.6% | 0% | 7 |
| 89.9% | 71.5% | 8% | 13.7% | 0% | 6.8% | 0% | 8 |
| 91.1% | 72.5% | 7.1% | 13.7% | 0% | 6.8% | 0% | 9 |
| 92.6% | 73.6% | 5.9% | 13.7% | 0% | 6.8% | 0% | 10 |
| 94% | 74.7% | 4.8% | 13.7% | 0% | 6.8% | 0% | 11 |
| 94.5% | 75.1% | 4.4% | 13.7% | 0% | 6.9% | 0% | 12 |
Compiled 1 498 to 816 computations (45.5% saved)
| 228× | left-value |
| 224× | binary-search |
| 216× | narrow-enough |
| 8× | predicate-same |
| 1.2s | 13 792× | 0 | valid |
| 779.0ms | 1 835× | 1 | valid |
| 33.0ms | 146× | 2 | valid |
| 9.0ms | 35× | 3 | valid |
Compiled 133 365 to 79 291 computations (40.5% saved)
ival-mult!: 469.0ms (30.9% of total)ival-hypot: 276.0ms (18.2% of total)ival-log: 162.0ms (10.7% of total)ival-sin: 115.0ms (7.6% of total)ival-sub!: 110.0ms (7.2% of total)ival-exp: 87.0ms (5.7% of total)adjust: 73.0ms (4.8% of total)ival-atan2: 64.0ms (4.2% of total)ival-add!: 55.0ms (3.6% of total)ival-cos: 54.0ms (3.6% of total)ival-div!: 36.0ms (2.4% of total)ival-sqrt: 12.0ms (0.8% of total)ival-neg: 6.0ms (0.4% of total)Loading profile data...