Metrics for Herbie run

Date:	Friday, October 11th, 2024
Commit:	a1f6a1f9 on main
Hostname:	nightly with Racket 8.10
Seed:	2024285
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample2.1min (24.8%)

Memory

365.0MiB live, 108 628.9MiB allocated

Samples

1.4min	438 689×	0	valid
7.3s	22 377×	1	valid
4.4s	8 660×	2	valid
2.1s	4 348×	0	invalid
1.3s	8 887×	0	exit
395.0ms	898×	3	valid

Precisions

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

ival-mult: 18.7s (34.1% of total)

ival-add: 6.5s (11.9% of total)

const: 4.9s (8.9% of total)

ival-div: 4.1s (7.4% of total)

ival-exp: 3.2s (5.8% of total)

ival-hypot: 2.3s (4.1% of total)

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

ival-sub: 2.1s (3.9% of total)

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

adjust: 1.4s (2.6% of total)

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

ival-cos: 966.0ms (1.8% of total)

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

ival-atan2: 863.0ms (1.6% of total)

ival-acosh: 614.0ms (1.1% of total)

ival->: 374.0ms (0.7% of total)

exact: 356.0ms (0.6% of total)

ival-asinh: 337.0ms (0.6% of total)

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

ival-sinu: 298.0ms (0.5% of total)

ival-true: 288.0ms (0.5% of total)

ival-pi: 241.0ms (0.4% of total)

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

ival->=: 201.0ms (0.4% of total)

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

ival-<=: 182.0ms (0.3% of total)

ival-fabs: 179.0ms (0.3% of total)

ival-atanh: 173.0ms (0.3% of total)

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

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

Bogosity

soundness1.7min (19.8%)

Memory

-261.5MiB live, 35 887.7MiB allocated

Stop Event

364×	iter limit
230×	node limit
40×	fuel
17×	done
3×	saturated
3×	unsound

Compiler

Compiled 74 534 to 24 583 computations (67% saved)

simplify1.2min (14.1%)

Memory

512.9MiB live, 60 828.9MiB allocated

Algorithm

463×	egg-herbie

Stop Event

608×	iter limit
277×	node limit
187×	saturated

Counts

15 876 → 15 698

rewrite51.4s (10.3%)

Memory

-430.9MiB live, 47 073.6MiB allocated

Stop Event

429×	iter limit
193×	node limit
6×	saturated
5×	unsound

Counts

3 005 → 115 058

eval33.7s (6.7%)

Memory: 5.6MiB live, 41 594.3MiB allocated
Compiler: Compiled 10 002 303 to 583 483 computations (94.2% saved)

localize33.6s (6.7%)

Memory

-343.3MiB live, 38 859.8MiB allocated

Samples

13.8s	43 248×	0	valid
5.6s	3 998×	1	valid
3.2s	1 711×	2	valid
1.1s	2 484×	0	invalid
289.0ms	112×	3	valid
202.0ms	237×	1	exit
100.0ms	119×	5	exit
30.0ms	59×	0	exit

Compiler

Compiled 175 742 to 14 092 computations (92% saved)

Precisions

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

ival-mult: 5.3s (29.8% of total)

ival-add: 2.6s (14.5% of total)

ival-div: 1.8s (10% of total)

const: 1.2s (6.7% of total)

adjust: 967.0ms (5.5% of total)

ival-pow: 793.0ms (4.5% of total)

ival-sub: 757.0ms (4.3% of total)

ival-log: 736.0ms (4.2% of total)

ival-exp: 731.0ms (4.1% of total)

ival-hypot: 534.0ms (3% of total)

ival-acos: 374.0ms (2.1% of total)

ival-sqrt: 367.0ms (2.1% of total)

ival-asin: 272.0ms (1.5% of total)

ival-cos: 269.0ms (1.5% of total)

ival-neg: 235.0ms (1.3% of total)

ival-sin: 196.0ms (1.1% of total)

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

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

ival-pi: 84.0ms (0.5% of total)

exact: 78.0ms (0.4% of total)

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

ival-log1p: 52.0ms (0.3% of total)

ival-fabs: 51.0ms (0.3% of total)

ival-true: 46.0ms (0.3% of total)

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

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

ival-sinu: 14.0ms (0.1% of total)

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

ival-sinh: 2.0ms (0% of total)

regimes20.5s (4.1%)

Memory

-361.6MiB live, 18 801.8MiB allocated

Counts

9 472 → 943

Calls

132 calls:

4.0s	(exp.f64 re)
1.2s	im
890.0ms	re
886.0ms	x
817.0ms	y.re

Compiler

Compiled 15 346 to 10 498 computations (31.6% saved)

preprocess18.9s (3.8%)

Memory

147.9MiB live, 13 374.1MiB allocated

Algorithm

57×	egg-herbie

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 101 636 to 18 241 computations (82.1% saved)

explain15.9s (3.2%)

Memory

-325.9MiB live, 19 794.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1185	0
`-.f64`	`#f`	cancellation	780	0
`/.f64`	`#f`	o/o	631	0
`sin.f64`	`#f`	sensitivity	204	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	201	0
`/.f64`	`#f`	o/n	197	0
`sqrt.f32`	`#f`	oflow-rescue	187	0
`+.f64`	`#f`	cancellation	149	0
`sqrt.f64`	`#f`	uflow-rescue	130	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	129	0
`-.f64`	`#f`	nan-rescue	120	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	105	1
`/.f64`	`#f`	u/u	73	0
`/.f64`	`#f`	n/o	72	0
`+.f64`	`#f`	nan-rescue	60	0
`*.f64`	`#f`	*nu**	55	0
`*.f64`	`#f`	*no**	38	0
`/.f64`	`#f`	u/n	29	0
`/.f64`	`#f`	n/u	7	0
`log.f32`	`#f`	oflow-rescue	4	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**	4	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	4
`pow.f64`	`(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)))`	sensitivity	1	0
`exp.f64`	`(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))))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	3596	72
-	228	10696

Precision

0.9403765690376569

Recall

0.9803707742639041

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3596	1	71
-	228	2	10694

Precision?

0.9399007055134571

Recall?

0.9806434023991276

Freqs

test

number	freq
0	10768
1	3289
2	532
3	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	1
-	1	1	18

Precision?

0.9473684210526315

Recall?

0.972972972972973

Samples

3.1s	25 818×	0	valid
1.3s	2 442×	1	valid
895.0ms	858×	2	valid
23.0ms	66×	3	valid

Compiler

Compiled 19 577 to 2 968 computations (84.8% saved)

Precisions

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

ival-mult: 1.0s (26.9% of total)

ival-exp: 449.0ms (11.6% of total)

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

ival-div: 318.0ms (8.2% of total)

adjust: 303.0ms (7.8% of total)

const: 242.0ms (6.2% of total)

ival-log: 195.0ms (5% of total)

ival-cos: 190.0ms (4.9% of total)

ival-hypot: 165.0ms (4.3% of total)

ival-sub: 152.0ms (3.9% of total)

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

ival-sin: 64.0ms (1.6% of total)

ival-sqrt: 57.0ms (1.5% of total)

ival-atan2: 51.0ms (1.3% of total)

ival-fabs: 36.0ms (0.9% of total)

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

ival-pow: 21.0ms (0.5% of total)

exact: 20.0ms (0.5% of total)

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

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

ival-copysign: 12.0ms (0.3% of total)

ival-neg: 11.0ms (0.3% 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)

series14.1s (2.8%)

Memory

626.0MiB live, 17 207.6MiB allocated

Counts

3 005 → 15 876

Calls

1263 calls:

Time	Variable		Point	Expression
1.9s	x	@	0	((+ (- 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) (/ (+ (/ (+ (/ (- 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))))) (pow (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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)))) 2)) (+ (* (/ 1 (+ (pow (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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)))) 3) 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) (/ (+ (/ (+ (/ (- 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))))) (pow (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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)))) 2))) (neg (/ (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) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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 (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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))))) (neg (/ (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) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (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) (/ (+ (/ (+ (/ (- 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 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)))) 1421413741/1000000000) (* (/ (+ (/ (+ (/ (+ (* (/ -1 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)))) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (+ -8890523/31250000 (/ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (* (/ (+ (/ (+ (+ -8890523/31250000 (/ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x)))) (- 1 (* (/ (+ (/ (+ (+ -8890523/31250000 (/ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x))))) (/ (+ (/ (+ (+ -8890523/31250000 (/ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (/ (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -2)) (+ (* (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 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -2)) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -2) (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) (/ (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -4)) (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (+ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -2) 1))) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -4)) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))) -4) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 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) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (/ (+ (/ (+ (* (/ -1 (+ (* 3275911/10000000 (fabs x)) 1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)))) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (/ (+ (+ -8890523/31250000 (/ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000))
237.0ms	base	@	inf	((/ (atan2 im re) (log base)) (atan2 im re) (log base) (/ 1 (/ (log base) (atan2 im re))) (/ (log base) (atan2 im re)) (* (pow (log base) -2) (log base)) (* (* (pow (log base) -2) (log base)) (atan2 im re)) (pow (log base) -2) (exp (* (log (* (/ 1 (atan2 im re)) (log base))) -1)) (* (/ 1 (atan2 im re)) (log base)) (* (log (* (/ 1 (atan2 im re)) (log base))) -1) (log (* (/ 1 (atan2 im re)) (log base))) (* (/ (atan2 im re) (pow (log base) 4)) (pow (log base) 3)) (/ (atan2 im re) (pow (log base) 4)) (pow (log base) 4) (/ 1 (atan2 im re)) (pow (log base) 3))
216.0ms	x	@	0	((/ (- (* 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) (* (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)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (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) (* (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) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (* 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) (* (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)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (fabs x) (fabs x)) (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 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) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (+ (* (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) -1) (/ 1 (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (+ (* (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) -1) (/ 1 (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (+ (* (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) -1) (/ 1 (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))) (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) -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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2)) (+ (* (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 (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 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) (* (pow (exp x) x) (+ (* (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) (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) (* (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)) (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (+ (* (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) -1) (/ 1 (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1421413741/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* 3275911/10000000 (fabs x)))
206.0ms	u1	@	-inf	((/ 1 6) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (* 1/6 (sqrt -2)) (sqrt (log u1))) 1/2) (* 1/6 (sqrt -2)) (sqrt -2) (pow (pow (* (log u1) -2) 1/4) 2) (+ (* (* (/ 1 6) (pow (pow (* (log u1) -2) 1/4) 2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (/ 1 6) (pow (pow (* (log u1) -2) 1/4) 2)) (cos (* (* 2 (PI)) u2))) (+ (* (* (/ 1 6) (pow (exp 1/2) (log (* (log u1) -2)))) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (/ 1 6) (pow (exp 1/2) (log (* (log u1) -2)))) (cos (* (* 2 (PI)) u2))) (* (/ 1 6) (pow (exp 1/2) (log (* (log u1) -2)))) (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/4) 1/6))) (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/4) 1/6)) (+ (* (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/4) 1/6))) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/8) (* (pow (* (log u1) -2) 1/4) 1/6))) (cos (* (* 2 (PI)) u2))) (PI) (pow (* -2 (log u1)) 1/2) (cos (* (* 2 (PI)) u2)) (log u1) (sqrt (log u1)) (* 2 (PI)) (exp 1/2))
182.0ms	d1	@	0	((* d1 (+ (+ d3 37) d2)) (+ (+ d3 37) d2) (+ d3 37) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) (* d3 d1) (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) (* (- d3 -37) d1) (- d3 -37) (+ (* d2 d1) (* d1 (+ d3 37))) (* d1 (+ d3 37)) (* (pow (- d3 5) -1) d1) (+ (* (+ (* d3 d3) -25) (* (pow (- d3 5) -1) d1)) (* d1 (+ d2 32))) (+ (* d3 d3) -25) (pow (- d3 5) -1) (* d1 (+ d2 32)))

prune10.6s (2.1%)

Memory: 94.3MiB live, 14 609.4MiB allocated
Counts: 142 367 → 3 154
Compiler: Compiled 306 479 to 126 911 computations (58.6% saved)

bsearch5.6s (1.1%)

Memory

28.0MiB live, 6 021.4MiB allocated

Algorithm

287×	binary-search
190×	left-value

Stop Event

269×	narrow-enough
18×	predicate-same

Samples

2.2s	16 600×	0	valid
1.0s	2 220×	1	valid
49.0ms	166×	2	valid
14.0ms	54×	3	valid

Compiler

Compiled 167 723 to 96 329 computations (42.6% saved)

Precisions

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

ival-mult: 616.0ms (24.8% of total)

adjust: 237.0ms (9.5% of total)

ival-hypot: 232.0ms (9.3% of total)

ival-log: 226.0ms (9.1% of total)

ival-exp: 186.0ms (7.5% of total)

ival-add: 174.0ms (7% of total)

ival-sub: 150.0ms (6% of total)

ival-sin: 135.0ms (5.4% of total)

ival-div: 124.0ms (5% of total)

ival-cos: 112.0ms (4.5% of total)

const: 94.0ms (3.8% of total)

ival-atan2: 93.0ms (3.7% of total)

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

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

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

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

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

exact: 5.0ms (0.2% of total)

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

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

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

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

analyze2.6s (0.5%)

Memory

85.3MiB live, 3 155.9MiB 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.8MiB live, 5.8MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated

sample2.1min (24.8%)

soundness1.7min (19.8%)

simplify1.2min (14.1%)

rewrite51.4s (10.3%)

eval33.7s (6.7%)

localize33.6s (6.7%)

regimes20.5s (4.1%)

preprocess18.9s (3.8%)

explain15.9s (3.2%)

series14.1s (2.8%)

prune10.6s (2.1%)

bsearch5.6s (1.1%)

analyze2.6s (0.5%)

start2.0ms (0%)

end0.0ms (0%)

Profiling