Herbie run

Date:Saturday, April 5th, 2025
Commit:f7a7cb35 on main
Seed:2025095
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:269 136.6 MB

Time bar (total: 3.3min)

sample1.2min (35.8%)

Memory
611.9MiB live, 91 587.8MiB allocated; 31.3s collecting garbage
Samples
34.2s434 049×0valid
7.7s26 312×1valid
5.1s9 367×2valid
2.1s4 298×0invalid
1.3s956×3valid
1.1s10 698×0exit
Precisions
Click to see histograms. Total time spent on operations: 34.9s
ival-mult!: 9.6s (27.5% of total)
ival-exp: 3.8s (10.9% of total)
ival-hypot: 3.0s (8.6% of total)
ival-add!: 2.8s (7.9% of total)
adjust: 2.6s (7.3% of total)
ival-log: 2.5s (7.1% of total)
ival-div!: 2.5s (7% of total)
ival-asin: 1.4s (4.1% of total)
ival-sub!: 1.0s (2.9% of total)
ival-cos: 951.0ms (2.7% of total)
ival-sin: 918.0ms (2.6% of total)
ival-atan2: 916.0ms (2.6% of total)
ival-sqrt: 635.0ms (1.8% of total)
ival-pow: 436.0ms (1.2% of total)
ival-sinu: 370.0ms (1.1% of total)
ival-acosh: 350.0ms (1% of total)
ival-neg: 344.0ms (1% of total)
ival-fabs: 286.0ms (0.8% of total)
ival-asinh: 265.0ms (0.8% of total)
ival-atanh: 234.0ms (0.7% of total)
ival-cosu: 109.0ms (0.3% of total)
const: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite43.1s (21.7%)

Memory
273.3MiB live, 51 624.0MiB allocated; 14.3s collecting garbage
Stop Event
467×iter-limit
178×node-limit
16×unsound
4×saturated
Counts
31 175 → 69 211

eval17.1s (8.6%)

Memory
520.2MiB live, 27 009.0MiB allocated; 6.1s collecting garbage
Compiler

Compiled 7 589 765 to 400 684 computations (94.7% saved)

derivations13.8s (6.9%)

Memory
-426.4MiB live, 14 241.0MiB allocated; 2.1s collecting garbage
Stop Event
36×fuel
21×done
Compiler

Compiled 36 475 to 4 372 computations (88% saved)

series13.1s (6.6%)

Memory
847.9MiB live, 20 340.2MiB allocated; 4.5s collecting garbage
Counts
5 534 → 25 641
Calls

1197 calls:

TimeVariablePointExpression
197.0ms
x
@0
((/ (- (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3)) -1) (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 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) (pow (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 (* (neg x) x))) 1)) 1)) (- (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3)) -1) (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3)))) (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3)) -1) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3)) (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6) (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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 (/ (+ (/ (- (/ (- (/ 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)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1) 3275911/10000000 (fabs x) x 1453152027/1000000000 -1421413741/1000000000 -8890523/31250000 (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x)) (pow (exp x) x) (exp x) 6 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3) 3 -1 (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 3))) (pow (/ (+ 31853699/125000000 (/ (+ (/ (- (/ (- (/ 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (pow (exp x) x))) 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) (pow (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 (* (neg 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) (pow (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 (+ (* (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)) (+ (* (fabs x) 3275911/10000000) 1) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (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 (* (neg x) x))) 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 (* (neg x) x)) (* (neg x) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (neg (* (fabs x) (fabs x))))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (neg (* (fabs x) (fabs 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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg 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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -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) (+ (* (fabs x) 3275911/10000000) 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) (+ (* (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))) -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)) (- 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) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (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) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (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) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (+ (/ (+ (/ (- (/ (- (/ 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) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* 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) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1)) (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1) (- 1 (* 10731592879921/100000000000000 (* x x))) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) (- 1 (* (fabs x) 3275911/10000000)) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (* (neg x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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) (- (+ (* (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (/ 1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) -2 1421413741/1000000000 (/ 1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (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 (* (neg 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) (pow (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 (* (neg x) x))) 1)))
141.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)))) (/ 1 (pow (log base) -1))) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) (log base) base -1 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (/ 1 (pow (log base) -1)) (log base)) (* 0 0))) (/ (log re) (log base)) (log re) (/ (/ (- (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) 0) (- (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (- (pow (* (log base) (log (sqrt (+ (* im im) (* re re))))) 2) 0) (- (* (log base) (log (sqrt (+ (* im im) (* re re))))) 0)) (* (log im) (log base)) (log im) (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) 0 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (exp (* (log (log base)) 1))) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log re) (log base)) (+ (* (log base) (exp (* (log (log base)) 1))) (* 0 0)) (* (log base) (exp (* (log (log base)) 1))) (exp (* (log (log base)) 1)) (* (log (log base)) 1) (log (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (+ (pow (log base) 6) 0) (+ (pow (log base) 4) (- 0 (* (pow (log base) 2) 0))))) (/ (+ (pow (log base) 6) 0) (+ (pow (log base) 4) (- 0 (* (pow (log base) 2) 0)))) (+ (pow (log base) 6) 0) (pow (log base) 6) 6 (+ (pow (log base) 4) (- 0 (* (pow (log base) 2) 0))) (pow (log base) 4) 4 (- 0 (* (pow (log base) 2) 0)) (* (pow (log base) 2) 0) (pow (log base) 2) 2)
133.0ms
im
@-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) 1) (atan2 im re) im re 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) (/ 1 (/ 1 (log base)))) (/ 1 (/ 1 (log base))) (/ 1 (log base)) (/ (log (/ (pow base (atan2 im re)) 1)) (pow (log base) 2)) (log (/ (pow base (atan2 im re)) 1)) (/ (pow base (atan2 im re)) 1) (pow base (atan2 im re)) (pow (log base) 2) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (pow (exp 2) (log (neg (log base))))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (pow (exp 2) (log (neg (log base)))) (exp 2) (log (neg (log base))) (neg (log base)) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0))) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0)) (- (pow (log base) 4) 0) (pow (log base) 4) 4 0 (- (pow (log base) 2) 0))
129.0ms
y.im
@inf
((* (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)))) (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))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) x.re (* x.im x.im) x.im y.re (* (atan2 x.im x.re) y.im) (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.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))
117.0ms
x
@0
((/ (/ (- 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))) 3) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (* (neg x) x))) 1)) 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))) 3) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3))))) (- 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))) 3) 3)) 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))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (+ (* (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 (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)) (pow (exp x) x) (exp x) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (* (neg 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 (* (neg x) x))) 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 (* (neg x) x)) (* (neg x) x) (neg x) (- 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs x)))))) (- 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (+ (/ (+ (/ (- (/ (- (/ 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs 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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs 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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (+ (/ (+ (- (/ (/ (- (/ 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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* 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) (+ (* (fabs x) 3275911/10000000) 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) (+ (* (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))) -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)) (- 1 (* 10731592879921/100000000000000 (* x x))) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (* (neg x) x))) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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) (pow (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 (* (neg 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) (pow (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 (* (neg x) x))) 1)))

explain11.3s (5.7%)

Memory
26.8MiB live, 18 544.1MiB allocated; 2.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11380
-.f64#fcancellation7331
/.f64#fo/o6020
/.f64#fo/n2050
sin.f64#fsensitivity1841
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
sqrt.f32#foflow-rescue1750
+.f64#fcancellation1560
sqrt.f64#fuflow-rescue1460
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1293
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1201
-.f64#fnan-rescue1030
/.f64#fn/o870
*.f64#fn*u710
+.f64#fnan-rescue520
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/u510
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow86
↳(*.f64 i i)underflow104
↳(*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))underflow51
*.f64#fn*o400
/.f64#fu/n380
/.f64#fn/u100
log.f32#foflow-rescue20
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))overflow108
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow53
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))overflow108
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow53
*.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*u10
↳(*.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))))overflow1
↳(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)))overflow1
↳(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))))underflow1
Confusion
Predicted +Predicted -
+347960
-19910854
Precision
0.94589450788472
Recall
0.9830460582085335
Confusion?
Predicted +Predicted MaybePredicted -
+3479555
-199210852
Precision?
0.9454545454545454
Recall?
0.9844588866911557
Freqs
test
numberfreq
010914
13130
2545
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+3600
-0021
Precision?
1.0
Recall?
1.0
Samples
2.0s25 532×0valid
885.0ms2 652×1valid
558.0ms932×2valid
43.0ms64×3valid
5.0ms4×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult!: 556.0ms (24.8% of total)
adjust: 261.0ms (11.7% of total)
ival-add!: 208.0ms (9.3% of total)
ival-hypot: 199.0ms (8.9% of total)
ival-log: 190.0ms (8.5% of total)
ival-exp: 171.0ms (7.6% of total)
ival-div!: 138.0ms (6.2% of total)
ival-asin: 108.0ms (4.8% of total)
ival-sin: 60.0ms (2.7% of total)
ival-cos: 58.0ms (2.6% of total)
ival-neg: 55.0ms (2.5% of total)
ival-sub!: 53.0ms (2.4% of total)
ival-sqrt: 49.0ms (2.2% of total)
ival-atan2: 45.0ms (2% of total)
ival-fabs: 23.0ms (1% of total)
ival-pow: 21.0ms (0.9% of total)
ival-copysign: 20.0ms (0.9% of total)
ival-log1p: 8.0ms (0.4% of total)
ival-sinu: 7.0ms (0.3% of total)
ival-cosu: 6.0ms (0.3% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

regimes10.3s (5.2%)

Memory
140.3MiB live, 16 814.0MiB allocated; 2.8s collecting garbage
Counts
8 031 → 843
Calls

132 calls:

606.0ms
x
554.0ms
re
473.0ms
(fabs.f64 x)
473.0ms
im
446.0ms
y.im
Compiler

Compiled 13 211 to 9 399 computations (28.9% saved)

prune6.5s (3.3%)

Memory
-757.8MiB live, 11 285.2MiB allocated; 2.0s collecting garbage
Counts
93 403 → 2 910
Compiler

Compiled 314 307 to 128 732 computations (59% saved)

preprocess6.4s (3.2%)

Memory
275.6MiB live, 9 098.2MiB allocated; 1.5s collecting garbage
Stop Event
33×node-limit
24×saturated
Compiler

Compiled 150 002 to 42 648 computations (71.6% saved)

bsearch3.6s (1.8%)

Memory
185.8MiB live, 5 324.4MiB allocated; 1.0s collecting garbage
Algorithm
213×binary-search
208×left-value
Stop Event
197×narrow-enough
16×predicate-same
Samples
1.3s14 212×0valid
652.0ms1 879×1valid
97.0ms206×2valid
14.0ms55×3valid
Compiler

Compiled 140 613 to 76 988 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult!: 411.0ms (28.4% of total)
ival-hypot: 226.0ms (15.6% of total)
ival-log: 149.0ms (10.3% of total)
ival-exp: 131.0ms (9.1% of total)
ival-sin: 129.0ms (8.9% of total)
ival-sub!: 84.0ms (5.8% of total)
adjust: 78.0ms (5.4% of total)
ival-atan2: 74.0ms (5.1% of total)
ival-add!: 61.0ms (4.2% of total)
ival-cos: 54.0ms (3.7% of total)
ival-div!: 31.0ms (2.1% of total)
ival-sqrt: 16.0ms (1.1% of total)
ival-neg: 3.0ms (0.2% of total)
ival-fabs: 1.0ms (0.1% of total)

analyze2.3s (1.2%)

Memory
-44.9MiB live, 3 260.5MiB allocated; 758ms 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
7.2MiB live, 7.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...