Herbie run

Date:Tuesday, September 24th, 2024
Commit:6490ee3d on main
Hostname:nightly with Racket 8.10
Seed:2024268
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 17.9min)

soundness4.3min (24.3%)

Memory
274.1MiB live, 35 294.1MiB allocated
Stop Event
336×iter limit
218×node limit
37×fuel
20×done
3×saturated
3×unsound
Compiler

Compiled 35 480 to 16 552 computations (53.3% saved)

simplify3.5min (19.4%)

Memory
990.5MiB live, 72 341.6MiB allocated
Algorithm
455×egg-herbie
Stop Event
597×iter limit
270×node limit
185×saturated
Counts
57 768 → 57 059

eval3.4min (19.1%)

Memory
1 193.6MiB live, 78 618.2MiB allocated
Compiler

Compiled 13 009 323 to 626 154 computations (95.2% saved)

sample2.1min (11.5%)

Memory
630.2MiB live, 112 281.4MiB allocated
Samples
1.4min438 631×0valid
7.4s22 284×1valid
5.5s8 793×2valid
2.3s4 369×0invalid
1.0s8 219×0exit
345.0ms890×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-add: 31.9s (38.5% of total)
ival-mult: 15.4s (18.6% of total)
ival-sub: 6.7s (8.1% of total)
ival-div: 4.6s (5.6% of total)
const: 4.5s (5.5% of total)
ival-exp: 3.3s (4% of total)
ival-hypot: 2.8s (3.4% of total)
ival-log: 1.9s (2.3% of total)
ival-asin: 1.9s (2.3% of total)
ival-sin: 1.3s (1.6% of total)
adjust: 1.3s (1.6% of total)
ival-cos: 1.0s (1.2% of total)
ival-atan2: 964.0ms (1.2% of total)
ival-sqrt: 863.0ms (1% of total)
ival-<=: 439.0ms (0.5% of total)
ival->: 393.0ms (0.5% of total)
exact: 350.0ms (0.4% of total)
ival-pow: 335.0ms (0.4% of total)
ival-asinh: 323.0ms (0.4% of total)
ival-sinu: 314.0ms (0.4% of total)
ival-acosh: 275.0ms (0.3% of total)
ival-true: 273.0ms (0.3% of total)
ival-neg: 243.0ms (0.3% of total)
ival-fabs: 238.0ms (0.3% of total)
ival-pi: 234.0ms (0.3% of total)
ival-atanh: 217.0ms (0.3% of total)
ival-assert: 200.0ms (0.2% of total)
ival->=: 135.0ms (0.2% of total)
ival-cosu: 90.0ms (0.1% of total)
ival-and: 79.0ms (0.1% of total)
Bogosity

preprocess1.3min (7.2%)

Memory
154.2MiB live, 15 417.0MiB allocated
Algorithm
57×egg-herbie
Stop Event
114×iter limit
76×saturated
38×node limit
Compiler

Compiled 44 856 to 13 273 computations (70.4% saved)

end48.1s (4.5%)

Memory
51.8MiB live, 4 694.1MiB allocated

rewrite44.3s (4.1%)

Memory
-291.5MiB live, 49 093.5MiB allocated
Stop Event
418×iter limit
190×node limit
5×saturated
4×unsound
Counts
2 809 → 112 434

localize33.7s (3.1%)

Memory
-527.2MiB live, 40 834.4MiB allocated
Samples
13.2s41 367×0valid
6.2s4 221×1valid
3.4s1 685×2valid
1.6s2 897×0invalid
363.0ms521×1exit
215.0ms132×5exit
97.0ms78×3valid
25.0ms37×0exit
8.0ms6×4valid
Compiler

Compiled 81 010 to 6 382 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0s
ival-mult: 5.1s (28% of total)
ival-add: 2.5s (13.6% of total)
ival-div: 2.2s (12.1% of total)
ival-pow: 1.3s (7.2% of total)
adjust: 1.1s (6.2% of total)
const: 1.0s (5.7% of total)
ival-log: 750.0ms (4.2% of total)
ival-sub: 722.0ms (4% of total)
ival-hypot: 574.0ms (3.2% of total)
ival-exp: 548.0ms (3% of total)
ival-sqrt: 341.0ms (1.9% of total)
ival-asin: 316.0ms (1.8% of total)
ival-cos: 260.0ms (1.4% of total)
ival-sin: 219.0ms (1.2% of total)
ival-neg: 194.0ms (1.1% of total)
ival-pow2: 168.0ms (0.9% of total)
ival-log1p: 165.0ms (0.9% of total)
ival-acos: 147.0ms (0.8% of total)
ival-atan2: 98.0ms (0.5% of total)
exact: 82.0ms (0.5% of total)
ival-copysign: 66.0ms (0.4% of total)
ival-fabs: 56.0ms (0.3% of total)
ival-pi: 53.0ms (0.3% of total)
ival-true: 42.0ms (0.2% of total)
ival-cbrt: 40.0ms (0.2% of total)
ival-cosh: 22.0ms (0.1% of total)
ival-assert: 22.0ms (0.1% of total)
ival-sinu: 14.0ms (0.1% of total)
ival-cosu: 13.0ms (0.1% of total)

prune17.8s (1.7%)

Memory
-1 190.1MiB live, 27 277.3MiB allocated
Counts
227 398 → 3 167
Compiler

Compiled 183 932 to 86 433 computations (53% saved)

series17.2s (1.6%)

Memory
27.7MiB live, 21 016.6MiB allocated
Counts
2 809 → 57 768
Calls

1209 calls:

TimeVariablePointExpression
349.0ms
x
@0
((- (* (pow (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1) -1) (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1)) (* (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1)))) (/ (- (* (pow (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1) -1) (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1)) (* (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1)))) (* (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1))) (* (pow (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1) -1) (+ (* (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1)) (pow (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) 1) -1) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (* (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x)))) (- 1 (* (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x))))) (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (pow (exp x) x)))) 1) (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (pow (exp x) x))) (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (fabs x) 3275911/10000000) 1) (* (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 1))) (/ (* (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 4) (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))
280.0ms
im
@0
((* (exp re) (cos im)) (exp re) (* (exp re) (cos im)) (cos im) (* (exp re) (cos im)) (exp re) (+ 1 re) (* (exp re) (cos im)) (cos im) (+ (* (* im im) -1/2) 1) (* (exp re) (cos im)) (exp re) (+ (* (+ (* 1/2 re) 1) re) 1) (+ (* 1/2 re) 1) (* im im))
252.0ms
x.re
@inf
((* (/ -1 (+ (* y.im y.im) (* y.re y.re))) (neg (+ (* y.im x.im) (* y.re x.re)))) (/ -1 (+ (* y.im y.im) (* y.re y.re))) (+ (* y.im y.im) (* y.re y.re)) (* y.re y.re) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ x.im y.im) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (* (/ x.re (+ (* y.im y.im) (* y.re y.re))) y.re) (/ x.re (+ (* y.im y.im) (* y.re y.re))) (+ (* y.re y.re) (* y.im y.im)) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (+ (* x.re y.re) (* x.im y.im)) (* y.im x.im) (+ (* (/ y.re (* y.im y.im)) x.re) (/ x.im y.im)) (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ y.re (* y.im y.im)) (* y.im y.im) (+ (* y.im x.im) (* y.re x.re)))
192.0ms
x
@0
((+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1)) (copysign (+ (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1))))) x) (+ (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1))))) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (- (fabs x) x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (fabs x) (+ (* x x) (+ (* (neg x) x) 1)) (log (/ (+ (* x x) (+ (* (neg x) x) 1)) (- (sqrt (+ (* x x) 1)) (fabs x)))) (copysign (log (/ (+ (* x x) (+ (* (neg x) x) 1)) (- (sqrt (+ (* x x) 1)) (fabs x)))) x) (/ (+ (* x x) (+ (* (neg x) x) 1)) (- (sqrt (+ (* x x) 1)) (fabs x))) (- (fabs x) (sqrt (+ (* x x) 1))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1)))) (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (sqrt (+ (* x x) 1)) (- (/ -1/2 x) x) (- (sqrt (+ (* x x) 1)) (fabs x)))
158.0ms
x.re
@0
((* (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3)) (pow (+ (* (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (cos (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 2)) -1)) (+ (* 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))) (* (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3)) (pow (+ (* (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (cos (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 2)) -1))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re))) (* (neg x.re) (+ 1 (/ (* 1/2 (* x.im x.im)) (* x.re x.re)))) (+ 1 (/ (* 1/2 (* 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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (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))) (cos (+ (* (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.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cos (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re)))) (exp (+ (* y.re (log x.re)) (* (neg y.im) (atan2 x.im x.re))))) (cos (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re)))) (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re))) (cos (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (cos (* (atan2 x.im x.re) y.re)) (/ (* 1/2 (* x.im x.im)) (* x.re x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (cos (+ (* (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)) (* y.re (atan2 x.im x.re)) (* (neg y.im) (atan2 x.im x.re)))

regimes14.9s (1.4%)

Memory
-320.9MiB live, 19 984.3MiB allocated
Counts
8 141 → 861
Calls

132 calls:

775.0ms
re
715.0ms
im
586.0ms
x
540.0ms
y.im
501.0ms
x.im
Compiler

Compiled 13 679 to 9 700 computations (29.1% saved)

explain14.7s (1.4%)

Memory
-39.4MiB live, 20 572.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11620
-.f64#fcancellation7522
/.f64#fo/o6860
/.f64#fo/n2050
sqrt.f32#foflow-rescue2000
sin.f64#fsensitivity1861
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)))sensitivity1840
+.f64#fcancellation1780
sqrt.f64#fuflow-rescue1520
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1243
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1191
-.f64#fnan-rescue1160
/.f64#fn/o940
*.f64#fn*u680
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/u610
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow88
↳(*.f64 i i)underflow122
↳(*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))underflow61
+.f64#fnan-rescue600
*.f64#fn*o350
/.f64#fu/n300
/.f64#fn/u140
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue30
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow3
↳(*.f32 x x)overflow135
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow135
*.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*u20
↳(*.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))))overflow2
↳(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)))overflow2
↳(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))))underflow2
pow.f64(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)))sensitivity10
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-rescue10
↳(+.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))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow109
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow57
exp.f64(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))sensitivity10
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-rescue10
↳(+.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))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow109
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow57
Confusion
Predicted +Predicted -
+363680
-19210684
Precision
0.9498432601880877
Recall
0.9784714747039828
Confusion?
Predicted +Predicted MaybePredicted -
+3636476
-192410680
Precision?
0.948905109489051
Recall?
0.9795479009687836
Freqs
test
numberfreq
010764
13221
2607
Total Confusion?
Predicted +Predicted MaybePredicted -
+3701
-1018
Precision?
0.9736842105263158
Recall?
0.9736842105263158
Samples
3.2s25 842×0valid
1.4s2 416×1valid
663.0ms882×2valid
15.0ms42×3valid
1.0ms2×5exit
Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 846.0ms (23.1% of total)
ival-add: 519.0ms (14.2% of total)
ival-div: 438.0ms (11.9% of total)
ival-hypot: 291.0ms (7.9% of total)
const: 230.0ms (6.3% of total)
ival-exp: 221.0ms (6% of total)
adjust: 208.0ms (5.7% of total)
ival-log: 208.0ms (5.7% of total)
ival-sub: 177.0ms (4.8% of total)
ival-cos: 83.0ms (2.3% of total)
ival-asin: 81.0ms (2.2% of total)
ival-sin: 63.0ms (1.7% of total)
ival-sqrt: 56.0ms (1.5% of total)
ival-pi: 56.0ms (1.5% of total)
ival-atan2: 46.0ms (1.3% of total)
ival-true: 26.0ms (0.7% of total)
ival-pow: 25.0ms (0.7% of total)
exact: 20.0ms (0.5% of total)
ival-fabs: 17.0ms (0.5% of total)
ival-assert: 13.0ms (0.4% of total)
ival-copysign: 12.0ms (0.3% of total)
ival-neg: 12.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-sinu: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

bsearch3.9s (0.4%)

Memory
-5.7MiB live, 4 343.2MiB allocated
Algorithm
240×left-value
185×binary-search
Stop Event
176×narrow-enough
9×predicate-same
Samples
1.6s11 951×0valid
799.0ms1 655×1valid
49.0ms129×2valid
14.0ms41×3valid
Compiler

Compiled 39 548 to 36 298 computations (8.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 571.0ms (34.8% of total)
ival-hypot: 275.0ms (16.8% of total)
ival-sin: 130.0ms (7.9% of total)
ival-log: 126.0ms (7.7% of total)
ival-add: 123.0ms (7.5% of total)
ival-sub: 92.0ms (5.6% of total)
ival-exp: 66.0ms (4% of total)
adjust: 58.0ms (3.5% of total)
ival-atan2: 54.0ms (3.3% of total)
ival-div: 53.0ms (3.2% of total)
ival-cos: 38.0ms (2.3% of total)
const: 22.0ms (1.3% of total)
ival-sqrt: 14.0ms (0.9% of total)
ival-true: 10.0ms (0.6% of total)
ival-assert: 6.0ms (0.4% of total)
exact: 3.0ms (0.2% of total)

analyze2.9s (0.3%)

Memory
101.9MiB live, 3 700.9MiB allocated
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start2.0ms (0%)

Memory
4.8MiB live, 4.8MiB allocated

Profiling

Loading profile data...