Date:	Sunday, February 26th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023057
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

sample8.5min (36.2%)

Results

2.6min	17124×	body	8192	exit
1.4min	69655×	body	1024	valid
1.2min	8943×	body	4096	valid
1.0min	295181×	body	256	valid
38.1s	14546×	body	2048	valid
31.8s	1593×	body	8192	valid
21.6s	34891×	body	512	valid
11.3s	6309×	body	1024	infinite
6.9s	21556×	body	256	infinite
6.9s	853×	body	4096	infinite
5.7s	1244×	body	2048	infinite
5.4s	17463×	body	256	unsamplable
4.2s	21262×	body	256	invalid
3.6s	3329×	body	512	infinite
1.2s	1218×	body	2048	invalid
1.1s	1731×	body	1024	invalid
589.0ms	1176×	body	512	invalid
468.0ms	28×	body	8192	infinite
112.0ms	937×	body	256	precondition
5.0ms	1×	body	2048	unsamplable
4.0ms	6×	body	512	unsamplable
1.0ms	1×	body	1024	unsamplable

Bogosity

regimes3.8min (16.3%)

Counts

26207 → 1307

Calls

141 calls:

14.6s	B
13.3s	a
13.1s	b
12.3s	C
11.6s	A

Compiler

Compiled 655300 to 343398 computations (47.6% saved)

eval3.2min (13.4%)

Compiler: Compiled 10035697 to 5532585 computations (44.9% saved)

bsearch1.8min (7.4%)

Algorithm

765×	binary-search
52×	left-value

Results

30.2s	17073×	body	1024	valid
23.3s	4288×	body	4096	valid
17.7s	8437×	body	2048	valid
17.4s	53773×	body	256	valid
8.3s	7272×	body	512	valid
3.5s	196×	body	8192	valid
702.0ms	111×	body	2048	infinite
603.0ms	3011×	body	256	invalid
467.0ms	224×	body	1024	infinite
392.0ms	684×	body	256	infinite
300.0ms	49×	body	4096	infinite
105.0ms	84×	body	512	infinite
29.0ms	2×	body	8192	infinite
13.0ms	15×	body	512	invalid
5.0ms	8×	body	1024	invalid

Compiler

Compiled 257928 to 189218 computations (26.6% saved)

simplify1.7min (7.1%)

Algorithm

771×	egg-herbie

Rules

456290×	`associate-r`
419740×	`*-commutative`
410108×	`associate-/l*`
396874×	`distribute-lft-in`
387320×	`associate-l`

Stop Event

1×	unsound
70×	saturated
8×	done
42×	fuel
700×	node limit

Counts

121003 → 148113

Compiler

Compiled 23348 to 14819 computations (36.5% saved)

prune1.5min (6.5%)

Counts: 210083 → 8915
Compiler: Compiled 478838 to 336662 computations (29.7% saved)

rewrite1.1min (4.5%)

Algorithm

670×	batch-egg-rewrite
7×	egg-rewrite
5×	egg-rewrite-iter-limit

Rules

412808×	`add-sqr-sqrt`
404682×	`*-un-lft-identity`
380334×	`add-cube-cbrt`
377928×	`add-cbrt-cube`
266384×	`add-exp-log`

Stop Event

7×	unsound
5×	iter limit
670×	node limit

Counts

1673 → 82444

analyze42.8s (3%)

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
2.4%	1.9%	77.5%	20.6%	0%	0%	0%	1
5.1%	4%	75%	21%	0%	0%	0%	2
12.7%	9.8%	67.2%	21.2%	0.5%	1.4%	0%	3
20.5%	15.3%	59.4%	21.2%	1.1%	2.6%	0.5%	4
26.8%	19.7%	53.7%	21.2%	1.3%	3.4%	0.7%	5
32.2%	23.1%	48.7%	21.2%	1.7%	4.2%	1.1%	6
35%	24.7%	45.9%	21.2%	2%	4.9%	1.2%	7
37.7%	26.3%	43.5%	21.3%	2.3%	5.3%	1.4%	8
41.6%	28.6%	40.1%	21.3%	2.7%	6%	1.5%	9
43.1%	29.4%	38.8%	21.3%	2.7%	6.3%	1.6%	10
45.8%	31%	36.7%	21.3%	2.8%	6.6%	1.6%	11
48.4%	32.6%	34.7%	21.3%	2.8%	7%	1.7%	12

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize35.5s (2.5%)

Compiler: Compiled 88694 to 43752 computations (50.7% saved)

soundness17.9s (1.3%)

Algorithm

127×	egg-herbie

Rules

81836×	`*-commutative`
80886×	`associate-r`
65740×	`associate-/r*`
65578×	`+-commutative`
63694×	`associate-+r+`

Stop Event

12×	saturated
115×	node limit

Compiler

Compiled 18675 to 11485 computations (38.5% saved)

series11.6s (0.8%)

Counts

1673 → 38508

Calls

10905 calls:

Time	Variable		Point	Expression
91.0ms	x-scale	@	0	(.f64 (.f64 1/4 (.f64 (.f64 y-scale x-scale) (sqrt.f64 8))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (.f64 a a) (/.f64 (.f64 x-scale x-scale) (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2))) (/.f64 (.f64 a a) (/.f64 (.f64 y-scale y-scale) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2)))) 2) (.f64 4 (.f64 (/.f64 (pow.f64 a 4) (.f64 y-scale y-scale)) (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2)) (.f64 x-scale x-scale)))))) (+.f64 (/.f64 (.f64 a a) (/.f64 (.f64 x-scale x-scale) (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2))) (/.f64 (.f64 a a) (/.f64 (.f64 y-scale y-scale) (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 1/180 angle))) 2)))))))
81.0ms	angle	@	-inf	(.f64 (/.f64 y-scale x-scale) (.f64 -2 (/.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 3)))))
71.0ms	C	@	inf	(.f64 (sqrt.f64 (.f64 2 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (/.f64 (sqrt.f64 (.f64 F (.f64 A (.f64 C -4)))) (fma.f64 -4 (.f64 A C) (*.f64 B B))))
68.0ms	phi2	@	-inf	(log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (.f64 (cos.f64 phi1) (cos.f64 phi2))))))
67.0ms	b	@	0	(/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (neg.f64 (/.f64 (.f64 -8 (.f64 a (.f64 a (.f64 b b)))) (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 b a))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (/.f64 (.f64 (/.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale))))))) (.f64 a (.f64 (.f64 b b) (.f64 a -4))))

end9.0s (0.6%)

Compiler: Compiled 22226 to 11003 computations (50.5% saved)

preprocess3.8s (0.3%)

Algorithm

102×	egg-herbie

Rules

32198×	`fma-def`
26296×	`*-commutative`
22918×	`+-commutative`
19502×	`distribute-lft-in`
19386×	`associate-/r*`

Stop Event

60×	saturated
5×	unsound
37×	node limit

Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Details

sample8.5min (36.2%)

regimes3.8min (16.3%)

eval3.2min (13.4%)

bsearch1.8min (7.4%)

simplify1.7min (7.1%)

prune1.5min (6.5%)

rewrite1.1min (4.5%)

analyze42.8s (3%)

localize35.5s (2.5%)

soundness17.9s (1.3%)

series11.6s (0.8%)

end9.0s (0.6%)

preprocess3.8s (0.3%)

Profiling