Date:	Thursday, May 11th, 2023
Commit:	471e4502 on rr-proofs
Hostname:	nightly with Racket 8.6
Seed:	2023131
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify` default

Details

sample3.0min (26.7%)

Results

1.3min	439663×	body	256	valid
1.0min	7959×	body	8192	exit
15.0s	23608×	body	1024	valid
9.1s	14682×	body	1024	infinite
5.0s	29662×	body	256	infinite
4.5s	12019×	body	512	valid
2.7s	6717×	body	512	infinite
1.8s	2524×	body	2048	valid
962.0ms	4841×	body	256	invalid
620.0ms	1034×	body	4096	valid
618.0ms	4222×	body	256	unsamplable
275.0ms	206×	body	2048	infinite

Bogosity

eval2.1min (18.8%)

Compiler: Compiled 5198053 to 3214630 computations (38.2% saved)

simplify1.4min (12.7%)

Algorithm

699×	egg-herbie

Rules

355584×	`associate-r`
343096×	`*-commutative`
333260×	`associate-/l*`
312942×	`distribute-lft-in`
312200×	`associate-+r+`

Stop Event

11×	unsound
84×	saturated
20×	done
38×	fuel
604×	node limit

Counts

87826 → 112948

Compiler

Compiled 12748 to 8479 computations (33.5% saved)

rewrite1.4min (12.7%)

Algorithm

583×	batch-egg-rewrite

Rules

415216×	`add-sqr-sqrt`
405372×	`*-un-lft-identity`
383756×	`add-cube-cbrt`
380926×	`add-cbrt-cube`
248064×	`add-exp-log`

Stop Event

7×	unsound
576×	node limit

Counts

1303 → 63787

prune51.8s (7.7%)

Counts: 139287 → 4062
Compiler: Compiled 195743 to 151032 computations (22.8% saved)

regimes49.2s (7.4%)

Counts

9208 → 789

Calls

131 calls:

5.1s	x.im
4.9s	y.im
4.6s	x.re
3.3s	y.re
2.7s	x

Compiler

Compiled 213795 to 145215 computations (32.1% saved)

localize31.4s (4.7%)

Compiler: Compiled 62462 to 38779 computations (37.9% saved)

soundness20.6s (3.1%)

Rules

65224×	`associate-/r*`
63862×	`associate-*r/`
58298×	`*-commutative`
55368×	`associate-/l*`
51992×	`associate-*l/`

Stop Event

20×	saturated
138×	node limit

Compiler

Compiled 29260 to 18765 computations (35.9% saved)

bsearch11.8s (1.8%)

Algorithm

403×	binary-search
31×	left-value

Stop Event

390×	narrow-enough
13×	predicate-same

Results

8.8s	44814×	body	256	valid
409.0ms	492×	body	1024	infinite
313.0ms	641×	body	1024	valid
292.0ms	708×	body	256	infinite
247.0ms	633×	body	2048	valid
181.0ms	287×	body	512	infinite
97.0ms	338×	body	512	valid
58.0ms	118×	body	4096	valid
10.0ms	10×	body	2048	infinite

Compiler

Compiled 86252 to 58566 computations (32.1% saved)

analyze9.1s (1.4%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
7%	6%	80.3%	13.7%	0%	0%	0%	1
13.1%	11%	73.3%	13.7%	0%	1.7%	0.2%	2
23.6%	19.2%	62%	13.7%	0.5%	4.3%	0.3%	3
29.2%	23.2%	56.3%	13.7%	1.9%	4.5%	0.4%	4
41.4%	32.6%	46.2%	13.7%	2.4%	4.6%	0.4%	5
46.7%	36.2%	41.3%	13.7%	3.5%	4.9%	0.4%	6
54.8%	41.1%	33.8%	13.7%	5.2%	5.8%	0.4%	7
58.6%	43.6%	30.7%	13.7%	5.7%	5.9%	0.4%	8
63.7%	46.7%	26.6%	13.7%	6.7%	5.9%	0.4%	9
67.5%	48.8%	23.5%	13.7%	7.2%	6.4%	0.4%	10
70.8%	50.6%	20.9%	13.7%	7.9%	6.4%	0.4%	11
73.3%	52.2%	19%	13.7%	8.3%	6.4%	0.4%	12

Compiler

Compiled 1558 to 994 computations (36.2% saved)

series8.3s (1.2%)

Counts

1303 → 23981

Calls

6630 calls:

Time	Variable		Point	Expression
252.0ms	x	@	-inf	(sqrt.f64 (.f64 2 (asin.f64 (sqrt.f64 (+.f64 1/2 (.f64 x -1/2))))))
197.0ms	y.re	@	0	(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
123.0ms	base	@	0	(*.f64 3 (/.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))) (log.f64 base)))
121.0ms	x.im	@	-inf	(sin.f64 (+.f64 (.f64 (log.f64 (pow.f64 (pow.f64 (hypot.f64 x.re x.im) 3) 1/3)) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))
118.0ms	x.re	@	-inf	(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re)))

end6.8s (1%)

Compiler: Compiled 12445 to 7116 computations (42.8% saved)

preprocess4.6s (0.7%)

Algorithm

116×	egg-herbie

Rules

21178×	`fma-def`
20488×	`*-commutative`
18344×	`associate-r`
17546×	`distribute-lft-in`
17206×	`sqr-pow`

Stop Event

71×	saturated
14×	unsound
31×	node limit

Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Details

sample3.0min (26.7%)

eval2.1min (18.8%)

simplify1.4min (12.7%)

rewrite1.4min (12.7%)

prune51.8s (7.7%)

regimes49.2s (7.4%)

localize31.4s (4.7%)

soundness20.6s (3.1%)

bsearch11.8s (1.8%)

analyze9.1s (1.4%)

series8.3s (1.2%)

end6.8s (1%)

preprocess4.6s (0.7%)

Profiling