Herbie run

Date:Wednesday, May 7th, 2025
Commit:3ca32539 on mega-taylor-deduplication
Seed:2025127
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:224 650.3 MB

Time bar (total: 3.3min)

sample1.3min (40%)

Memory
408.6MiB live, 83 398.8MiB allocated; 37.0s collecting garbage
Samples
40.4s434 010×0valid
9.1s26 147×1valid
5.0s9 486×2valid
1.2s4 403×0invalid
620.0ms8 720×0exit
363.0ms967×3valid
Precisions
Click to see histograms. Total time spent on operations: 37.5s
ival-mult!: 12.3s (32.7% of total)
ival-exp: 3.4s (9.2% of total)
ival-add!: 2.9s (7.8% of total)
ival-div!: 2.6s (6.9% of total)
ival-hypot: 2.4s (6.5% of total)
ival-asin: 2.4s (6.4% of total)
adjust: 2.4s (6.3% of total)
ival-sub!: 1.8s (4.8% of total)
ival-log: 1.7s (4.5% of total)
ival-sin: 1.0s (2.8% of total)
ival-cos: 952.0ms (2.5% of total)
ival-sqrt: 921.0ms (2.5% of total)
ival-atan2: 682.0ms (1.8% of total)
ival-pow: 309.0ms (0.8% of total)
ival-sinu: 296.0ms (0.8% of total)
ival-asinh: 285.0ms (0.8% of total)
ival-fabs: 252.0ms (0.7% of total)
ival-acosh: 236.0ms (0.6% of total)
ival-cosu: 232.0ms (0.6% of total)
ival-neg: 226.0ms (0.6% of total)
ival-atanh: 216.0ms (0.6% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite43.8s (22.2%)

Memory
991.4MiB live, 49 370.9MiB allocated; 15.9s collecting garbage
Stop Event
490×iter-limit
181×node-limit
17×unsound
4×saturated
Counts
25 307 → 58 201

series17.3s (8.8%)

Memory
986.5MiB live, 24 329.6MiB allocated; 4.7s collecting garbage
Counts
5 411 → 19 896
Calls

1233 calls:

TimeVariablePointExpression
594.0ms
x
@0
((/ (- (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (/ (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 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) (exp (* x 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) (exp (* x x)))) 1)) 1)) (- (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (/ (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)))) (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6) (/ (+ (/ (+ (/ (- (/ (- (/ 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) (* (exp (* x x)) (+ (* (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)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 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 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (fabs x) x 3275911/10000000 1453152027/1000000000 -1421413741/1000000000 -8890523/31250000 31853699/125000000 (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* x x)) (* x x) 6 (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3) 3 (/ (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) 9 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 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) (exp (* x 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) (exp (* x x)))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x 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) (exp (* x x)))) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 31853699/125000000)) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 31853699/125000000)) (exp (neg (* (fabs x) (fabs x))))) (/ 31853699/125000000 (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 31853699/125000000 (- 1 (* -3275911/10000000 (fabs x)))) (- 1 (* -3275911/10000000 (fabs x))) (* -3275911/10000000 (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)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x 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) (exp (* x 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) (/ (+ (/ (- (/ (- (/ 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 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- (+ (/ 1061405429/1000000000 (* (+ (* 3275911/10000000 (fabs x)) 1) (+ (* 3275911/10000000 (fabs x)) 1))) 1421413741/1000000000) (/ 1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (/ 1061405429/1000000000 (* (+ (* 3275911/10000000 (fabs x)) 1) (+ (* 3275911/10000000 (fabs x)) 1))) 1421413741/1000000000) (/ 1061405429/1000000000 (* (+ (* 3275911/10000000 (fabs x)) 1) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1) 1421413741/1000000000 (/ 1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1 (* (/ (+ (/ (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (* (- 1 (* 3275911/10000000 (fabs x))) (exp (neg (* x x)))))) (* (/ (+ (/ (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (* (- 1 (* 3275911/10000000 (fabs x))) (exp (neg (* x x))))) (/ (+ (/ (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (- (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (/ (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1) -10731592879921/100000000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (exp (neg (* x x)))) (- 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) (exp (neg (* x x))) (neg (* x x)) (/ (- 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9)) (* (+ (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ (* (+ (/ (+ (/ (+ (/ (- (/ (- (/ 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) (* (exp (* x 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))) 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9)) (* (+ (+ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ (* (+ (/ (+ (/ (+ (/ (- (/ (- (/ 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) (* (exp (* x 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) (* (exp (* x 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) (* (exp (* x 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) (* (exp (* x 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 1))
247.0ms
i
@0
((/ (/ (+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 3) 1) (+ (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2)))) (- 1 (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1)))) 2) (/ (+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 3) 1) (+ (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2)))) (- 1 (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1)))) (+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 3) 1) (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 3) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ alpha beta) alpha beta (/ (- beta alpha) (+ (+ alpha beta) (+ i i))) (- beta alpha) (+ (+ alpha beta) (+ i i)) (+ i i) i (+ (+ alpha beta) (+ (* i 2) 2)) (+ (* i 2) 2) 2 3 1 (+ (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2)))) (- 1 (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1))) (- 1 (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1)) (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1) (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (/ (* 1/2 (+ (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (/ (- (* beta beta) (+ (* (neg (+ 2 (+ beta (+ i i)))) (+ beta (+ i i))) (* (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (+ 2 (+ (* 2 beta) (* 4 i)))))) alpha))) alpha) (* 1/2 (+ (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (/ (- (* beta beta) (+ (* (neg (+ 2 (+ beta (+ i i)))) (+ beta (+ i i))) (* (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (+ 2 (+ (* 2 beta) (* 4 i)))))) alpha))) 1/2 (+ (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (/ (- (* beta beta) (+ (* (neg (+ 2 (+ beta (+ i i)))) (+ beta (+ i i))) (* (- (* 0 beta) (neg (+ 2 (+ (* 2 beta) (* 4 i))))) (+ 2 (+ (* 2 beta) (* 4 i)))))) alpha)) (+ 2 (+ (* 2 beta) (* 4 i))) (+ (* 2 beta) (* 4 i)) (* 4 i) 4 (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2)) 1) 2) (- 1 (* -1/2 (/ (- (- (* 0 alpha) 2) (+ (* 2 alpha) (* 4 i))) beta))) (* -1/2 (/ (- (- (* 0 alpha) 2) (+ (* 2 alpha) (* 4 i))) beta)) -1/2 (/ (- (- (* 0 alpha) 2) (+ (* 2 alpha) (* 4 i))) beta) (- (- (* 0 alpha) 2) (+ (* 2 alpha) (* 4 i))) (- (* 0 alpha) 2) (* 0 alpha) 0 (+ (* 2 alpha) (* 4 i)) (/ (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1) 2) (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) 1) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (+ (+ alpha beta) (+ (* i 2) 2))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (+ i i)))) (/ (- beta alpha) (+ (+ alpha beta) (+ i i))) (* -1 (/ alpha (+ alpha (* 2 i)))) -1 (/ alpha (+ alpha (* 2 i))) (+ alpha (* 2 i)) (* 2 i))
185.0ms
base
@-inf
((/ (/ (* (log base) (atan2 im re)) (log base)) (log base)) (/ (* (log base) (atan2 im re)) (log base)) (* (log base) (atan2 im re)) (log base) base (atan2 im re) im re (/ (- (* (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)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (pow (exp 1) (log (log base)))) (pow (exp 1) (log (log base))) (exp 1) 1 (/ (- (* (log base) (atan2 im re)) 0) (/ (pow (log base) 4) (* (log base) (log base)))) (- (* (log base) (atan2 im re)) 0) 0 (/ (pow (log base) 4) (* (log base) (log base))) (pow (log base) 4) 4 (* (log base) (log base)) (log (pow (pow base (log base)) (/ (* (log base) (atan2 im re)) (pow (log base) 4)))) (pow (pow base (log base)) (/ (* (log base) (atan2 im re)) (pow (log base) 4))) (pow base (log base)) (/ (* (log base) (atan2 im re)) (pow (log base) 4)))
177.0ms
x
@0
((log (+ x (sqrt (- (* x x) 1)))) (- (+ (neg (neg (log x))) (log 2)) (/ 1/4 (* x x))) (+ (neg (neg (log x))) (log 2)) (neg (neg (log x))) (neg (log x)) (log x) x (log 2) 2 (/ 1/4 (* x x)) 1/4 (* x x) (acosh x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* (- (+ (neg (/ (+ (/ 1/16 (* x x)) 1/8) (* (* x x) (* x x)))) 2) (/ 1/2 (* x x))) x) (- (+ (neg (/ (+ (/ 1/16 (* x x)) 1/8) (* (* x x) (* x x)))) 2) (/ 1/2 (* x x))) (+ (neg (/ (+ (/ 1/16 (* x x)) 1/8) (* (* x x) (* x x)))) 2) (neg (/ (+ (/ 1/16 (* x x)) 1/8) (* (* x x) (* x x)))) (/ (+ (/ 1/16 (* x x)) 1/8) (* (* x x) (* x x))) (+ (/ 1/16 (* x x)) 1/8) (/ 1/16 (* x x)) 1/16 1/8 (* (* x x) (* x x)) (/ 1/2 (* x x)) 1/2 (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (+ x x))
153.0ms
x
@-inf
((log (/ x (log x))) (/ x (log x)) x (log x) (- (/ (pow (log x) 3) (+ (* (log x) (log x)) 0)) (log (/ (pow (log x) 3) (+ (* (log x) (log x)) 0)))) (/ (pow (log x) 3) (+ (* (log x) (log x)) 0)) (pow (log x) 3) 3 (+ (* (log x) (log x)) 0) 0 (log (/ (pow (log x) 3) (+ (* (log x) (log x)) 0))) (/ (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log (log x)) (log (* (log x) x))) (* (log x) (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (pow (log (log x)) 3) (log (log x)) (+ (* (log (log x)) (log (* (log x) x))) (* (log x) (log x))) (log (* (log x) x)) (* (log x) x) (* (log x) (log x)))

derivations13.4s (6.8%)

Memory
-50.7MiB live, 11 449.8MiB allocated; 2.1s collecting garbage
Stop Event
33×fuel
24×done
Compiler

Compiled 8 832 to 4 098 computations (53.6% saved)

preprocess12.2s (6.2%)

Memory
-302.4MiB live, 11 540.9MiB allocated; 3.2s collecting garbage
Stop Event
49×node-limit
8×saturated
Compiler

Compiled 45 697 to 30 847 computations (32.5% saved)

eval11.3s (5.7%)

Memory
-38.9MiB live, 16 586.9MiB allocated; 4.6s collecting garbage
Compiler

Compiled 1 556 146 to 315 431 computations (79.7% saved)

regimes9.2s (4.7%)

Memory
-112.0MiB live, 13 075.5MiB allocated; 2.5s collecting garbage
Counts
6 436 → 716
Calls

132 calls:

598.0ms
x
523.0ms
re
399.0ms
y.im
375.0ms
im
370.0ms
(fabs.f64 x)
Compiler

Compiled 12 630 to 9 533 computations (24.5% saved)

prune4.7s (2.4%)

Memory
322.4MiB live, 7 896.4MiB allocated; 1.5s collecting garbage
Counts
56 669 → 2 716
Compiler

Compiled 190 430 to 123 764 computations (35% saved)

bsearch3.4s (1.7%)

Memory
-67.6MiB live, 4 096.8MiB allocated; 735ms collecting garbage
Algorithm
198×binary-search
141×left-value
Stop Event
185×narrow-enough
13×predicate-same
Samples
1.2s12 632×0valid
787.0ms2 323×1valid
97.0ms279×2valid
4.0ms14×3valid
Compiler

Compiled 98 322 to 81 475 computations (17.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult!: 382.0ms (26.2% of total)
ival-hypot: 270.0ms (18.5% of total)
ival-log: 166.0ms (11.4% of total)
ival-sin: 123.0ms (8.4% of total)
adjust: 106.0ms (7.3% of total)
ival-exp: 84.0ms (5.8% of total)
ival-atan2: 75.0ms (5.1% of total)
ival-cos: 59.0ms (4.1% of total)
ival-add!: 58.0ms (4% of total)
ival-sub!: 46.0ms (3.2% of total)
ival-asin: 43.0ms (3% of total)
ival-div!: 26.0ms (1.8% of total)
ival-sqrt: 12.0ms (0.8% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-neg: 1.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

analyze2.9s (1.5%)

Memory
-163.6MiB live, 2 897.6MiB allocated; 1.5s collecting garbage
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)

start3.0ms (0%)

Memory
6.4MiB live, 6.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...