Herbie run

Date:Wednesday, April 30th, 2025
Commit:77680327 on prove-soundness
Seed:2025120
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:219 734.9 MB

Time bar (total: 3.3min)

sample1.2min (36.9%)

Memory
1 398.3MiB live, 81 682.6MiB allocated; 30.1s collecting garbage
Samples
37.7s433 973×0valid
6.9s26 259×1valid
5.6s9 397×2valid
1.1s4 319×0invalid
807.0ms8 255×0exit
332.0ms973×3valid
Precisions
Click to see histograms. Total time spent on operations: 34.7s
ival-mult!: 10.9s (31.5% of total)
ival-exp: 3.3s (9.6% of total)
ival-add!: 3.0s (8.5% of total)
ival-hypot: 2.4s (6.9% of total)
ival-log: 2.4s (6.8% of total)
ival-div!: 2.1s (6.1% of total)
ival-asin: 1.9s (5.5% of total)
adjust: 1.6s (4.7% of total)
ival-sin: 1.2s (3.5% of total)
ival-sub!: 1.0s (3% of total)
ival-cos: 987.0ms (2.8% of total)
ival-atan2: 879.0ms (2.5% of total)
ival-sqrt: 723.0ms (2.1% of total)
ival-pow: 535.0ms (1.5% of total)
ival-acosh: 480.0ms (1.4% of total)
ival-asinh: 302.0ms (0.9% of total)
ival-sinu: 292.0ms (0.8% of total)
ival-fabs: 223.0ms (0.6% of total)
ival-neg: 211.0ms (0.6% of total)
ival-atanh: 128.0ms (0.4% of total)
ival-cosu: 101.0ms (0.3% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite42.0s (21%)

Memory
1 136.2MiB live, 44 111.6MiB allocated; 14.8s collecting garbage
Stop Event
470×iter-limit
178×node-limit
15×unsound
4×saturated
Counts
28 781 → 61 430

series23.1s (11.5%)

Memory
1 250.3MiB live, 27 577.7MiB allocated; 9.1s collecting garbage
Counts
5 212 → 23 569
Calls

1203 calls:

TimeVariablePointExpression
7.9s
x
@0
((/ (/ (- 1 (pow (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) 3)) (+ 1 (+ (* (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (* 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3))))) (+ 1 (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))))))) (/ (- 1 (pow (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) 3)) (+ 1 (+ (* (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (* 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3))))) (- 1 (pow (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) 3)) 1 (pow (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) 3) (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) x (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (fabs x) 3275911/10000000 (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))))))) 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))))) -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))) 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)) -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000) 1061405429/1000000000 (exp (neg (* x x))) (neg (* x x)) 3 (+ 1 (+ (* (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (* 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)))) (+ (* (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (* 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3))) (* 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (+ 1 (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))))) (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (- 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))) (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))))))) (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)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))))) (/ (+ (+ (/ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (+ (/ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (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)) (+ (* (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)) (+ (* (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)) (- (/ (- (/ 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) 1453152027/1000000000 -1421413741/1000000000 (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (- 1 (* (* (/ (+ (/ (+ (/ (- (- (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (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)) (+ (* (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)) (+ (* (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)) (+ (* (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)))) (+ (/ (+ (/ (- (- (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (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)) (+ (* (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)) (+ (* (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)) (+ (* (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)) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) -1421413741/1000000000) (- (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (/ (- 1 (* (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))) (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))))) (+ 1 (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))))) (- 1 (* (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))) (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))))) (* (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))) (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x))))) (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x)))) (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (- 1 (* -3275911/10000000 (fabs x))) (* -3275911/10000000 (fabs x)) -3275911/10000000 (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)))) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* -3275911/10000000 (fabs x)) -1) -1 (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) 8890523/31250000 (+ 1 (* (* (/ 1 (- 1 (* -3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* x x))))))
1.1s
x
@0
((* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (+ (* (+ (/ 1/2 (* x x)) 1) (/ 1 (fabs x))) (+ (* (pow (fabs x) -7) 15/8) (* (pow (fabs x) -5) 3/4))) (/ (exp (* x x)) (sqrt (PI)))) (+ (* (+ (/ 1/2 (* x x)) 1) (/ 1 (fabs x))) (+ (* (pow (fabs x) -7) 15/8) (* (pow (fabs x) -5) 3/4))) (+ (/ 1/2 (* x x)) 1) (/ 1/2 (* x x)) 1/2 (* x x) x 1 (/ 1 (fabs x)) (fabs x) (+ (* (pow (fabs x) -7) 15/8) (* (pow (fabs x) -5) 3/4)) (pow (fabs x) -7) -7 15/8 (* (pow (fabs x) -5) 3/4) (pow (fabs x) -5) -5 3/4 (/ (exp (* x x)) (sqrt (PI))) (exp (* x x)) (sqrt (PI)) (PI) (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (- (/ 1 (fabs x)) (- (/ -1/2 (* (* (fabs x) x) x)) (* (/ 1 (fabs x)) (+ (* 3/4 (/ 1 (* (* (* x x) x) x))) (* (pow (fabs x) -6) 15/8)))))) (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (- (/ 1 (fabs x)) (- (/ -1/2 (* (* (fabs x) x) x)) (* (/ 1 (fabs x)) (+ (* 3/4 (/ 1 (* (* (* x x) x) x))) (* (pow (fabs x) -6) 15/8))))) (- (/ -1/2 (* (* (fabs x) x) x)) (* (/ 1 (fabs x)) (+ (* 3/4 (/ 1 (* (* (* x x) x) x))) (* (pow (fabs x) -6) 15/8)))) (/ -1/2 (* (* (fabs x) x) x)) -1/2 (* (* (fabs x) x) x) (* (fabs x) x) (* (/ 1 (fabs x)) (+ (* 3/4 (/ 1 (* (* (* x x) x) x))) (* (pow (fabs x) -6) 15/8))) (+ (* 3/4 (/ 1 (* (* (* x x) x) x))) (* (pow (fabs x) -6) 15/8)) (/ 1 (* (* (* x x) x) x)) (* (* (* x x) x) x) (* (* x x) x) (* (pow (fabs x) -6) 15/8) (pow (fabs x) -6) -6 (* (* (/ 1 (sqrt (PI))) (pow (exp x) x)) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (/ 1 (sqrt (PI))) (pow (exp x) x)) (pow (exp x) x) (exp x) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 2) 2 (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 3 4) 3 4 (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 15 8) 15 8 (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (sqrt (PI))) (pow (exp (neg (fabs x))) (neg (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (/ 1 (sqrt (PI))) (pow (exp (neg (fabs x))) (neg (fabs x)))) (pow (exp (neg (fabs x))) (neg (fabs x))) (exp (neg (fabs x))) (neg (fabs x)))
660.0ms
x
@0
((/ (- 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) (+ 1 (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))))))) (- 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3)) 1 (pow (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) 3) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) x (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (fabs x) 3275911/10000000 (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))))))) 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))))) -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)))) 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000)) -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000) 1061405429/1000000000 (exp (neg (* x x))) (neg (* x x)) 3 (+ 1 (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))))) (+ (* (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x)))))) (* 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* x x))))) (- 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 31853699/125000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -8890523/31250000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ 1421413741/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ -1453152027/1000000000 (* (* (/ 1 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))) (* (exp (neg (* x x))) (* (+ 31853699/125000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) 8890523/31250000))) (- 1 (* 3275911/10000000 (fabs x))))) (* (+ 31853699/125000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) 8890523/31250000))) (- 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) 8890523/31250000))) (* (- 1 (* 3275911/10000000 (fabs x))) (- (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) 8890523/31250000)) (- 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) (- (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) 8890523/31250000) (* (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (- 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000))) (* (- 1 (* 3275911/10000000 (fabs x))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000)) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000) (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000 8890523/31250000 (- 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)))) (+ (/ (+ (/ (- (/ (- (/ 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) -1421413741/1000000000 (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) (exp (* x x)))) 2)) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) (- 1 (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) (exp (* x x)))) 2)) (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) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) 2 (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1))
491.0ms
d4
@0
((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (- (+ (+ (neg d1) d4) d2) d3) d1) (- (+ (+ (neg d1) d4) d2) d3) (+ (+ (neg d1) d4) d2) (+ (neg d1) d4) (neg d1) d1 d4 d2 d3 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (- (+ d4 d2) d3) d1) (- (+ d4 d2) d3) (+ d4 d2) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d4 d1) (* d1 d1))
183.0ms
u2
@inf
((+ (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (pow (* (log u1) -2) 1/4) (* (log u1) -2) (log u1) u1 -2 1/4 (* (pow (* (log u1) -2) 1/4) 1/6) 1/6 (cos (* (* 2 (PI)) u2)) (* (* 2 (PI)) u2) (* 2 (PI)) 2 (PI) u2 1/2 (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (* 1/6 (sqrt (neg (log u1)))) (sqrt 2)) 1/2) (* 1/6 (sqrt (neg (log u1)))) (sqrt (neg (log u1))) (neg (log u1)) (sqrt 2) (+ (* (* (cos (* (* 2 (PI)) u2)) (sqrt (* (log u1) -2))) 1/6) 1/2) (* (cos (* (* 2 (PI)) u2)) (sqrt (* (log u1) -2))) (cos (* (* 2 (PI)) u2)) (+ (* (* -2 (* u2 u2)) (* (PI) (PI))) 1) (* -2 (* u2 u2)) (* u2 u2) (* (PI) (PI)) 1 (sqrt (* (log u1) -2)) (+ (* (* (* (sqrt 2) (cos (* u2 (+ (PI) (PI))))) 1/6) (sqrt (neg (log u1)))) 1/2) (* (* (sqrt 2) (cos (* u2 (+ (PI) (PI))))) 1/6) (* (sqrt 2) (cos (* u2 (+ (PI) (PI))))) (+ (* (* (* (* (PI) (PI)) (sqrt 2)) (* u2 u2)) -2) (sqrt 2)) (* (* (* (PI) (PI)) (sqrt 2)) (* u2 u2)) (* (* (PI) (PI)) (sqrt 2)) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (- (* (* (sqrt (* (log u1) -2)) 1/6) (* (sqrt (* (log u1) -2)) 1/6)) 1/4) (- (* (sqrt (* (log u1) -2)) 1/6) 1/2)) (- (* (* (sqrt (* (log u1) -2)) 1/6) (* (sqrt (* (log u1) -2)) 1/6)) 1/4) (* (* (sqrt (* (log u1) -2)) 1/6) (* (sqrt (* (log u1) -2)) 1/6)) (* (sqrt (* (log u1) -2)) 1/6) (- (* (sqrt (* (log u1) -2)) 1/6) 1/2))

preprocess13.3s (6.6%)

Memory
-875.7MiB live, 12 305.1MiB allocated; 5.5s collecting garbage
Stop Event
49×node-limit
8×saturated
Compiler

Compiled 52 728 to 33 950 computations (35.6% saved)

derivations12.7s (6.3%)

Memory
9.6MiB live, 11 582.6MiB allocated; 2.2s collecting garbage
Stop Event
37×fuel
20×done
Compiler

Compiled 8 991 to 4 001 computations (55.5% saved)

eval12.4s (6.2%)

Memory
-211.1MiB live, 15 434.4MiB allocated; 5.4s collecting garbage
Compiler

Compiled 1 522 465 to 304 885 computations (80% saved)

regimes11.0s (5.5%)

Memory
-4.6MiB live, 12 861.9MiB allocated; 4.4s collecting garbage
Counts
6 440 → 760
Calls

132 calls:

1.1s
x.re
943.0ms
y.re
600.0ms
(fabs.f64 x)
552.0ms
x
546.0ms
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
Compiler

Compiled 12 472 to 9 794 computations (21.5% saved)

prune5.8s (2.9%)

Memory
-602.0MiB live, 7 333.8MiB allocated; 3.4s collecting garbage
Counts
58 550 → 2 668
Compiler

Compiled 180 162 to 116 893 computations (35.1% saved)

bsearch3.3s (1.6%)

Memory
136.9MiB live, 4 212.6MiB allocated; 773ms collecting garbage
Algorithm
191×left-value
178×binary-search
Stop Event
173×narrow-enough
5×predicate-same
Samples
1.1s11 854×0valid
689.0ms1 488×1valid
120.0ms218×2valid
2.0ms8×3valid
Compiler

Compiled 95 072 to 74 635 computations (21.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult!: 335.0ms (25.1% of total)
adjust: 178.0ms (13.3% of total)
ival-hypot: 162.0ms (12.1% of total)
ival-log: 110.0ms (8.2% of total)
ival-sin: 109.0ms (8.2% of total)
ival-add!: 98.0ms (7.3% of total)
ival-atan2: 88.0ms (6.6% of total)
ival-div!: 67.0ms (5% of total)
ival-exp: 61.0ms (4.6% of total)
ival-cos: 40.0ms (3% of total)
ival-asin: 37.0ms (2.8% of total)
ival-sub!: 29.0ms (2.2% of total)
ival-sqrt: 14.0ms (1% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-neg: 1.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

analyze2.7s (1.3%)

Memory
108.8MiB live, 2 625.3MiB allocated; 1.3s collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...