Metrics for Herbie run

Date:	Wednesday, October 2nd, 2024
Commit:	913204d2 on artem-batch-finish-rewrite
Hostname:	nightly with Racket 8.10
Seed:	2024276
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

eval3.8min (24.1%)

Memory: 90.5MiB live, 67 347.4MiB allocated
Compiler: Compiled 12 783 433 to 560 088 computations (95.6% saved)

soundness3.0min (19.1%)

Memory

35.4MiB live, 33 770.6MiB allocated

Stop Event

337×	iter limit
213×	node limit
37×	fuel
20×	done
3×	saturated
3×	unsound

Compiler

Compiled 61 314 to 19 730 computations (67.8% saved)

regimes2.3min (14.5%)

Memory

95.6MiB live, 19 945.6MiB allocated

Counts

8 562 → 869

Calls

132 calls:

44.9s	(-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
24.0s	x
16.4s	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))
15.4s	(fabs.f64 x)
4.0s	(exp.f64 re)

Compiler

Compiled 14 099 to 9 452 computations (33% saved)

sample1.8min (11.5%)

Memory

798.6MiB live, 104 788.5MiB allocated

Samples

1.0min	438 682×	0	valid
7.2s	22 238×	1	valid
4.9s	8 781×	2	valid
2.4s	4 395×	0	invalid
723.0ms	8 521×	0	exit
584.0ms	904×	3	valid

Precisions

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

ival-mult: 18.3s (32.8% of total)

ival-add: 5.5s (9.8% of total)

const: 4.9s (8.9% of total)

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

ival-exp: 3.9s (6.9% of total)

ival-hypot: 2.7s (4.8% of total)

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

ival-log: 2.0s (3.7% of total)

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

adjust: 1.2s (2.2% of total)

ival-atan2: 1.2s (2.2% of total)

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

ival-cos: 936.0ms (1.7% of total)

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

ival->: 784.0ms (1.4% of total)

ival-pi: 382.0ms (0.7% of total)

exact: 373.0ms (0.7% of total)

ival-<=: 366.0ms (0.7% of total)

ival-fabs: 364.0ms (0.7% of total)

ival-acosh: 347.0ms (0.6% of total)

ival-sinu: 336.0ms (0.6% of total)

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

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

ival-cosu: 276.0ms (0.5% of total)

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

ival-asinh: 248.0ms (0.4% of total)

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

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

ival->=: 138.0ms (0.2% of total)

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

Bogosity

simplify1.2min (7.7%)

Memory

447.9MiB live, 68 100.3MiB allocated

Algorithm

455×	egg-herbie

Stop Event

597×	iter limit
265×	node limit
190×	saturated

Counts

57 768 → 56 985

localize54.8s (5.9%)

Memory

6.8MiB live, 40 563.4MiB allocated

Samples

27.1s	41 733×	0	valid
4.9s	3 772×	1	valid
3.4s	1 719×	2	valid
1.8s	2 952×	0	invalid
219.0ms	173×	3	valid
184.0ms	359×	1	exit
114.0ms	227×	0	exit
8.0ms	6×	4	valid
3.0ms	2×	5	exit
1.0ms	1×	3	exit

Compiler

Compiled 160 095 to 13 714 computations (91.4% saved)

Precisions

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

ival-mult: 18.1s (57.9% of total)

ival-div: 2.5s (7.9% of total)

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

const: 1.3s (4.1% of total)

adjust: 976.0ms (3.1% of total)

ival-pow: 847.0ms (2.7% of total)

ival-log: 830.0ms (2.7% of total)

ival-hypot: 665.0ms (2.1% of total)

ival-exp: 628.0ms (2% of total)

ival-sub: 623.0ms (2% of total)

ival-sqrt: 368.0ms (1.2% of total)

ival-cos: 349.0ms (1.1% of total)

ival-asin: 325.0ms (1% of total)

ival-neg: 292.0ms (0.9% of total)

ival-atan2: 246.0ms (0.8% of total)

ival-sin: 192.0ms (0.6% of total)

ival-acos: 156.0ms (0.5% of total)

exact: 86.0ms (0.3% of total)

ival-pow2: 74.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

ival-e: 4.0ms (0% of total)

prune47.7s (5.1%)

Memory: -770.6MiB live, 27 325.6MiB allocated
Counts: 208 094 → 3 192
Compiler: Compiled 325 075 to 132 295 computations (59.3% saved)

rewrite43.2s (4.6%)

Memory

-224.4MiB live, 47 293.1MiB allocated

Stop Event

425×	iter limit
188×	node limit
6×	unsound
5×	saturated

Counts

2 875 → 105 390

series20.6s (2.2%)

Memory

141.6MiB live, 26 724.4MiB allocated

Counts

2 875 → 57 768

Calls

1203 calls:

Time	Variable		Point	Expression
3.7s	x	@	0	((+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1) (/ (- (pow (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1) -2) (pow (neg (/ (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1))) 2)) (+ (pow (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1) -1) (/ (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1)))) (- (pow (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1) -2) (pow (neg (/ (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1))) 2)) (pow (+ (* (/ (+ (* (+ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (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))) (pow (exp x) x))) 1) -2) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x)))) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (+ (* -3275911/10000000 (fabs x)) 1) (/ (+ (* -10731592879921/100000000000000 (* x x)) 1) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000))) (* (fabs x) (fabs x)) (- 1 (* (/ (+ (* -3275911/10000000 (fabs x)) 1) (/ (+ (* -10731592879921/100000000000000 (* x x)) 1) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* -3275911/10000000 (fabs x)) 1) (+ (* (* (* (+ (* (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))) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (pow (exp x) (* (neg x) 1/2))) (pow (exp x) (* (neg x) 1/2))) 1) (* (neg x) 1/2) (* (* (+ (* (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))) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (pow (exp x) (* (neg x) 1/2))) (* (+ (* (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))) (+ (* -10731592879921/100000000000000 (* 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) (* (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 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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)) (/ (- 1 (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) 1)) (- 1 (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x))) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (pow (/ (+ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6))
314.0ms	im	@	inf	((+ (* re re) (* im im)) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (sqrt (+ (* re re) (* im im))) (- (sqrt (+ (* re re) (* im im))) re))
249.0ms	x	@	0	((+ (* (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) -2)) (neg (* (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 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)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) 2))))) (/ (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) 2)) (* (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 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)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) 2))) (neg (* (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 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)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) 2)))) (- 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)))))) (* (fabs x) (fabs x)) (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (* (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -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) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* (fabs x) (fabs x))))) (- 1 (* (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -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) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* (fabs x) (fabs x)))))) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x))) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x)))) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (- 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)) (- 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)) (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))) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -1)) (+ (* 3275911/10000000 (fabs x)) -1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* (* x x) 10731592879921/100000000000000) -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)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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))
166.0ms	x	@	0	((+ (/ -1/2 x) (* 2 x)) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (/ -1/2 x) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)) (- x (/ 1/2 x)) (/ (+ -1/4 (* x x)) (* x 1/2)) (+ -1/4 (* x x)) (log (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))) (* (+ 1 x) x) (log (+ x (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1))))) (+ x (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1)))) (sqrt (+ (* (+ 1 x) x) (* (+ 1 x) -1))) (log (+ (sqrt (+ (* x x) -1)) x)) (+ (log x) (log 2)) (log x) (log 2) (* 2 x) (+ (* (+ 1 x) x) (* (+ 1 x) -1)))
158.0ms	u1	@	inf	((pow (* (* 1/36 (* (log u1) -2)) (pow (cos (* u2 (* (PI) 2))) 2)) 1/2) (* 1/36 (* (log u1) -2)) (+ (pow (* (* 1/36 (* (log u1) -2)) (pow (cos (* u2 (* (PI) 2))) 2)) 1/2) 1/2) (* (* 1/36 (* (log u1) -2)) (pow (cos (* u2 (* (PI) 2))) 2)) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (sqrt (* (log u1) -2)) (* (log u1) -2) (/ 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/4 (* 1/36 (* (log u1) -2))) (/ 1 (- 1/2 (* (sqrt (* (log u1) -2)) 1/6)))) (- 1/4 (* 1/36 (* (log u1) -2))) (- 1/2 (* (sqrt (* (log u1) -2)) 1/6)) (pow (sqrt (* (* (sqrt (* (log u1) -2)) 1/6) (cos (* u2 (* (PI) 2))))) 2) (+ (pow (sqrt (* (* (sqrt (* (log u1) -2)) 1/6) (cos (* u2 (* (PI) 2))))) 2) 1/2) (sqrt (* (* (sqrt (* (log u1) -2)) 1/6) (cos (* u2 (* (PI) 2))))) (* (* (sqrt (* (log u1) -2)) 1/6) (cos (* u2 (* (PI) 2)))) (* u2 (* (PI) 2)) (log u1) (* (sqrt 2) (sqrt (neg (log u1)))) (sqrt (neg (log u1))) (* (sqrt (* (log u1) -2)) 1/6) (/ 1 (- 1/2 (* (sqrt (* (log u1) -2)) 1/6))))

explain16.0s (1.7%)

Memory

-271.5MiB live, 18 947.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1203	0
`-.f64`	`#f`	cancellation	763	2
`/.f64`	`#f`	o/o	707	0
`/.f64`	`#f`	o/n	204	0
`sqrt.f32`	`#f`	oflow-rescue	181	0
`sin.f64`	`#f`	sensitivity	171	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	170	1
`+.f64`	`#f`	cancellation	169	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	137	0
`sqrt.f64`	`#f`	uflow-rescue	134	0
`-.f64`	`#f`	nan-rescue	129	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	125	1
`/.f64`	`#f`	n/o	91	0
`*.f64`	`#f`	*nu**	83	0
`/.f64`	`#f`	u/u	64	0
`+.f64`	`#f`	nan-rescue	59	0
`/.f64`	`#f`	u/n	35	0
`*.f64`	`#f`	*no**	27	0
`/.f64`	`#f`	n/u	16	0
`exp.f64`	`#f`	sensitivity	4	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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	61
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	101
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	53
`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	127
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	127
`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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	61
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	101
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	53
`*.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**	1	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	1
↳	`(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	1
↳	`(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	1

Confusion

	Predicted +	Predicted -
+	3715	74
-	197	10606

Precision

0.9496421267893661

Recall

0.9804697809448403

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3715	0	74
-	197	3	10603

Precision?

0.9489144316730523

Recall?

0.9804697809448403

Freqs

test

number	freq
0	10680
1	3352
2	553
3	7

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	1
-	0	0	20

Precision?

1.0

Recall?

0.972972972972973

Samples

3.2s	25 844×	0	valid
1.3s	2 400×	1	valid
1.1s	876×	2	valid
38.0ms	64×	3	valid

Compiler

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

Precisions

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

ival-mult: 999.0ms (26.4% of total)

ival-add: 484.0ms (12.8% of total)

adjust: 385.0ms (10.2% of total)

ival-exp: 233.0ms (6.2% of total)

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

ival-pow: 209.0ms (5.5% of total)

const: 191.0ms (5% of total)

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

ival-hypot: 179.0ms (4.7% of total)

ival-asin: 164.0ms (4.3% of total)

ival-sub: 124.0ms (3.3% of total)

ival-cos: 78.0ms (2.1% of total)

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

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

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

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

exact: 21.0ms (0.6% of total)

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

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

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

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

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

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

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

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

preprocess15.1s (1.6%)

Memory

328.9MiB live, 16 554.3MiB allocated

Algorithm

57×	egg-herbie

Stop Event

114×	iter limit
76×	saturated
38×	node limit

Compiler

Compiled 99 614 to 17 063 computations (82.9% saved)

end11.3s (1.2%)

Memory: -22.3MiB live, 6 927.3MiB allocated

bsearch3.6s (0.4%)

Memory

0.3MiB live, 5 439.1MiB allocated

Algorithm

241×	left-value
188×	binary-search

Stop Event

179×	narrow-enough
9×	predicate-same

Samples

1.6s	11 666×	0	valid
593.0ms	1 419×	1	valid
50.0ms	148×	2	valid
43.0ms	143×	3	valid

Compiler

Compiled 124 404 to 66 755 computations (46.3% saved)

Precisions

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

ival-mult: 531.0ms (29.9% of total)

ival-hypot: 243.0ms (13.7% of total)

ival-sin: 228.0ms (12.8% of total)

ival-add: 203.0ms (11.4% of total)

ival-log: 136.0ms (7.7% of total)

ival-sub: 73.0ms (4.1% of total)

ival-atan2: 67.0ms (3.8% of total)

const: 66.0ms (3.7% of total)

ival-div: 60.0ms (3.4% of total)

adjust: 54.0ms (3% of total)

ival-exp: 54.0ms (3% of total)

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

ival-sqrt: 16.0ms (0.9% of total)

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

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

exact: 4.0ms (0.2% of total)

analyze2.4s (0.3%)

Memory

179.0MiB live, 3 270.8MiB 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.4MiB live, 5.2MiB allocated

eval3.8min (24.1%)

soundness3.0min (19.1%)

regimes2.3min (14.5%)

sample1.8min (11.5%)

simplify1.2min (7.7%)

localize54.8s (5.9%)

prune47.7s (5.1%)

rewrite43.2s (4.6%)

series20.6s (2.2%)

explain16.0s (1.7%)

preprocess15.1s (1.6%)

end11.3s (1.2%)

bsearch3.6s (0.4%)

analyze2.4s (0.3%)

start2.0ms (0%)

Profiling