Metrics for Herbie run

Date:	Wednesday, September 11th, 2024
Commit:	b5881a3c on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024255
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.8min (22.9%)

Memory

977.8MiB live, 109 601.5MiB allocated

Samples

3.1min	438 856×	0	valid
6.5s	22 371×	1	valid
4.4s	8 523×	2	valid
2.8s	4 437×	0	invalid
1.1s	8 741×	0	exit
340.0ms	875×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 2.5min

ival-mult: 1.6min (66.1% of total)

ival-add: 19.4s (13.1% of total)

const: 4.6s (3.1% of total)

ival-div: 4.6s (3.1% of total)

ival-exp: 3.4s (2.3% of total)

ival-hypot: 2.4s (1.6% of total)

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

ival-log: 2.3s (1.5% of total)

ival-asin: 1.6s (1.1% of total)

ival-cos: 1.3s (0.9% of total)

adjust: 1.2s (0.8% of total)

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

ival-sin: 973.0ms (0.7% of total)

ival-sqrt: 788.0ms (0.5% of total)

ival-pow: 624.0ms (0.4% of total)

ival->: 444.0ms (0.3% of total)

exact: 380.0ms (0.3% of total)

ival-pi: 354.0ms (0.2% of total)

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

ival-acosh: 308.0ms (0.2% of total)

ival-asinh: 289.0ms (0.2% of total)

ival-true: 285.0ms (0.2% of total)

ival-atanh: 263.0ms (0.2% of total)

ival-neg: 233.0ms (0.2% of total)

ival-<=: 211.0ms (0.1% of total)

ival-fabs: 210.0ms (0.1% of total)

ival-assert: 204.0ms (0.1% of total)

ival-cosu: 122.0ms (0.1% of total)

ival->=: 103.0ms (0.1% of total)

ival-and: 77.0ms (0.1% of total)

Bogosity

soundness3.3min (19.6%)

Memory

-400.9MiB live, 38 729.0MiB allocated

Rules

2 043 850×	`lower-fma.f32`
2 043 372×	`lower-fma.f64`
1 033 140×	`lower-*.f32`
1 031 718×	`lower-*.f64`
600 316×	`lower-+.f32`

Stop Event

359×	iter limit
226×	node limit
37×	fuel
20×	done
4×	saturated
3×	unsound

Compiler

Compiled 43 620 to 19 355 computations (55.6% saved)

end2.2min (13%)

Memory: 1.6MiB live, 6 570.2MiB allocated

rewrite2.1min (12.6%)

Memory

38.2MiB live, 48 905.1MiB allocated

Rules

948 672×	`lower-fma.f32`
947 894×	`lower-fma.f64`
772 852×	`lower-*.f32`
770 876×	`lower-*.f64`
610 642×	`lower-/.f32`

Stop Event

416×	iter limit
189×	node limit
5×	saturated
4×	unsound

Counts

2 863 → 109 741

simplify1.8min (10.9%)

Memory

616.9MiB live, 72 671.0MiB allocated

Algorithm

453×	egg-herbie

Rules

3 471 972×	`lower-fma.f32`
3 471 192×	`lower-fma.f64`
1 326 592×	`lower-*.f32`
1 324 418×	`lower-*.f64`
832 908×	`lower-+.f32`

Stop Event

594×	iter limit
273×	node limit
180×	saturated

Counts

57 468 → 56 723

eval1.2min (7.2%)

Memory: 127.6MiB live, 72 805.0MiB allocated
Compiler: Compiled 10 834 621 to 591 785 computations (94.5% saved)

localize33.2s (3.3%)

Memory

-559.5MiB live, 42 782.0MiB allocated

Samples

14.1s	41 468×	0	valid
5.2s	4 075×	1	valid
3.3s	1 743×	2	valid
1.4s	2 590×	0	invalid
476.0ms	439×	1	exit
195.0ms	101×	3	valid
166.0ms	123×	5	exit
71.0ms	147×	0	exit
4.0ms	1×	2	exit
1.0ms	1×	4	valid

Compiler

Compiled 78 100 to 6 406 computations (91.8% saved)

Precisions

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

ival-mult: 5.5s (29.3% of total)

ival-add: 2.4s (13% of total)

ival-div: 2.4s (12.6% of total)

adjust: 1.1s (5.8% of total)

ival-sub: 1.1s (5.7% of total)

ival-pow: 901.0ms (4.8% of total)

ival-log: 896.0ms (4.8% of total)

const: 851.0ms (4.5% of total)

ival-neg: 603.0ms (3.2% of total)

ival-exp: 543.0ms (2.9% of total)

ival-hypot: 531.0ms (2.8% of total)

ival-sqrt: 434.0ms (2.3% of total)

ival-asin: 244.0ms (1.3% of total)

ival-cos: 175.0ms (0.9% of total)

ival-sin: 159.0ms (0.8% of total)

ival-pow2: 152.0ms (0.8% of total)

ival-copysign: 125.0ms (0.7% of total)

ival-acos: 123.0ms (0.7% of total)

ival-atan2: 101.0ms (0.5% of total)

ival-log1p: 94.0ms (0.5% of total)

exact: 93.0ms (0.5% of total)

ival-true: 45.0ms (0.2% of total)

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

ival-fabs: 43.0ms (0.2% of total)

ival-pi: 37.0ms (0.2% of total)

ival-e: 34.0ms (0.2% of total)

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

ival-assert: 23.0ms (0.1% of total)

ival-cosh: 16.0ms (0.1% of total)

regimes23.7s (2.4%)

Memory

-99.2MiB live, 20 534.3MiB allocated

Counts

9 527 → 945

Calls

132 calls:

4.0s	(*.f64 (exp.f64 re) (cos.f64 im))
791.0ms	x
784.0ms	re
773.0ms	im
622.0ms	y.re

Compiler

Compiled 13 535 to 9 848 computations (27.2% saved)

explain20.9s (2.1%)

Memory

-186.6MiB live, 19 238.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1181	0
`-.f64`	`#f`	cancellation	798	1
`/.f64`	`#f`	o/o	658	0
`sqrt.f32`	`#f`	oflow-rescue	200	0
`sin.f64`	`#f`	sensitivity	179	2
`/.f64`	`#f`	o/n	179	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)))`	sensitivity	178	0
`+.f64`	`#f`	cancellation	149	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	137	1
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	130	0
`sqrt.f64`	`#f`	uflow-rescue	120	0
`/.f64`	`#f`	n/o	98	0
`-.f64`	`#f`	nan-rescue	94	0
`/.f64`	`#f`	u/u	72	0
`+.f64`	`#f`	nan-rescue	58	0
`*.f64`	`#f`	*nu**	58	0
`/.f64`	`#f`	u/n	41	0
`*.f64`	`#f`	*no**	31	0
`exp.f64`	`#f`	sensitivity	8	2
`/.f64`	`#f`	n/u	5	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	4	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	4
↳	`(*.f32 x x)`	overflow	138
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	138
`*.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**	2	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	2
↳	`(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	2
↳	`(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	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)))`	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	63
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.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	60
`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	63
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	109
↳	`(.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	60

Confusion

	Predicted +	Predicted -
+	3646	285
-	203	10458

Precision

0.947259028319044

Recall

0.927499364029509

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3646	1	284
-	203	3	10455

Precision?

0.9465351674020244

Recall?

0.9277537522258967

Freqs

test

number	freq
0	10743
1	3319
2	527
3	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	1
-	3	0	17

Precision?

0.9230769230769231

Recall?

0.972972972972973

Samples

3.9s	25 744×	0	valid
1.1s	2 466×	1	valid
853.0ms	912×	2	valid
19.0ms	56×	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: 4.0s

ival-mult: 896.0ms (22.3% of total)

ival-div: 473.0ms (11.8% of total)

ival-add: 413.0ms (10.3% of total)

adjust: 410.0ms (10.2% of total)

ival-exp: 400.0ms (10% of total)

ival-hypot: 289.0ms (7.2% of total)

const: 236.0ms (5.9% of total)

ival-log: 208.0ms (5.2% of total)

ival-sub: 125.0ms (3.1% of total)

ival-cos: 95.0ms (2.4% of total)

ival-asin: 72.0ms (1.8% of total)

ival-sqrt: 68.0ms (1.7% of total)

ival-sin: 57.0ms (1.4% of total)

ival-pi: 49.0ms (1.2% of total)

ival-atan2: 47.0ms (1.2% of total)

ival-pow: 42.0ms (1% of total)

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

exact: 21.0ms (0.5% of total)

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

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

ival-copysign: 15.0ms (0.4% of total)

ival-sinu: 15.0ms (0.4% of total)

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

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

ival-cosu: 5.0ms (0.1% of total)

preprocess20.3s (2%)

Memory

239.1MiB live, 17 147.4MiB allocated

Algorithm

57×	egg-herbie

Rules

296 104×	`lower-fma.f64`
296 104×	`lower-fma.f32`
79 264×	`lower-*.f32`
78 898×	`lower-*.f64`
56 582×	`lower-+.f32`

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 57 308 to 14 733 computations (74.3% saved)

series18.1s (1.8%)

Memory

203.2MiB live, 23 048.0MiB allocated

Counts

2 863 → 57 468

Calls

1197 calls:

Time	Variable		Point	Expression
2.2s	x	@	0	((+ (- 1 (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 2)) (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (* (/ (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 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 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 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 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 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) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))))) (exp (neg (* (fabs x) (fabs x)))))) (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 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) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1 (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2)))) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2))) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)) (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3))) (/ (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (+ (* (/ 1 (+ (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 3) 1)) (+ (- 1 (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 2))) (neg (/ (pow (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) 3) (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 1)))) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) 3) (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2) (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3))
259.0ms	x	@	inf	((/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))) (+ (exp wj) (* wj (exp wj))) (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))) (- (* wj (exp wj)) x) (* wj (exp wj)))
196.0ms	x	@	0	((/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)) (/ (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x)))) (- 1 (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x))))) (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (neg (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000)) (/ -1 (+ (* (fabs x) 3275911/10000000) 1))) 1421413741/1000000000)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (neg (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000)) (/ -1 (+ (* (fabs x) 3275911/10000000) 1))) 1421413741/1000000000)))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (neg (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000)) (/ -1 (+ (* (fabs x) 3275911/10000000) 1))) 1421413741/1000000000)) (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429) (log (pow (- 1 (/ (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) -1)) (exp (* (log (pow (- 1 (/ (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) -1)) -1)) (* (log (pow (- 1 (/ (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) -1)) -1) (- 1 (/ (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* (/ 1061405429/1000000000 (+ (* 10731592879921/100000000000000 (* x x)) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (/ (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* 10731592879921/100000000000000 (* x x)) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* 10731592879921/100000000000000 (* x x)) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (pow (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* 10731592879921/100000000000000 (* x x)) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (pow (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3) (+ (/ (+ (/ 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)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (neg (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000)) (/ -1 (+ (* (fabs x) 3275911/10000000) 1))) 1421413741/1000000000)))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000) (+ (* (neg (+ (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) -1453152027/1000000000)) (/ -1 (+ (* (fabs x) 3275911/10000000) 1))) 1421413741/1000000000) (/ 1 (* (+ (* 3275911/10000000 (fabs x)) 1) 1000000000/1061405429)) (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))))
192.0ms	y.im	@	inf	((* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (+ (* (/ 1/2 x.im) (/ (* (* x.re x.re) y.re) x.im)) (+ (* (log x.im) y.re) (* (neg y.im) (atan2 x.im x.re)))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (+ (* (neg (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (+ (* (cos (* (atan2 x.im x.re) y.re)) (atan2 x.im x.re)) (* (sin (* (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))))) y.im) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re)))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (neg (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (+ (* (cos (* (atan2 x.im x.re) y.re)) (atan2 x.im x.re)) (* (sin (* (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (+ (* (cos (* (atan2 x.im x.re) y.re)) (atan2 x.im x.re)) (* (sin (* (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))))) (sin (* y.re (atan2 x.im x.re))) (cos (* y.re (atan2 x.im x.re))) (cos (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (* y.re (atan2 x.im x.re)) (cos (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (* x.re x.re) y.re) (sin (* (atan2 x.im x.re) y.re)) (* (sin (* (atan2 x.im x.re) y.re)) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))))
182.0ms	x	@	0	((+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1)) (copysign (+ (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1))))) x) (+ (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1))))) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (fabs x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (* (* 1/2 x) (/ x (+ (fabs x) 1))) (log (+ 1 (fabs x)))) (* 1/2 x) (log (+ (* (neg x) x) (+ (* x x) 1))) (+ (* (neg x) x) (+ (* x x) 1)) (neg (- (fabs x) (sqrt (+ (* x x) 1)))) (- (log (+ (* (neg x) x) (+ (* x x) 1))) (log (neg (- (fabs x) (sqrt (+ (* x x) 1)))))) (log (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1)))) (- (fabs x) (sqrt (+ (* x x) 1))) (log (+ 1 (+ (* x x) (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1))))))) (/ (+ (sqrt (+ (* x x) 1)) (fabs x)) (+ (* (fabs x) (- (fabs x) (sqrt (+ (* x x) 1)))) (+ (* x x) 1))) (sqrt (+ (* x x) 1)) (/ x (+ (fabs x) 1)) (log (neg (- (fabs x) (sqrt (+ (* x x) 1))))) (sqrt (+ (* x x) 1)))

prune14.6s (1.5%)

Memory: -593.5MiB live, 26 055.6MiB allocated
Counts: 213 673 → 3 129
Compiler: Compiled 194 607 to 86 640 computations (55.5% saved)

bsearch5.1s (0.5%)

Memory

-129.4MiB live, 5 811.0MiB allocated

Algorithm

265×	left-value
217×	binary-search

Stop Event

201×	narrow-enough
16×	predicate-same

Samples

2.0s	14 910×	0	valid
1.2s	2 576×	1	valid
32.0ms	139×	2	valid
6.0ms	23×	3	valid

Compiler

Compiled 46 095 to 40 500 computations (12.1% saved)

Precisions

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

ival-mult: 837.0ms (36.2% of total)

ival-hypot: 307.0ms (13.3% of total)

ival-log: 204.0ms (8.8% of total)

ival-sin: 187.0ms (8.1% of total)

ival-add: 140.0ms (6.1% of total)

ival-exp: 110.0ms (4.8% of total)

ival-atan2: 110.0ms (4.8% of total)

adjust: 101.0ms (4.4% of total)

ival-sub: 89.0ms (3.8% of total)

ival-cos: 86.0ms (3.7% of total)

ival-div: 59.0ms (2.6% of total)

const: 45.0ms (1.9% of total)

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

ival-sqrt: 10.0ms (0.4% of total)

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

exact: 4.0ms (0.2% of total)

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

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

analyze2.6s (0.3%)

Memory

51.1MiB live, 3 288.0MiB allocated

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)

start2.0ms (0%)

Memory: 5.3MiB live, 5.2MiB allocated

sample3.8min (22.9%)

soundness3.3min (19.6%)

end2.2min (13%)

rewrite2.1min (12.6%)

simplify1.8min (10.9%)

eval1.2min (7.2%)

localize33.2s (3.3%)

regimes23.7s (2.4%)

explain20.9s (2.1%)

preprocess20.3s (2%)

series18.1s (1.8%)

prune14.6s (1.5%)

bsearch5.1s (0.5%)

analyze2.6s (0.3%)

start2.0ms (0%)

Profiling