Metrics for Herbie run

Date:	Wednesday, November 27th, 2024
Commit:	a25f782f on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024332
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

sample30.8min (34.7%)

Memory

30 897.3MiB live, 1 147 213.7MiB allocated

Samples

11.0min	3 930 144×	0	valid
4.0min	416 094×	1	valid
3.0min	127 426×	2	valid
1.3min	12 991×	3	valid
54.5s	320 758×	0	invalid
45.6s	26 488×	5	exit
12.9s	504×	4	exit
6.9s	50 038×	0	exit
6.6s	26 180×	1	invalid
2.9s	19 374×	1	exit
533.0ms	1 344×	2	invalid
180.0ms	36×	4	valid
119.0ms	104×	3	exit
1.0ms	2×	2	exit

Precisions

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

ival-mult: 2.7min (16.2% of total)

adjust: 2.2min (13.4% of total)

ival-div: 2.0min (12.2% of total)

ival-sub: 1.6min (9.9% of total)

ival-add: 1.6min (9.6% of total)

ival-pow2: 1.0min (6.3% of total)

ival-pow: 43.5s (4.4% of total)

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

const: 32.2s (3.3% of total)

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

ival-cosu: 21.9s (2.2% of total)

ival-cos: 21.4s (2.2% of total)

ival-sin: 21.4s (2.2% of total)

ival-tan: 19.5s (2% of total)

ival-<=: 17.4s (1.8% of total)

ival-sqrt: 17.0s (1.7% of total)

ival-sinu: 11.7s (1.2% of total)

ival-<: 8.1s (0.8% of total)

ival-fabs: 4.6s (0.5% of total)

ival-neg: 4.2s (0.4% of total)

ival-hypot: 3.6s (0.4% of total)

exact: 3.5s (0.4% of total)

ival-true: 2.9s (0.3% of total)

ival-and: 2.8s (0.3% of total)

ival-expm1: 2.3s (0.2% of total)

ival-assert: 2.1s (0.2% of total)

ival-asin: 1.7s (0.2% of total)

ival-acos: 1.7s (0.2% of total)

ival-log1p: 1.6s (0.2% of total)

ival-pi: 1.4s (0.1% of total)

ival-atan2: 1.4s (0.1% of total)

ival->: 1.1s (0.1% of total)

ival-atan: 1.0s (0.1% of total)

ival-sinh: 1.0s (0.1% of total)

ival-floor: 921.0ms (0.1% of total)

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

ival-fmod: 851.0ms (0.1% of total)

ival-cbrt: 801.0ms (0.1% of total)

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

ival-asinh: 582.0ms (0.1% of total)

ival-e: 536.0ms (0.1% of total)

ival-==: 500.0ms (0.1% of total)

ival-fmin: 441.0ms (0% of total)

ival-acosh: 324.0ms (0% of total)

ival-if: 319.0ms (0% of total)

ival-fmax: 308.0ms (0% of total)

ival-atanh: 211.0ms (0% of total)

ival-log2: 185.0ms (0% of total)

ival-tanu: 179.0ms (0% of total)

ival-tanh: 135.0ms (0% of total)

ival-or: 39.0ms (0% of total)

Bogosity

soundness12.5min (14.1%)

Memory

986.2MiB live, 328 395.2MiB allocated

Stop Event

3 361×	iter limit
2 212×	node limit
346×	fuel
175×	done
47×	saturated
14×	unsound

Compiler

Compiled 542 447 to 201 915 computations (62.8% saved)

simplify11.4min (12.8%)

Memory

17 443.2MiB live, 490 775.0MiB allocated

Algorithm

4 307×

egg-herbie

Stop Event

5 632×	iter limit
2 687×	node limit
1 668×	saturated
3×	unsound

Counts

158 237 → 156 299

rewrite7.5min (8.4%)

Memory

10 285.2MiB live, 384 130.8MiB allocated

Stop Event

3 888×	iter limit
1 831×	node limit
52×	saturated
41×	unsound

Counts

26 448 → 1 078 096

localize4.7min (5.3%)

Memory

8 914.6MiB live, 258 215.9MiB allocated

Samples

2.0min	390 226×	0	valid
51.4s	54 144×	1	valid
26.6s	19 575×	2	valid
7.1s	13 798×	0	invalid
3.1s	1 933×	3	valid
3.0s	1 121×	5	exit
1.0s	784×	2	exit
923.0ms	1 996×	0	exit
792.0ms	581×	1	exit
695.0ms	346×	1	invalid
247.0ms	17×	4	exit
218.0ms	35×	2	invalid
101.0ms	5×	3	invalid
57.0ms	18×	4	valid
41.0ms	29×	3	exit

Compiler

Compiled 1 004 951 to 118 993 computations (88.2% saved)

Precisions

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

ival-mult: 41.5s (27.2% of total)

ival-div: 22.2s (14.6% of total)

ival-add: 16.9s (11.1% of total)

adjust: 10.1s (6.6% of total)

ival-sub: 8.3s (5.5% of total)

const: 7.1s (4.7% of total)

ival-pow: 7.1s (4.7% of total)

ival-sin: 7.0s (4.6% of total)

ival-cos: 6.3s (4.1% of total)

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

ival-sqrt: 3.4s (2.2% of total)

ival-tan: 2.9s (1.9% of total)

ival-neg: 2.6s (1.7% of total)

ival-exp: 2.5s (1.7% of total)

ival-pow2: 2.5s (1.6% of total)

ival-hypot: 1.1s (0.7% of total)

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

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

exact: 703.0ms (0.5% of total)

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

ival-asin: 626.0ms (0.4% of total)

ival-cosu: 453.0ms (0.3% of total)

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

ival-atan2: 373.0ms (0.2% of total)

ival-atan: 312.0ms (0.2% of total)

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

ival-cbrt: 243.0ms (0.2% of total)

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

ival-pi: 214.0ms (0.1% of total)

ival-expm1: 197.0ms (0.1% of total)

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

ival-sinh: 168.0ms (0.1% of total)

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

ival-log2: 53.0ms (0% of total)

ival-tanu: 33.0ms (0% of total)

ival-fmax: 27.0ms (0% of total)

ival-tanh: 26.0ms (0% of total)

ival-floor: 22.0ms (0% of total)

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

eval4.3min (4.8%)

Memory: 12 440.3MiB live, 280 086.1MiB allocated
Compiler: Compiled 52 871 958 to 4 672 051 computations (91.2% saved)

regimes3.4min (3.8%)

Memory

9 740.5MiB live, 211 164.6MiB allocated

Counts

101 484 → 8 625

Calls

1 163 calls:

16.2s	x
11.4s	y
10.8s	z
7.6s	t
6.7s	a

Compiler

Compiled 106 589 to 115 497 computations (-8.4% saved)

analyze3.2min (3.6%)

Memory

3 441.6MiB live, 119 443.4MiB allocated

Algorithm

548×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.5%	15.5%	0%	0%	0%	0
40%	33.8%	50.7%	15.5%	0%	0%	0%	1
46%	38.5%	45.2%	15.5%	0%	0.8%	0%	2
54.6%	44.6%	37.1%	15.5%	0%	2.8%	0%	3
61.4%	49.6%	31.2%	15.5%	0%	3.8%	0%	4
67.7%	54.3%	26%	15.5%	0%	4.2%	0%	5
71.6%	57.2%	22.7%	15.5%	0%	4.6%	0%	6
75.6%	59.9%	19.4%	15.5%	0%	5.2%	0%	7
77.5%	61.2%	17.7%	15.5%	0%	5.6%	0%	8
80.1%	63%	15.6%	15.5%	0%	5.9%	0%	9
81.7%	64%	14.3%	15.5%	0%	6.2%	0%	10
83.9%	65.6%	12.6%	15.5%	0%	6.4%	0%	11
85%	66.3%	11.7%	15.5%	0%	6.6%	0%	12

Compiler

Compiled 12 580 to 7 848 computations (37.6% saved)

explain3.1min (3.5%)

Memory

7 095.4MiB live, 192 228.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	10841	70
`sqrt.f64`	`#f`	oflow-rescue	4977	0
`log.f64`	`#f`	sensitivity	3528	5
`+.f64`	`#f`	cancellation	3373	134
`cos.f64`	`#f`	sensitivity	2979	2
`/.f64`	`#f`	o/n	1725	0
`sin.f64`	`#f`	sensitivity	1718	0
`/.f64`	`#f`	o/o	1667	0
`*.f64`	`#f`	*no**	1044	0
`-.f64`	`#f`	nan-rescue	984	0
`/.f64`	`#f`	n/o	933	0
`/.f64`	`#f`	u/n	862	0
`sqrt.f64`	`#f`	uflow-rescue	860	0
`log.f32`	`#f`	sensitivity	805	78
`+.f64`	`#f`	nan-rescue	778	0
`/.f64`	`#f`	u/u	611	0
`acos.f64`	`#f`	sensitivity	525	4
`tan.f64`	`#f`	sensitivity	443	0
`*.f64`	`#f`	*nu**	424	0
`-.f32`	`#f`	cancellation	393	30
`pow.f64`	`#f`	sensitivity	362	38
`/.f64`	`#f`	n/u	256	0
`sqrt.f32`	`#f`	oflow-rescue	226	0
`-.f64`	`#f`	oflow-left	226	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancelation	202	0
`exp.f64`	`#f`	sensitivity	200	44
`cos.f32`	`#f`	cancelation	195	0
`pow.f64`	`#f`	oflow-rescue	153	0
`*.f64`	`#f`	*uo**	153	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	126	0
`cbrt.f64`	`#f`	oflow-rescue	116	0
`*.f64`	`#f`	*ou**	113	0
`cos.f64`	`#f`	cancelation	104	0
`/.f32`	`#f`	u/n	101	0
`log.f64`	`#f`	uflow-rescue	99	0
`log.f64`	`#f`	oflow-rescue	79	0
`pow.f64`	`#f`	uflow-rescue	64	0
`cbrt.f64`	`#f`	uflow-rescue	44	0
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	35	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	35
`*.f32`	`#f`	*nu**	29	0
`/.f32`	`#f`	u/u	11	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	3	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	3
↳	`(*.f32 x x)`	overflow	133
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	133
`*.f32`	`#f`	*uo**	2	0

Confusion

	Predicted +	Predicted -
+	29109	890
-	7232	96145

Precision

0.8009961200847527

Recall

0.9703323444114804

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	29109	277	613
-	7232	409	95736

Precision?

0.7936370756475005

Recall?

0.9795659855328511

Freqs

test

number	freq
0	97035
1	30154
2	5144
3	581
4	384
5	47
6	22
7	7
8	1
9	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	327	3	1
-	12	2	176

Precision?

0.9593023255813954

Recall?

0.9969788519637462

Samples

30.8s	230 674×	0	valid
9.6s	9 193×	2	valid
8.8s	29 070×	1	valid
469.0ms	962×	3	valid
11.0ms	22×	5	exit
4.0ms	6×	4	valid

Compiler

Compiled 156 168 to 43 617 computations (72.1% saved)

Precisions

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

ival-mult: 5.9s (18.5% of total)

adjust: 5.6s (17.6% of total)

ival-add: 3.5s (11% of total)

ival-div: 2.6s (8% of total)

ival-sub: 2.5s (7.7% of total)

ival-log: 1.7s (5.5% of total)

ival-sin: 1.7s (5.3% of total)

ival-cos: 1.4s (4.5% of total)

ival-tan: 1.1s (3.3% of total)

const: 879.0ms (2.8% of total)

ival-exp: 810.0ms (2.5% of total)

ival-sqrt: 710.0ms (2.2% of total)

ival-pow: 498.0ms (1.6% of total)

ival-pow2: 395.0ms (1.2% of total)

ival-hypot: 329.0ms (1% of total)

ival-true: 259.0ms (0.8% of total)

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

ival-tanh: 170.0ms (0.5% of total)

ival-expm1: 169.0ms (0.5% of total)

exact: 169.0ms (0.5% of total)

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

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

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

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

ival-atan2: 118.0ms (0.4% of total)

ival-pi: 102.0ms (0.3% of total)

ival-asin: 101.0ms (0.3% of total)

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

ival-atan: 70.0ms (0.2% of total)

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

ival-sinh: 48.0ms (0.2% of total)

ival-cbrt: 39.0ms (0.1% of total)

ival-floor: 29.0ms (0.1% of total)

ival-e: 22.0ms (0.1% of total)

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

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

ival-log2: 6.0ms (0% of total)

ival-fmax: 3.0ms (0% of total)

ival->=: 0.0ms (0% of total)

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

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

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

preprocess2.6min (2.9%)

Memory

4 223.7MiB live, 111 444.3MiB allocated

Algorithm

521×	egg-herbie

Stop Event

1 038×	iter limit
722×	saturated
324×	node limit

Compiler

Compiled 813 084 to 169 822 computations (79.1% saved)

series2.5min (2.9%)

Memory

6 186.7MiB live, 123 126.6MiB allocated

Counts

26 448 → 158 237

Calls

15564 calls:

Time	Variable		Point	Expression
31.8s	x	@	0	((/ (pow (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (* (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)) (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 1))) (- 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) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))) (* (fabs x) (fabs x)) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* (fabs x) 3275911/10000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (- 1 (* (fabs x) 3275911/10000000)) (pow (- 1 (* (fabs x) 3275911/10000000)) -1))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* (/ (* (* (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (exp (* (neg x) x))) (* x x)) (pow (+ (* (fabs x) 3275911/10000000) 1) 3)) -11390570944565894491109/50000000000000000000000) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))))) (+ (* (/ (neg (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (- (exp (* (+ (log (+ 1 (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) 1)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) -1)) (pow (+ (* (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) -1)) (/ (neg (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (- (exp (* (+ (log (+ 1 (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) 1)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) -1) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) (- (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (/ (pow (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)))) (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (pow (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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 (+ (* (fabs x) 3275911/10000000) 1) 2) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (* 3275911/10000000 (fabs x)) (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (* (fabs x) 3275911/10000000) (log (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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 (/ (+ (/ (+ (/ (+ (/ (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -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))
6.4s	x	@	0	((/ (- x lo) (- hi lo)) (- 1 (/ (+ (* (/ (- x hi) lo) hi) (- x hi)) lo)) (* (/ (/ (- hi x) lo) lo) hi) (/ (/ (- hi x) lo) lo) (/ (- x lo) (- hi lo)) (/ (- x lo) hi) (- x lo) (neg lo) (+ (* (/ lo (neg x)) x) x) (/ (- x lo) (- hi lo)) (/ (- x lo) hi) (- x lo) (+ (* (/ (neg lo) (* hi x)) x) (/ x hi)) (/ (- x lo) (- hi lo)) (/ (- x lo) hi) (* (+ (neg (/ (+ (* (/ hi lo) (+ (/ hi lo) 1)) 1) (neg x))) (/ (- -1 (/ hi lo)) lo)) x) (neg (/ (+ (* (/ hi lo) (+ (/ hi lo) 1)) 1) (neg x))) (/ (+ (* (/ hi lo) (+ (/ hi lo) 1)) 1) (neg x)) (/ (- x lo) (- hi lo)) (/ (neg lo) (* hi x)) (+ (/ hi lo) 1) (- -1 (/ hi lo)))
1.8s	x	@	0	((+ (- 1 (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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)))) (neg (/ (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 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) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (neg x) x) (neg x) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))) (- (/ 1 (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1)) (/ (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1))) (/ 1 (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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)) (- 1 (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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))) 9)) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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))) 9) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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))) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (* 3275911/10000000 (fabs x)) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 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))) 6))
514.0ms	x	@	0	((- (* x (neg (log (/ y x)))) z) (* x (neg (log (/ y x)))) (neg (log (/ y x))) (log (/ y x)) (- (* x (log (/ x y))) z) (neg z) (- (* x (- (log (neg x)) (log (neg y)))) z) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (* (+ (* (log (/ x y)) x) z) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1))) (* (+ (* (log (/ x y)) x) (neg z)) (pow (+ (* (log (/ x y)) x) z) -1)) (+ (* (log (/ x y)) x) z) (log (/ x y)) (- (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) z) (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2)))) (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log y) (log (* y x))) (pow (log x) 2))) (- (pow (log x) 3) (pow (log y) 3)) (log (neg y)) (neg x) (neg y) (log x) (log y) (log (* y x)))
480.0ms	x	@	inf	((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* x (log y)) (* (- b 1/2) (log c)))

prune1.8min (2%)

Memory: 10 554.8MiB live, 131 561.2MiB allocated
Counts: 1 206 857 → 37 594
Compiler: Compiled 3 140 584 to 1 509 402 computations (51.9% saved)

bsearch56.8s (1.1%)

Memory

1 136.4MiB live, 49 811.0MiB allocated

Algorithm

2 571×	binary-search
1 831×	left-value

Stop Event

2 480×	narrow-enough
89×	predicate-same
2×	predicate-failed

Samples

27.2s	184 737×	0	valid
4.8s	11 461×	1	valid
550.0ms	6 371×	0	invalid
442.0ms	1 199×	2	valid
51.0ms	154×	3	valid
17.0ms	86×	1	invalid
11.0ms	137×	0	exit
3.0ms	20×	1	exit
2.0ms	8×	2	invalid
0.0ms	1×	4	valid

Compiler

Compiled 1 588 971 to 1 058 197 computations (33.4% saved)

Precisions

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

ival-mult: 8.3s (34.7% of total)

ival-sub: 3.7s (15.4% of total)

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

ival-div: 1.6s (6.8% of total)

ival-sin: 1.4s (5.7% of total)

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

ival-log: 894.0ms (3.8% of total)

ival-pow: 669.0ms (2.8% of total)

const: 589.0ms (2.5% of total)

adjust: 479.0ms (2% of total)

ival-exp: 353.0ms (1.5% of total)

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

ival-pow2: 281.0ms (1.2% of total)

ival-hypot: 267.0ms (1.1% of total)

ival-atan2: 223.0ms (0.9% of total)

ival-tan: 188.0ms (0.8% of total)

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

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

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

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

exact: 85.0ms (0.4% of total)

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

ival-acos: 59.0ms (0.2% of total)

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

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

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

ival-cosh: 10.0ms (0% of total)

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

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

ival-expm1: 9.0ms (0% of total)

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

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

ival-cbrt: 3.0ms (0% of total)

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

start45.0ms (0%)

Memory: -1.2MiB live, 37.8MiB allocated

end3.0ms (0%)

Memory: 7.5MiB live, 7.2MiB allocated

sample30.8min (34.7%)

soundness12.5min (14.1%)

simplify11.4min (12.8%)

rewrite7.5min (8.4%)

localize4.7min (5.3%)

eval4.3min (4.8%)

regimes3.4min (3.8%)

analyze3.2min (3.6%)

explain3.1min (3.5%)

preprocess2.6min (2.9%)

series2.5min (2.9%)

prune1.8min (2%)

bsearch56.8s (1.1%)

start45.0ms (0%)

end3.0ms (0%)

Profiling