Metrics for Herbie run

Date:	Tuesday, October 22nd, 2024
Commit:	5ca06d70 on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024296
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

sample18.0min (25.8%)

Memory

5 614.2MiB live, 1 020 179.9MiB allocated

Samples

7.7min	3 938 006×	0	valid
2.4min	417 615×	1	valid
1.2min	129 817×	2	valid
54.8s	320 820×	0	invalid
51.0s	26 706×	5	exit
13.4s	14 047×	3	valid
8.1s	49 723×	0	exit
7.4s	25 779×	1	invalid
2.7s	19 800×	1	exit
612.0ms	1 353×	2	invalid
307.0ms	501×	4	exit
119.0ms	37×	4	valid
79.0ms	107×	3	exit
13.0ms	6×	2	exit

Precisions

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

ival-mult: 2.0min (19.4% of total)

ival-div: 58.2s (9.6% of total)

ival-add: 47.7s (7.9% of total)

ival-pow: 46.4s (7.7% of total)

ival-sub: 44.9s (7.4% of total)

const: 34.9s (5.8% of total)

adjust: 27.7s (4.6% of total)

ival-sin: 26.5s (4.4% of total)

ival-cos: 25.7s (4.3% of total)

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

ival-exp: 22.1s (3.7% of total)

ival-<=: 19.1s (3.2% of total)

ival-tan: 18.2s (3% of total)

ival-sqrt: 18.1s (3% of total)

ival-pow2: 11.8s (1.9% of total)

ival-sinu: 8.0s (1.3% of total)

ival-cosu: 6.1s (1% of total)

ival-fabs: 5.7s (0.9% of total)

ival-neg: 5.2s (0.9% of total)

ival-hypot: 3.9s (0.6% of total)

exact: 3.5s (0.6% of total)

ival-<: 3.0s (0.5% of total)

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

ival-and: 2.7s (0.5% of total)

ival-expm1: 2.6s (0.4% of total)

ival-acos: 2.1s (0.3% of total)

ival-assert: 1.9s (0.3% of total)

ival-asin: 1.8s (0.3% of total)

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

ival-atan2: 1.5s (0.2% of total)

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

ival-atan: 1.2s (0.2% of total)

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

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

ival->: 812.0ms (0.1% of total)

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

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

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

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

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

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

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

ival-if: 306.0ms (0.1% of total)

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

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

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

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

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

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

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

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

Bogosity

simplify11.1min (15.9%)

Memory

7 882.1MiB live, 498 689.6MiB allocated

Algorithm

4 121×

egg-herbie

Stop Event

5 389×	iter limit
2 555×	node limit
1 613×	saturated
3×	unsound

Counts

153 347 → 151 455

soundness10.2min (14.6%)

Memory

317.3MiB live, 293 379.9MiB allocated

Stop Event

3 176×	iter limit
2 109×	node limit
323×	fuel
174×	done
47×	saturated
11×	unsound

Compiler

Compiled 498 112 to 185 561 computations (62.7% saved)

rewrite7.5min (10.7%)

Memory

-839.3MiB live, 394 695.8MiB allocated

Stop Event

3 700×	iter limit
1 760×	node limit
49×	saturated
33×	unsound

Counts

24 746 → 1 021 342

eval4.8min (6.9%)

Memory: 733.9MiB live, 277 789.2MiB allocated
Compiler: Compiled 50 013 462 to 4 369 192 computations (91.3% saved)

localize4.6min (6.5%)

Memory

-1 849.0MiB live, 273 945.8MiB allocated

Samples

1.9min	378 583×	0	valid
43.6s	47 711×	1	valid
23.1s	17 465×	2	valid
7.4s	947×	5	exit
6.4s	12 445×	0	invalid
2.8s	1 738×	3	valid
1.5s	2 648×	0	exit
1.0s	1 106×	1	exit
941.0ms	118×	4	exit
933.0ms	542×	2	exit
641.0ms	484×	1	invalid
107.0ms	27×	3	exit
64.0ms	44×	2	invalid
24.0ms	14×	4	valid

Compiler

Compiled 923 882 to 112 565 computations (87.8% saved)

Precisions

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

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

ival-div: 22.0s (15% of total)

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

adjust: 9.9s (6.8% of total)

const: 8.2s (5.6% of total)

ival-sub: 8.2s (5.6% of total)

ival-pow: 8.1s (5.5% of total)

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

ival-log: 4.4s (3% of total)

ival-cos: 4.3s (2.9% of total)

ival-sqrt: 4.0s (2.7% of total)

ival-exp: 2.9s (2% of total)

ival-pow2: 2.9s (2% of total)

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

ival-tan: 2.1s (1.4% of total)

ival-sinu: 1.5s (1% of total)

ival-cosu: 825.0ms (0.6% of total)

ival-log1p: 650.0ms (0.4% of total)

exact: 624.0ms (0.4% of total)

ival-hypot: 526.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

regimes3.3min (4.7%)

Memory

-898.5MiB live, 212 788.2MiB allocated

Counts

93 831 → 8 349

Calls

1 086 calls:

17.7s	x
15.8s	y
9.7s	z
7.2s	a
6.6s	b

Compiler

Compiled 90 721 to 102 868 computations (-13.4% saved)

explain2.4min (3.5%)

Memory

-2 278.5MiB live, 160 691.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	10863	44
`sqrt.f64`	`#f`	oflow-rescue	4738	0
`+.f64`	`#f`	cancellation	3611	90
`log.f64`	`#f`	sensitivity	3228	7
`cos.f64`	`#f`	sensitivity	2382	6
`/.f64`	`#f`	o/n	1836	0
`/.f64`	`#f`	o/o	1628	0
`-.f64`	`#f`	nan-rescue	1249	0
`+.f64`	`#f`	nan-rescue	1083	0
`*.f64`	`#f`	*no**	1077	0
`log.f32`	`#f`	sensitivity	1003	89
`sin.f64`	`#f`	sensitivity	992	1
`sqrt.f64`	`#f`	uflow-rescue	778	0
`/.f64`	`#f`	u/u	707	0
`/.f64`	`#f`	n/o	707	0
`/.f64`	`#f`	u/n	706	0
`tan.f64`	`#f`	sensitivity	462	3
`*.f64`	`#f`	*nu**	426	0
`-.f32`	`#f`	cancellation	385	29
`pow.f64`	`#f`	sensitivity	359	49
`/.f64`	`#f`	n/u	274	0
`*.f64`	`#f`	*ou**	243	0
`log.f64`	`#f`	uflow-rescue	225	0
`exp.f64`	`#f`	sensitivity	207	30
`*.f64`	`#f`	*uo**	180	0
`log.f64`	`#f`	oflow-rescue	94	0
`cbrt.f64`	`#f`	oflow-rescue	92	0
`pow.f64`	`#f`	uflow-rescue	72	0
`cbrt.f64`	`#f`	uflow-rescue	44	0
`exp.f32`	`#f`	sensitivity	38	27
`+.f64`	`#f`	oflow-left	25	0
`cos.f32`	`(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`	cancelation	2	0
`-.f64`	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`	oflow-left	1	0

Confusion

	Predicted +	Predicted -
+	27541	1245
-	5877	92569

Precision

0.8241366928002872

Recall

0.9567498089348989

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	27541	236	1009
-	5877	389	92180

Precision?

0.8159386658050113

Recall?

0.9649482387271591

Freqs

test

number	freq
0	93814
1	28201
2	3876
3	703
4	420
5	120
6	60
7	23
8	9
9	3
10	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	309	1	12
-	18	0	157

Precision?

0.9451219512195121

Recall?

0.9627329192546584

Samples

24.6s	219 442×	0	valid
8.1s	25 260×	1	valid
5.4s	8 818×	2	valid
825.0ms	942×	3	valid
1.0ms	2×	4	valid

Compiler

Compiled 146 168 to 40 882 computations (72% saved)

Precisions

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

ival-mult: 5.6s (22.5% of total)

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

ival-sub: 2.6s (10.3% of total)

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

adjust: 1.5s (6.2% of total)

ival-log: 1.2s (4.9% of total)

ival-pow: 1.2s (4.9% of total)

ival-sqrt: 998.0ms (4% of total)

ival-exp: 909.0ms (3.7% of total)

ival-tan: 809.0ms (3.3% of total)

ival-sin: 775.0ms (3.1% of total)

ival-cos: 706.0ms (2.8% of total)

const: 693.0ms (2.8% of total)

ival-sinu: 533.0ms (2.2% of total)

ival-pow2: 463.0ms (1.9% of total)

ival-cosu: 383.0ms (1.5% of total)

ival-true: 237.0ms (1% of total)

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

exact: 159.0ms (0.6% of total)

ival-hypot: 145.0ms (0.6% of total)

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

ival-assert: 112.0ms (0.5% of total)

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

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

ival-expm1: 52.0ms (0.2% of total)

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

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

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

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

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

preprocess2.2min (3.1%)

Memory

2 229.5MiB live, 102 874.6MiB allocated

Algorithm

497×	egg-herbie

Stop Event

990×	iter limit
690×	saturated
308×	node limit

Compiler

Compiled 753 469 to 155 364 computations (79.4% saved)

series1.9min (2.7%)

Memory

-350.5MiB live, 123 072.0MiB allocated

Counts

24 746 → 153 347

Calls

14793 calls:

Time	Variable		Point	Expression
3.6s	x	@	0	((neg (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 1))) (/ (- (pow (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 1) -2) (pow (neg (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 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) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 1) -1) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 1)))) (- (pow (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 1) -2) (pow (neg (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 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) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg 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) (pow (exp x) x)))) 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) (* (+ (* (* x x) 10731592879921/100000000000000) -1) (/ 1 (+ (* 3275911/10000000 (fabs x)) -1)))) (exp (neg (* (fabs x) (fabs x)))))) (/ (/ (+ 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 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (/ (+ 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)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (* (fabs x) (fabs x)) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (/ (+ 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)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* (fabs x) (fabs x))))) (+ (* (pow (exp x) (* -1/2 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) (/ (pow (exp x) (* -1/2 x)) (+ (* -3275911/10000000 (fabs x)) -1)))) 1) (pow (exp x) (* -1/2 x)) (exp x) (* -1/2 x) (+ (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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 2) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1)) (/ (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) (/ (+ (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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 3) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 2) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 3) 1) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (/ (/ (+ 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)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))))) (exp (neg (* (fabs x) (fabs x)))))) (+ -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))) (* 3275911/10000000 (fabs x)) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (pow (/ (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)) 2))
402.0ms	t	@	0	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (sqrt (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (sqrt (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (/ 1 (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) -2) (/ 1 (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (/ 1 (sqrt (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (sqrt (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1))) (sqrt (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/8)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/8) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
351.0ms	sinTheta_i	@	-inf	((* (neg sinTheta_O) (* -1 (- (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (/ sinTheta_i v)))) (* -1 (- (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (/ sinTheta_i v))) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (exp (- (+ 6931/10000 (log (/ 1/2 v))) (+ (/ 1 v) (/ (* sinTheta_O sinTheta_i) v)))) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (exp (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v))) (exp (- (/ 1 v) 6931/10000))) (exp (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v))) (- (log (* 2 v)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v)) (log (* 2 v)) (/ (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (exp (- (/ 1 v) 6931/10000))) (/ (- (* (- (log 1/2) (log v)) v) (* sinTheta_i sinTheta_O)) v) (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v)) (/ (+ 6931/10000 (- (log (/ 1/2 v)) (/ 1 v))) sinTheta_O) (- (log (/ 1/2 v)) (/ 1 v)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (/ (- (* cosTheta_i cosTheta_O) (* sinTheta_i sinTheta_O)) v) (exp (- (/ 1 v) 6931/10000)) (- (log 1/2) (log v)))
334.0ms	y	@	inf	((- (- (* (log y) x) y) z) (- (* (log y) x) y) (* (log y) x) (log y) (- (- (* x (log y)) z) y) (neg y) (- (- (* x (log y)) z) y) (+ (* (log y) x) (neg y)) (+ (* (+ (* (neg z) z) (pow (* (log y) x) 2)) (pow (+ (* (log y) x) z) -1)) (neg y)) (+ (* (neg z) z) (pow (* (log y) x) 2)) (neg z) (pow (* (log y) x) 2) (+ (* (* (pow (log y) 2) x) (/ x (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) (- (+ (* (* (pow (log y) 2) x) (/ x (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) y) (* (pow (log y) 2) x) (pow (log y) 2) (pow (+ (* (log y) x) z) -1) (/ x (+ (* (log y) x) z)))
321.0ms	c	@	0	((/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* y (/ (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i))) (+ (* x (/ (pow y 4) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i))) (/ t (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)))) (/ (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (+ (* (+ (* z y) 54929528941/2000000) y) 28832688827/125000) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ t i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ y a) y) b) y) c) (+ (* (+ y a) y) b) (- (/ 28832688827/125000 i) (* (/ c i) (/ t i))) (+ (* (- (/ 28832688827/125000 i) (* (/ c i) (/ t i))) y) (/ t i)) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 28832688827/125000 i) (* (neg t) (+ (* (neg y) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t)) -1)) (/ (pow y 4) (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (/ t (+ (* (+ (* (+ (* (+ a y) y) b) y) c) y) i)) (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) (* (+ (* (+ y a) y) b) y) (* (/ c i) (/ t i)) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t) (+ (* (neg y) (/ (+ (* (+ (* (+ (* y x) z) y) 54929528941/2000000) y) 28832688827/125000) t)) -1))

prune1.6min (2.2%)

Memory: -4 303.5MiB live, 131 559.8MiB allocated
Counts: 1 134 440 → 34 775
Compiler: Compiled 2 804 199 to 1 346 188 computations (52% saved)

analyze1.4min (2%)

Memory

-710.8MiB live, 88 918.6MiB 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)

bsearch56.4s (1.3%)

Memory

-450.2MiB live, 55 628.5MiB allocated

Algorithm

2 487×	binary-search
1 849×	left-value

Stop Event

2 420×	narrow-enough
67×	predicate-same

Samples

26.0s	180 117×	0	valid
2.7s	2 364×	5	exit
2.5s	8 610×	1	valid
1.4s	10 560×	0	invalid
786.0ms	1 620×	2	valid
371.0ms	261×	3	valid
82.0ms	288×	1	invalid
16.0ms	164×	0	exit
4.0ms	29×	1	exit

Compiler

Compiled 1 447 881 to 981 337 computations (32.2% saved)

Precisions

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

ival-mult: 8.1s (33.8% of total)

ival-sub: 3.3s (13.8% of total)

ival-add: 2.5s (10.5% of total)

ival-div: 2.3s (9.6% of total)

ival-pow: 1.5s (6.2% of total)

adjust: 1.2s (5% of total)

ival-exp: 873.0ms (3.6% of total)

ival-pow2: 603.0ms (2.5% of total)

ival-log: 543.0ms (2.3% of total)

ival-sin: 440.0ms (1.8% of total)

const: 400.0ms (1.7% of total)

ival-cos: 386.0ms (1.6% of total)

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

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

ival-cosu: 293.0ms (1.2% of total)

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

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

ival-tan: 149.0ms (0.6% of total)

exact: 105.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

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

start19.0ms (0%)

Memory: 39.2MiB live, 38.4MiB allocated

end3.0ms (0%)

Memory: 7.8MiB live, 7.3MiB allocated

sample18.0min (25.8%)

simplify11.1min (15.9%)

soundness10.2min (14.6%)

rewrite7.5min (10.7%)

eval4.8min (6.9%)

localize4.6min (6.5%)

regimes3.3min (4.7%)

explain2.4min (3.5%)

preprocess2.2min (3.1%)

series1.9min (2.7%)

prune1.6min (2.2%)

analyze1.4min (2%)

bsearch56.4s (1.3%)

start19.0ms (0%)

end3.0ms (0%)

Profiling