Metrics for Herbie run

Date:	Saturday, January 25th, 2025
Commit:	9eb1a33e on no-localize
Seed:	2025025
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default
Memory:	329 581.3 MB

sample1.5min (37.8%)

Memory

1 566.4MiB live, 125 084.1MiB allocated; 35.3s collecting garbage

Samples

51.5s	433 753×	0	valid
10.1s	26 738×	1	valid
4.4s	9 200×	2	valid
2.4s	4 431×	0	invalid
849.0ms	8 127×	0	exit
726.0ms	902×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 51.2s

ival-mult: 14.2s (27.7% of total)

ival-add: 6.4s (12.5% of total)

const: 5.0s (9.8% of total)

ival-div: 3.7s (7.2% of total)

adjust: 3.2s (6.3% of total)

ival-exp: 3.1s (6.1% of total)

ival-hypot: 2.9s (5.7% of total)

ival-sub: 2.3s (4.5% of total)

ival-log: 2.2s (4.2% of total)

ival-asin: 1.3s (2.5% of total)

ival-sin: 1.1s (2.1% of total)

ival-cos: 1.1s (2.1% of total)

ival-atan2: 1.0s (2% of total)

ival-sqrt: 720.0ms (1.4% of total)

ival-asinh: 381.0ms (0.7% of total)

ival-acosh: 379.0ms (0.7% of total)

ival-sinu: 376.0ms (0.7% of total)

ival-pow: 341.0ms (0.7% of total)

exact: 336.0ms (0.7% of total)

ival-pi: 314.0ms (0.6% of total)

ival-neg: 202.0ms (0.4% of total)

ival-fabs: 192.0ms (0.4% of total)

ival-atanh: 188.0ms (0.4% of total)

ival-assert: 157.0ms (0.3% of total)

ival-cosu: 87.0ms (0.2% of total)

Bogosity

rewrite43.7s (17.9%)

Memory

757.3MiB live, 54 122.2MiB allocated; 14.3s collecting garbage

Stop Event

455×	iter limit
171×	node limit
18×	unsound
4×	saturated

Counts

32 549 → 66 969

eval18.7s (7.7%)

Memory: 85.2MiB live, 30 019.5MiB allocated; 7.6s collecting garbage
Compiler: Compiled 7 514 902 to 402 930 computations (94.6% saved)

derivations14.8s (6.1%)

Memory

-221.1MiB live, 15 284.4MiB allocated; 4.0s collecting garbage

Stop Event

34×	fuel
23×	done

Compiler

Compiled 37 680 to 4 577 computations (87.9% saved)

explain14.5s (5.9%)

Memory

-208.0MiB live, 21 572.4MiB allocated; 4.5s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1181	0
`-.f64`	`#f`	cancellation	771	4
`/.f64`	`#f`	o/o	648	0
`/.f64`	`#f`	o/n	208	0
`sqrt.f32`	`#f`	oflow-rescue	205	0
`sin.f64`	`#f`	sensitivity	188	2
`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)))`	sensitivity	185	0
`+.f64`	`#f`	cancellation	163	0
`sqrt.f64`	`#f`	uflow-rescue	154	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	140	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	114	0
`/.f64`	`#f`	n/o	99	0
`-.f64`	`#f`	nan-rescue	78	0
`/.f64`	`#f`	u/u	67	0
`*.f64`	`#f`	*nu**	47	0
`+.f64`	`#f`	nan-rescue	46	0
`/.f64`	`#f`	u/n	35	0
`*.f64`	`#f`	*no**	28	0
`/.f64`	`#f`	n/u	7	0
`*.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)))))`	*ou**	3	0
↳	`(.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))))`	overflow	4
↳	`(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)))`	overflow	4
↳	`(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))))`	underflow	3
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	2	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	2
↳	`(*.f32 x x)`	overflow	130
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	130
`exp.f64`	`#f`	sensitivity	2	0
`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-rescue	1	0
↳	`(+.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))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	71
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	119
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	69
`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-rescue	1	0
↳	`(+.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))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	71
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	119
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	69

Confusion

	Predicted +	Predicted -
+	3618	30
-	187	10757

Precision

0.9508541392904074

Recall

0.9917763157894737

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3618	5	25
-	187	2	10755

Precision?

0.9504197271773347

Recall?

0.9931469298245614

Freqs

test

number	freq
0	10787
1	3239
2	564
3	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	2	0	19

Precision?

0.9473684210526315

Recall?

1.0

Samples

3.5s	25 374×	0	valid
1.4s	2 802×	1	valid
751.0ms	938×	2	valid
28.0ms	64×	3	valid
3.0ms	6×	5	exit

Compiler

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

Precisions

Click to see histograms. Total time spent on operations: 3.7s

ival-mult: 938.0ms (25.5% of total)

adjust: 517.0ms (14.1% of total)

ival-add: 348.0ms (9.5% of total)

ival-hypot: 272.0ms (7.4% of total)

ival-div: 224.0ms (6.1% of total)

ival-exp: 223.0ms (6.1% of total)

const: 206.0ms (5.6% of total)

ival-log: 188.0ms (5.1% of total)

ival-sub: 166.0ms (4.5% of total)

ival-cos: 96.0ms (2.6% of total)

ival-pi: 88.0ms (2.4% of total)

ival-sin: 74.0ms (2% of total)

ival-asin: 63.0ms (1.7% of total)

ival-sqrt: 60.0ms (1.6% of total)

ival-atan2: 52.0ms (1.4% of total)

ival-true: 26.0ms (0.7% of total)

ival-pow: 23.0ms (0.6% of total)

ival-copysign: 22.0ms (0.6% of total)

exact: 21.0ms (0.6% of total)

ival-neg: 18.0ms (0.5% of total)

ival-fabs: 17.0ms (0.5% of total)

ival-assert: 13.0ms (0.4% of total)

ival-log1p: 7.0ms (0.2% of total)

ival-sinu: 7.0ms (0.2% of total)

ival-cosu: 6.0ms (0.2% of total)

series13.7s (5.6%)

Memory

357.1MiB live, 19 956.0MiB allocated; 5.0s collecting garbage

Counts

5 585 → 26 964

Calls

1185 calls:

Time	Variable		Point	Expression
1.0s	x	@	-inf	((* (* (/ 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)))))) (* (+ (* (pow (fabs x) -5) 3/4) (+ (* (pow (fabs x) -7) 15/8) (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1)))) (/ (pow (exp x) x) (sqrt (PI)))) (+ (* (pow (fabs x) -5) 3/4) (+ (* (pow (fabs x) -7) 15/8) (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1)))) (pow (fabs x) -5) (fabs x) x -5 3/4 (+ (* (pow (fabs x) -7) 15/8) (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1))) (pow (fabs x) -7) -7 15/8 (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1)) 1/2 (pow (fabs x) -3) -3 (pow (fabs x) -1) -1 (/ (pow (exp x) x) (sqrt (PI))) (pow (exp x) x) (exp x) (sqrt (PI)) (PI) (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (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))) (exp (* (fabs x) (fabs x)))) (/ 1 (sqrt (PI))) 1 (exp (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (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 (* x x)) (fabs x))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (+ (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x))) (/ 1 (fabs x)) (/ (/ 1/2 (* x x)) (fabs x)) (/ 1/2 (* x x)) (* x 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))) (* (* (/ 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))) (* (/ (pow (exp x) x) (sqrt (PI))) (+ (+ (+ (/ 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))))) (* (/ 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 (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)) (+ (* (+ (* 3/4 (pow (pow (fabs x) -1) 5)) (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1))) (/ (pow (exp x) x) (sqrt (PI)))) (* (* (/ (pow (exp x) x) (sqrt (PI))) (/ (pow (fabs x) -6) (fabs x))) 15/8)) (+ (* 3/4 (pow (pow (fabs x) -1) 5)) (+ (* 1/2 (pow (fabs x) -3)) (pow (fabs x) -1))) (pow (pow (fabs x) -1) 5) 5 (* (* (/ (pow (exp x) x) (sqrt (PI))) (/ (pow (fabs x) -6) (fabs x))) 15/8) (* (/ (pow (exp x) x) (sqrt (PI))) (/ (pow (fabs x) -6) (fabs x))) (/ (pow (fabs x) -6) (fabs x)) (pow (fabs x) -6) -6)
364.0ms	x	@	0	((/ (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))))) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))))) (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))))) (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x -1 (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))))) 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))) -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))) 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))) -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))) 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)) (- (* 10731592879921/100000000000000 (* x x)) 1) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) (- (* (fabs x) 3275911/10000000) 1) (* (fabs x) 3275911/10000000) (exp (* (neg x) x)) (* (neg x) x) (neg x) 3 (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)))) (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg 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) (+ (* -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)) (- (/ (- (/ 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 (+ (* -3275911/10000000 (fabs x)) -1) -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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg 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) (+ (* -3275911/10000000 (fabs 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) (/ (+ (/ (- (- (/ (/ 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 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) 8890523/31250000 (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -2) -2 (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (/ (- 1 (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (+ 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (- 1 (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x)))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (+ 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x)))))
194.0ms	base	@	-inf	((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (/ 1 (/ 1 (log base)))) (atan2 im re) im re (/ 1 (/ 1 (log base))) 1 (/ 1 (log base)) (log base) base (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (/ (atan2 im re) 1) (pow (log base) -1)) (/ (atan2 im re) 1) (pow (log base) -1) -1 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (pow (log base) 2)) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (pow (log base) 2) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (* (log (log base)) 2))) (exp (* (log (log base)) 2)) (* (log (log base)) 2) (log (log base)) (/ (- (* (* (log base) (atan2 im re)) (pow (log base) 2)) (* (pow (log base) 2) 0)) (exp (* (log (neg (log base))) 4))) (- (* (* (log base) (atan2 im re)) (pow (log base) 2)) (* (pow (log base) 2) 0)) (* (pow (log base) 3) (atan2 im re)) (pow (log base) 3) 3 (exp (* (log (neg (log base))) 4)) (* (log (neg (log base))) 4) (log (neg (log base))) (neg (log base)) 4)
190.0ms	x	@	inf	((/ (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))))) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))))) (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))))) (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3)) 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x -1 (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))))) 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))) -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))) 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))) -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))) 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)) (- (* 10731592879921/100000000000000 (* x x)) 1) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) (- (* (fabs x) 3275911/10000000) 1) (* (fabs x) 3275911/10000000) (exp (* (neg x) x)) (* (neg x) x) (neg x) 3 (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)))) (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3))) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg 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) (+ (* -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)) (- (/ (- (/ 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 (+ (* -3275911/10000000 (fabs x)) -1) -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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg 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) (+ (* -3275911/10000000 (fabs 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) (/ (+ (/ (- (- (/ (/ 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 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000))) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) 8890523/31250000 (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (pow (+ (* (fabs x) 3275911/10000000) 1) -2) -2 (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (/ (- 1 (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (+ 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (- 1 (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))))) (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x)))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (+ 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (* (neg x) x)))))
132.0ms	x	@	0	((/ (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))))) (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3)) 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) 3) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x -1 (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))))) 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))))) -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))))) 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)))) -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))) 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1)) (- (* 10731592879921/100000000000000 (* x x)) 1) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (* x x) (- (* (fabs x) 3275911/10000000) 1) (* (fabs x) 3275911/10000000) (exp (* (neg x) x)) (* (neg x) x) (neg x) 3 (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1421413741/1000000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (/ (- (* 10731592879921/100000000000000 (* x x)) 1) (- (* (fabs x) 3275911/10000000) 1))))))))))) (exp (* (neg x) x)))) (- 1 (* (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x)))) (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- (/ 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)) (+ (/ (+ (/ (- (/ (- (/ 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) 1453152027/1000000000 -1421413741/1000000000 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (/ (- (* (* (fabs x) 3275911/10000000) (* (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (/ (- (* (* (fabs x) 3275911/10000000) (* (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) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (/ (- (* (* (fabs x) 3275911/10000000) (* (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) (* (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) (* (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) (* (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) (* (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) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (/ (- (* (* (fabs x) 3275911/10000000) (* (fabs x) 3275911/10000000)) 1) (- (* (fabs x) 3275911/10000000) 1))) 1453152027/1000000000) (/ 1061405429/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)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (/ (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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 (* (neg 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) (pow (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) (pow (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) (pow (exp x) x))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)) (pow (exp x) x) (exp 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 (* (neg x) x))) 1))

preprocess13.4s (5.5%)

Memory

206.0MiB live, 16 696.6MiB allocated; 3.9s collecting garbage

Stop Event

114×	iter limit
72×	node limit
42×	saturated

Compiler

Compiled 90 954 to 14 829 computations (83.7% saved)

regimes11.8s (4.8%)

Memory

286.2MiB live, 19 140.9MiB allocated; 4.1s collecting garbage

Counts

7 816 → 845

Calls

132 calls:

1.0s	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) #s(literal 2 binary64))) #s(literal 1 binary64))
634.0ms	im
576.0ms	re
480.0ms	x
473.0ms	y.im

Compiler

Compiled 14 861 to 10 053 computations (32.4% saved)

prune9.0s (3.7%)

Memory: -503.6MiB live, 13 362.9MiB allocated; 4.9s collecting garbage
Counts: 93 180 → 2 712
Compiler: Compiled 297 742 to 121 487 computations (59.2% saved)

bsearch4.8s (2%)

Memory

200.4MiB live, 6 799.7MiB allocated; 1.0s collecting garbage

Algorithm

242×	binary-search
178×	left-value

Stop Event

228×	narrow-enough
14×	predicate-same

Samples

2.1s	15 466×	0	valid
812.0ms	1 822×	1	valid
17.0ms	69×	2	valid
5.0ms	19×	3	valid

Compiler

Compiled 158 530 to 89 183 computations (43.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.2s

ival-mult: 648.0ms (30% of total)

ival-exp: 201.0ms (9.3% of total)

ival-hypot: 182.0ms (8.4% of total)

adjust: 154.0ms (7.1% of total)

ival-add: 147.0ms (6.8% of total)

const: 145.0ms (6.7% of total)

ival-sin: 139.0ms (6.4% of total)

ival-log: 102.0ms (4.7% of total)

ival-div: 100.0ms (4.6% of total)

ival-sub: 99.0ms (4.6% of total)

ival-cos: 75.0ms (3.5% of total)

ival-atan2: 75.0ms (3.5% of total)

ival-sqrt: 51.0ms (2.4% of total)

ival-true: 13.0ms (0.6% of total)

ival-neg: 9.0ms (0.4% of total)

ival-assert: 7.0ms (0.3% of total)

exact: 6.0ms (0.3% of total)

ival-sinu: 4.0ms (0.2% of total)

ival-pow: 3.0ms (0.1% of total)

ival-pi: 1.0ms (0% of total)

ival-fabs: 1.0ms (0% of total)

analyze4.3s (1.8%)

Memory

66.7MiB live, 3 955.6MiB allocated; 3.5s collecting garbage

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

simplify2.9s (1.2%)

Memory

105.3MiB live, 3 576.9MiB allocated; 572ms collecting garbage

Stop Event

36×	node limit
21×	saturated

start4.0ms (0%)

Memory: 9.0MiB live, 8.9MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 1.4MiB live, 1.2MiB allocated; 0ms collecting garbage

sample1.5min (37.8%)

rewrite43.7s (17.9%)

eval18.7s (7.7%)

derivations14.8s (6.1%)

explain14.5s (5.9%)

series13.7s (5.6%)

preprocess13.4s (5.5%)

regimes11.8s (4.8%)

prune9.0s (3.7%)

bsearch4.8s (2%)

analyze4.3s (1.8%)

simplify2.9s (1.2%)

start4.0ms (0%)

end0.0ms (0%)

Profiling