Metrics for Herbie run

Date:	Thursday, June 6th, 2024
Commit:	b2854467 on platforms
Hostname:	nightly with Racket 8.11.1
Seed:	2024158
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

sample24.1min (20.8%)

Results

8.2min	3850718×	0	valid
5.2min	94628×	5	exit
3.0min	475125×	1	valid
1.3min	126637×	2	valid
31.0s	19345×	3	valid
28.4s	143730×	0	precondition
27.6s	171217×	0	invalid
14.7s	61026×	0	unsamplable
9.6s	2244×	4	valid
7.6s	23644×	1	invalid
1.3s	2268×	2	invalid
100.0ms	10×	5	valid
40.0ms	56×	1	unsamplable
19.0ms	25×	3	invalid
3.0ms	1×	2	unsamplable
3.0ms	1×	5	unsamplable
1.0ms	1×	3	unsamplable

Precisions

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

ival-pow: 2.8min (18.3% of total)

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

ival-sin: 2.4min (15.5% of total)

ival-div: 1.0min (6.7% of total)

ival-add: 51.4s (5.6% of total)

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

...c/correct-round.rkt:119:19: 40.3s (4.4% of total)

backward-pass: 40.3s (4.4% of total)

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

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

ival-exp: 25.8s (2.8% of total)

ival-sqrt: 20.8s (2.3% of total)

ival-<=: 16.9s (1.9% of total)

ival-tan: 16.5s (1.8% of total)

const: 8.4s (0.9% of total)

ival-neg: 6.9s (0.8% of total)

ival-fabs: 5.5s (0.6% of total)

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

compiled-spec: 4.6s (0.5% of total)

ival-and: 3.5s (0.4% of total)

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

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

ival->: 2.0s (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ival-asinh: 245.0ms (0% of total)

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

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

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

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

Bogosity

soundness21.6min (18.6%)

Rules

9123820×	`-lowering-.f32`
9123820×	`-lowering-.f64`
4647492×	`+-lowering-+.f32`
4647492×	`+-lowering-+.f64`
4293556×	`/-lowering-/.f32`

Stop Event

2550×	iter limit
175×	saturated
363×	fuel
2340×	node limit
7×	unsound
174×	done

Compiler

Compiled 391082 to 210581 computations (46.2% saved)

simplify16.9min (14.6%)

Algorithm

4427×

egg-herbie

Rules

10447942×	`-lowering-.f32`
10447942×	`-lowering-.f64`
5573472×	`+-lowering-+.f32`
5573472×	`+-lowering-+.f64`
3822186×	`fma-lowering-fma.f64`

Stop Event

1533×	saturated
3839×	iter limit
2946×	node limit
3×	unsound

Counts

641497 → 641497

rewrite12.0min (10.4%)

Algorithm

1944×

batch-egg-rewrite

Rules

6607556×	`-lowering-.f32`
6607556×	`-lowering-.f64`
5049570×	`/-lowering-/.f32`
5049570×	`/-lowering-/.f64`
2661312×	`+-lowering-+.f32`

Stop Event

87×	saturated
1999×	iter limit
1862×	node limit
21×	unsound

Counts

25995 → 1070180

localize9.3min (8%)

Results

3.2min	408493×	0	valid
1.5min	14950×	5	exit
1.2min	42264×	1	valid
37.3s	11680×	2	valid
12.3s	15626×	0	invalid
6.0s	1624×	3	valid
2.0s	628×	1	invalid
1.2s	2136×	0	unsamplable
720.0ms	114×	3	invalid
373.0ms	73×	4	valid
370.0ms	81×	2	invalid
39.0ms	5×	5	valid
9.0ms	10×	1	unsamplable

Compiler

Compiled 522878 to 51557 computations (90.1% saved)

Precisions

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

ival-mult: 45.4s (24.7% of total)

ival-div: 25.8s (14% of total)

backward-pass: 20.4s (11.1% of total)

ival-add: 15.0s (8.2% of total)

ival-pow: 11.5s (6.3% of total)

ival-cos: 9.4s (5.1% of total)

...c/correct-round.rkt:119:19: 8.6s (4.7% of total)

ival-sin: 8.2s (4.5% of total)

ival-sub: 7.9s (4.3% of total)

ival-tan: 7.3s (4% of total)

ival-log: 6.1s (3.3% of total)

compiled-spec: 5.1s (2.8% of total)

ival-sqrt: 3.3s (1.8% of total)

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

const: 1.5s (0.8% of total)

ival-asin: 1.2s (0.6% of total)

ival-acos: 737.0ms (0.4% of total)

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

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

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

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

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

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

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

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

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

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

ival-fmax: 118.0ms (0.1% of total)

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

ival-log2: 112.0ms (0.1% of total)

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

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

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

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

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

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

eval8.7min (7.5%)

Compiler: Compiled 97387052 to 4668328 computations (95.2% saved)

prune8.2min (7.1%)

Counts: 2066111 → 43488
Compiler: Compiled 2437594 to 1137178 computations (53.3% saved)

regimes4.8min (4.1%)

Counts

147512 → 10274

Calls

1215 calls:

33.2s	x
16.6s	y
11.3s	(exp.f64 (*.f64 y y))
10.0s	z
9.4s	a

Compiler

Compiled 96937 to 71612 computations (26.1% saved)

bsearch2.5min (2.2%)

Algorithm

4664×	binary-search
666×	left-value

Stop Event

145×	predicate-same
4515×	narrow-enough
4×	predicate-failed

Results

1.4min	515239×	0	valid
17.7s	35851×	1	valid
5.2s	6925×	2	valid
3.7s	2120×	3	valid
3.1s	22478×	0	invalid
598.0ms	137×	4	valid
76.0ms	195×	1	invalid
51.0ms	108×	2	invalid
33.0ms	219×	0	unsamplable
8.0ms	6×	3	invalid

Compiler

Compiled 1125667 to 798339 computations (29.1% saved)

Precisions

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

ival-mult: 23.9s (31.5% of total)

ival-sub: 8.9s (11.8% of total)

ival-div: 7.8s (10.3% of total)

ival-add: 6.7s (8.9% of total)

ival-sin: 5.6s (7.3% of total)

ival-pow: 5.1s (6.7% of total)

ival-cos: 4.9s (6.4% of total)

backward-pass: 2.3s (3.1% of total)

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

...c/correct-round.rkt:119:19: 2.0s (2.7% of total)

ival-sqrt: 1.8s (2.3% of total)

ival-exp: 1.5s (1.9% of total)

const: 860.0ms (1.1% of total)

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

ival-tan: 493.0ms (0.7% of total)

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

ival-atan: 206.0ms (0.3% of total)

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

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

ival-acos: 88.0ms (0.1% of total)

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

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

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

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

ival-fmod: 20.0ms (0% of total)

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

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

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

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

preprocess2.3min (2%)

Algorithm

1082×

egg-herbie

Rules

834604×	`fnmadd-define`
798592×	`sum3-define`
694080×	`fma-define`
667668×	`fmsub-define`
622970×	`fnmsub-define`

Stop Event

538×	iter limit
572×	saturated
513×	node limit

Compiler

Compiled 415444 to 146020 computations (64.9% saved)

explain1.8min (1.6%)

Results

44.5s	230348×	0	valid
19.6s	34396×	1	valid
9.1s	10114×	2	valid
3.2s	1454×	3	valid
850.0ms	150×	4	valid
720.0ms	530×	5	exit

Compiler

Compiled 95243 to 18404 computations (80.7% saved)

Precisions

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

ival-mult: 7.5s (21.1% of total)

ival-div: 3.4s (9.5% of total)

ival-log: 3.1s (8.6% of total)

ival-add: 2.9s (8.2% of total)

ival-sin: 2.8s (8.1% of total)

backward-pass: 2.8s (7.9% of total)

ival-sub: 2.8s (7.9% of total)

ival-cos: 2.3s (6.4% of total)

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

ival-sqrt: 1.3s (3.6% of total)

ival-exp: 1.2s (3.5% of total)

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

...c/correct-round.rkt:119:19: 652.0ms (1.8% of total)

const: 505.0ms (1.4% of total)

ival-fabs: 372.0ms (1.1% of total)

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

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

compiled-spec: 122.0ms (0.3% of total)

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

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

ival-acos: 98.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

analyze1.8min (1.6%)

Algorithm

545×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.4%	15.6%	0%	0%	0%	0
38.7%	32.7%	51.8%	15.6%	0%	0%	0%	1
44.8%	37.5%	46.2%	15.6%	0%	0.7%	0%	2
54%	44.1%	37.5%	15.7%	0%	2.6%	0%	3
60.9%	49.1%	31.6%	15.8%	0%	3.6%	0%	4
67.1%	53.8%	26.4%	15.8%	0%	4%	0%	5
71%	56.7%	23.1%	15.8%	0%	4.3%	0%	6
75%	59.4%	19.8%	15.9%	0%	4.8%	0.1%	7
77%	60.7%	18.1%	15.9%	0%	5.2%	0.1%	8
79.6%	62.5%	16%	15.9%	0%	5.4%	0.1%	9
81.1%	63.5%	14.8%	16%	0%	5.7%	0.1%	10
83.4%	65.1%	13%	16%	0%	5.8%	0.1%	11
84.5%	65.8%	12.1%	16%	0%	6%	0.1%	12

Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions

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

ival-mult: 15.6s (26.2% of total)

...c/correct-round.rkt:119:19: 6.1s (10.3% of total)

ival-div: 4.9s (8.1% of total)

ival-<=: 4.1s (6.8% of total)

ival-sub: 4.0s (6.7% of total)

ival-pow: 4.0s (6.6% of total)

ival-add: 3.9s (6.6% of total)

ival-sin: 2.5s (4.2% of total)

ival-cos: 2.0s (3.4% of total)

ival-sqrt: 1.9s (3.2% of total)

ival-fabs: 1.7s (2.9% of total)

ival-floor: 1.1s (1.8% of total)

ival-log: 858.0ms (1.4% of total)

ival-and: 835.0ms (1.4% of total)

ival-if: 807.0ms (1.4% of total)

ival-exp: 727.0ms (1.2% of total)

ival-tan: 615.0ms (1% of total)

const: 604.0ms (1% of total)

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

ival-<: 522.0ms (0.9% of total)

ival-fmax: 383.0ms (0.6% of total)

ival-==: 364.0ms (0.6% of total)

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

ival-log2: 228.0ms (0.4% of total)

backward-pass: 206.0ms (0.3% of total)

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

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

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

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

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

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

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

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

ival-or: 31.0ms (0.1% of total)

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

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

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

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

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

compiled-spec: 0.0ms (0% of total)

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

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

series1.8min (1.6%)

Counts

25995 → 641497

Calls

122922 calls:

Time	Variable		Point	Expression
3.1s	im	@	-inf	(* (/ 1 (+ 1 (* re (+ -1 (* re (+ 1/2 (* re -1/6))))))) (cos im))
987.0ms	re	@	inf	(* re (+ 1/2 (* re -1/6)))
859.0ms	x	@	0	(/ (- (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 3)))) (* (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 2) (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 2)))
642.0ms	x	@	0	(/ (- (* 1 (+ 1 (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))))))) (* (+ 1 (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))))) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 3))) (* (+ 1 (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))))) (+ 1 (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))))))))
533.0ms	x	@	0	(- (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x)))))))) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 3))))

end3.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 31.2s
ival-sin: 31.2s (100% of total)
ival-acos: 4.0ms (0% of total)

sample24.1min (20.8%)

soundness21.6min (18.6%)

simplify16.9min (14.6%)

rewrite12.0min (10.4%)

localize9.3min (8%)

eval8.7min (7.5%)

prune8.2min (7.1%)

regimes4.8min (4.1%)

bsearch2.5min (2.2%)

preprocess2.3min (2%)

explain1.8min (1.6%)

analyze1.8min (1.6%)

series1.8min (1.6%)

end3.0ms (0%)

Profiling