Herbie run

Date:Wednesday, March 26th, 2025
Commit:a931ba94 on hardware-accelerators
Seed:2025085
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:275 222.5 MB

Time bar (total: 3.9min)

sample1.2min (30%)

Memory
1 273.1MiB live, 80 918.7MiB allocated; 26.5s collecting garbage
Samples
37.6s434 071×0valid
6.5s21 286×1valid
2.1s6 038×2valid
1.1s4 339×0invalid
724.0ms9 110×0exit
661.0ms454×5exit
298.0ms982×3valid
Precisions
Click to see histograms. Total time spent on operations: 31.1s
ival-mult!: 9.5s (30.4% of total)
ival-hypot: 3.0s (9.5% of total)
ival-exp: 3.0s (9.5% of total)
ival-div!: 2.9s (9.5% of total)
ival-add!: 2.8s (8.9% of total)
ival-log: 1.5s (4.8% of total)
adjust: 1.3s (4.2% of total)
ival-sin: 1.2s (3.9% of total)
ival-sub!: 1.1s (3.7% of total)
ival-cos: 904.0ms (2.9% of total)
ival-atan2: 775.0ms (2.5% of total)
ival-asin: 531.0ms (1.7% of total)
ival-sinu: 420.0ms (1.3% of total)
ival-pow: 389.0ms (1.2% of total)
ival-acosh: 352.0ms (1.1% of total)
ival-sqrt: 326.0ms (1% of total)
ival-asinh: 316.0ms (1% of total)
ival-neg: 299.0ms (1% of total)
ival-fabs: 290.0ms (0.9% of total)
ival-atanh: 166.0ms (0.5% of total)
ival-cosu: 89.0ms (0.3% of total)
const: 1.0ms (0% of total)
Bogosity

rewrite44.7s (19.3%)

Memory
613.9MiB live, 48 040.9MiB allocated; 14.2s collecting garbage
Stop Event
447×iter limit
171×node limit
15×unsound
4×saturated
Counts
32 383 → 64 153

eval30.5s (13.2%)

Memory
50.9MiB live, 42 083.7MiB allocated; 12.3s collecting garbage
Samples
4.9s57 614×0valid
3.5s46 456×0invalid
56.0ms122×1valid
Compiler

Compiled 7 759 599 to 411 236 computations (94.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-mult!: 3.3s (79.9% of total)
ival-add!: 806.0ms (19.6% of total)
adjust: 21.0ms (0.5% of total)

series16.0s (6.9%)

Memory
380.8MiB live, 20 846.3MiB allocated; 5.8s collecting garbage
Counts
5 333 → 27 050
Calls

1161 calls:

TimeVariablePointExpression
984.0ms
x
@-inf
((log (+ x (sqrt (- (* x x) 1)))) (+ (neg (neg (log x))) (log 2)) (neg (neg (log x))) (neg (log x)) (log x) x (log 2) 2)
449.0ms
im
@-inf
((* (* 1/2 (cos re)) (+ (exp (neg im)) (exp im))) (* 1/2 (cos re)) 1/2 (cos re) re (+ (exp (neg im)) (exp im)) (exp (neg im)) (neg im) im (exp im))
427.0ms
x
@0
((/ (/ (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))))) (+ 1 (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))))) (/ (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))))) (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (exp (* (neg x) x)) (* (neg x) x) (neg x) x (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (fabs x) 3275911/10000000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 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) 1453152027/1000000000 -1421413741/1000000000 (+ (* (* x x) -10731592879921/100000000000000) 1) (* x x) -10731592879921/100000000000000 -8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) -1) -1 31853699/125000000 3 (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)))) (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (+ 1 (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)))))) (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))) (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 2 (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (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) (+ (* -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)) (+ (/ (+ (/ (- (/ (- (/ 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)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (neg (* (fabs x) (fabs x)))) (+ (* (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* 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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* -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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* -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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* 10731592879921/100000000000000 (* x x)) 1) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (- (* -3275911/10000000 (fabs x)) -1) (* -3275911/10000000 (fabs x)) (exp (neg (* (fabs x) (fabs x)))) (+ (* (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* x x)) 1) (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* (+ (* -1/6 (* x x)) 1/2) (* x x)) (+ (* -1/6 (* x x)) 1/2) -1/6 1/2 (- 1 (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x))))) (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x)))) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (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) 1) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x))) (/ (- 1 (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2)) (+ 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))) (- 1 (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2)) (+ 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)))))
263.0ms
x
@inf
((/ (/ (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))))) (+ 1 (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))))) (/ (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))))) (- 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3)) 1 (pow (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (exp (* (neg x) x)) (* (neg x) x) (neg x) x (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (fabs x) 3275911/10000000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 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) 1453152027/1000000000 -1421413741/1000000000 (+ (* (* x x) -10731592879921/100000000000000) 1) (* x x) -10731592879921/100000000000000 -8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) -1) -1 31853699/125000000 3 (+ 1 (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)))) (+ (* (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3) (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3))) (* 1 (pow (* (* (exp (* (neg x) x)) (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 3)) (+ 1 (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)))))) (+ (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))) (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2) (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 2 (* 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (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) (+ (* -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)) (+ (/ (+ (/ (- (/ (- (/ 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)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (neg (* (fabs x) (fabs x)))) (+ (* (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* 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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* -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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* -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) (- (* 10731592879921/100000000000000 (* x x)) 1)) (- (* 10731592879921/100000000000000 (* x x)) 1) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (- (* -3275911/10000000 (fabs x)) -1) (* -3275911/10000000 (fabs x)) (exp (neg (* (fabs x) (fabs x)))) (+ (* (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* x x)) 1) (- (* (+ (* -1/6 (* x x)) 1/2) (* x x)) 1) (* (+ (* -1/6 (* x x)) 1/2) (* x x)) (+ (* -1/6 (* x x)) 1/2) -1/6 1/2 (- 1 (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x))))) (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x)))) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (* x x) -10731592879921/100000000000000) 1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (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) (* (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) 1) (* (- 1 (* (fabs x) 3275911/10000000)) (exp (* (neg x) x))) (/ (- 1 (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2)) (+ 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))))) (- 1 (pow (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1))) 2)) (+ 1 (* (exp (* (neg x) x)) (* (+ (* (+ (* (- 1 (* (fabs x) 3275911/10000000)) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (* x x) -10731592879921/100000000000000) 1))) -8890523/31250000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)) 31853699/125000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -1)))))
132.0ms
x.im
@-inf
((* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* 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 (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* y.im (+ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (/ (* y.re (atan2 x.im x.re)) y.im))) (+ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (/ (* y.re (atan2 x.im x.re)) y.im)) (* y.re (+ (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re) (/ (atan2 x.im x.re) y.im))) (+ (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re) (/ (atan2 x.im x.re) y.im)) (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (sqrt (+ (* x.im x.im) (* x.re x.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))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (sin (* y.re (atan2 x.im x.re))) (* y.re (atan2 x.im x.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (+ 1 (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re))) 1 (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (+ x.re (* 1/2 (/ (* x.im x.im) x.re))) (* 1/2 (/ (* x.im x.im) x.re)) 1/2 (/ (* x.im x.im) x.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (exp (- (* y.re (log x.re)) (* y.im (atan2 x.im x.re)))) (sin (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re))))) (* (exp (neg (* y.im (atan2 x.im x.re)))) (sin (* y.im (log x.re)))) (exp (neg (* y.im (atan2 x.im x.re)))) (neg (* y.im (atan2 x.im x.re))) (* y.im (atan2 x.im x.re)) (sin (* y.im (log x.re))) (* y.im (log x.re)) (log x.re) (* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (pow (exp -1) (* y.im (atan2 x.im x.re))) (exp -1) -1 (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

preprocess15.7s (6.8%)

Memory
-32.0MiB live, 14 363.9MiB allocated; 5.6s collecting garbage
Stop Event
112×iter limit
70×node limit
42×saturated
Compiler

Compiled 84 545 to 13 796 computations (83.7% saved)

explain13.0s (5.6%)

Memory
-163.1MiB live, 16 595.9MiB allocated; 3.6s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11520
/.f64#fo/o6230
-.f64#fcancellation4791
sqrt.f32#foflow-rescue2110
/.f64#fo/n1940
sin.f64#fsensitivity1801
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)))sensitivity1760
+.f64#fcancellation1691
sqrt.f64#fuflow-rescue1450
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1240
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1231
-.f64#fnan-rescue1110
/.f64#fn/o960
/.f64#fu/u770
*.f64#fn*u610
*.f64#fn*o380
+.f64#fnan-rescue380
/.f64#fu/n340
/.f64#fn/u130
exp.f64#fsensitivity60
log.f32#foflow-rescue50
*.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*u30
↳(*.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))))overflow4
↳(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)))overflow4
↳(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))))underflow3
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)overflow68
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow114
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow64
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)overflow68
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow114
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow64
Confusion
Predicted +Predicted -
+331634
-18110805
Precision
0.9482413497283386
Recall
0.9898507462686568
Confusion?
Predicted +Predicted MaybePredicted -
+3316331
-181310802
Precision?
0.9474735940622324
Recall?
0.9907462686567164
Freqs
test
numberfreq
010839
12937
2557
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+3500
-4017
Precision?
0.8974358974358975
Recall?
1.0
Samples
2.5s25 498×0valid
819.0ms2 360×1valid
482.0ms754×2valid
34.0ms54×3valid
2.0ms6×5exit
Compiler

Compiled 13 441 to 2 246 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult!: 666.0ms (30.2% of total)
ival-log: 223.0ms (10.1% of total)
adjust: 194.0ms (8.8% of total)
ival-add!: 191.0ms (8.7% of total)
ival-exp: 178.0ms (8.1% of total)
ival-hypot: 168.0ms (7.6% of total)
ival-div!: 130.0ms (5.9% of total)
ival-atan2: 119.0ms (5.4% of total)
ival-cos: 65.0ms (3% of total)
ival-sub!: 63.0ms (2.9% of total)
ival-sin: 62.0ms (2.8% of total)
ival-sqrt: 29.0ms (1.3% of total)
ival-copysign: 27.0ms (1.2% of total)
ival-pow: 23.0ms (1% of total)
ival-fabs: 22.0ms (1% of total)
ival-neg: 20.0ms (0.9% of total)
ival-log1p: 9.0ms (0.4% of total)
ival-sinu: 8.0ms (0.4% of total)
ival-cosu: 6.0ms (0.3% of total)
const: 1.0ms (0% of total)

derivations13.0s (5.6%)

Memory
75.6MiB live, 13 144.6MiB allocated; 2.3s collecting garbage
Stop Event
33×fuel
23×done
Compiler

Compiled 35 147 to 4 232 computations (88% saved)

regimes11.8s (5.1%)

Memory
-5.6MiB live, 15 808.9MiB allocated; 3.9s collecting garbage
Counts
7 894 → 846
Calls

126 calls:

809.0ms
(*.f64 #s(literal 1/2 binary64) (cos.f64 re))
706.0ms
re
690.0ms
im
543.0ms
x.re
539.0ms
x
Compiler

Compiled 14 164 to 9 694 computations (31.6% saved)

prune7.8s (3.4%)

Memory
-95.4MiB live, 13 164.6MiB allocated; 2.2s collecting garbage
Counts
90 604 → 2 671
Samples
315.0ms3 872×0valid
125.0ms1 760×0invalid
Compiler

Compiled 311 125 to 126 488 computations (59.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 167.0ms
ival-mult!: 134.0ms (80% of total)
ival-add!: 33.0ms (19.7% of total)
adjust: 1.0ms (0.6% of total)

simplify3.2s (1.4%)

Memory
-67.3MiB live, 3 210.5MiB allocated; 544ms collecting garbage
Stop Event
38×node limit
18×saturated

bsearch3.2s (1.4%)

Memory
184.3MiB live, 4 108.9MiB allocated; 812ms collecting garbage
Algorithm
223×left-value
214×binary-search
Stop Event
204×narrow-enough
10×predicate-same
Samples
1.3s13 180×0valid
445.0ms1 107×1valid
34.0ms200×2valid
21.0ms89×3valid
Compiler

Compiled 126 946 to 73 000 computations (42.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult!: 451.0ms (36.2% of total)
ival-hypot: 135.0ms (10.8% of total)
ival-log: 118.0ms (9.5% of total)
ival-exp: 108.0ms (8.7% of total)
ival-sin: 102.0ms (8.2% of total)
ival-div!: 82.0ms (6.6% of total)
ival-add!: 55.0ms (4.4% of total)
adjust: 49.0ms (3.9% of total)
ival-atan2: 44.0ms (3.5% of total)
ival-cos: 40.0ms (3.2% of total)
ival-sub!: 29.0ms (2.3% of total)
ival-sqrt: 18.0ms (1.4% of total)
ival-neg: 15.0ms (1.2% of total)
ival-fabs: 0.0ms (0% of total)

analyze3.1s (1.3%)

Memory
-101.0MiB live, 2 928.0MiB allocated; 1.9s 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)

start18.0ms (0%)

Memory
-34.5MiB live, 6.5MiB allocated; 49ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...