Date:	Wednesday, February 8th, 2023
Commit:	bca17af9 on oflatt-ian-bench
Hostname:	nightly with Racket 8.6
Seed:	2023039
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.6min (36%)

Results

2.7min	16960×	body	8192	exit
1.4min	70066×	body	1024	valid
1.1min	8945×	body	4096	valid
1.0min	294494×	body	256	valid
39.0s	14587×	body	2048	valid
32.5s	1648×	body	8192	valid
21.2s	34939×	body	512	valid
11.3s	6223×	body	1024	infinite
6.6s	21312×	body	256	infinite
6.3s	881×	body	4096	infinite
5.6s	17942×	body	256	unsamplable
5.2s	1202×	body	2048	infinite
3.9s	21518×	body	256	invalid
3.5s	3223×	body	512	infinite
1.3s	1632×	body	1024	invalid
1.2s	1233×	body	2048	invalid
523.0ms	35×	body	8192	infinite
519.0ms	1132×	body	512	invalid
159.0ms	906×	body	256	precondition
35.0ms	1×	body	8192	unsamplable
4.0ms	3×	body	1024	unsamplable
4.0ms	5×	body	512	unsamplable

Bogosity

regimes4.3min (18%)

Counts

30643 → 1336

Calls

143 calls:

16.0s	B
15.0s	A
14.4s	phi2
14.2s	lambda1
14.0s	a

Compiler

Compiled 735693 to 376285 computations (48.9% saved)

eval3.2min (13.4%)

Compiler: Compiled 10103632 to 5568383 computations (44.9% saved)

simplify1.8min (7.7%)

Algorithm

770×	egg-herbie

Rules

478526×	`associate-r`
428954×	`associate-/l*`
421600×	`*-commutative`
401026×	`associate-l`
377808×	`distribute-lft-in`

Stop Event

3×	unsound
68×	saturated
7×	done
43×	fuel
699×	node limit

Counts

127673 → 153327

Compiler

Compiled 24817 to 15477 computations (37.6% saved)

prune1.6min (6.8%)

Counts: 212240 → 9377
Compiler: Compiled 482372 to 336091 computations (30.3% saved)

bsearch1.2min (5%)

Algorithm

721×	binary-search
101×	left-value

Results

21.5s	16714×	body	1024	valid
13.9s	3474×	body	4096	valid
13.7s	52715×	body	256	valid
11.7s	6970×	body	2048	valid
5.5s	7068×	body	512	valid
1.5s	72×	body	8192	valid
760.0ms	3999×	body	256	invalid
619.0ms	92×	body	4096	infinite
587.0ms	140×	body	2048	infinite
280.0ms	112×	body	1024	infinite
216.0ms	667×	body	256	infinite
117.0ms	55×	body	512	infinite
14.0ms	1×	body	8192	infinite
8.0ms	14×	body	1024	invalid
6.0ms	14×	body	512	invalid
3.0ms	4×	body	2048	invalid

Compiler

Compiled 240218 to 172381 computations (28.2% saved)

rewrite1.1min (4.5%)

Algorithm

669×	batch-egg-rewrite
8×	egg-rewrite-iter-limit
9×	egg-rewrite

Rules

408756×	`add-sqr-sqrt`
400502×	`*-un-lft-identity`
376592×	`add-cube-cbrt`
374306×	`add-cbrt-cube`
266616×	`add-exp-log`

Stop Event

11×	unsound
8×	iter limit
667×	node limit

Counts

1729 → 86685

analyze41.7s (2.9%)

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)

localize36.6s (2.5%)

Compiler: Compiled 90247 to 44336 computations (50.9% saved)

soundness18.8s (1.3%)

Algorithm

140×	egg-herbie

Rules

85018×	`associate-r`
80608×	`*-commutative`
70546×	`associate-/l*`
68208×	`associate-/r*`
68054×	`+-commutative`

Stop Event

17×	saturated
123×	node limit

Compiler

Compiled 19398 to 11891 computations (38.7% saved)

series14.7s (1%)

Counts

1729 → 40937

Calls

11190 calls:

Time	Variable		Point	Expression
378.0ms	a	@	-inf	(.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 (/.f64 -1/4 (.f64 b a)) (/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (.f64 a (.f64 (/.f64 (.f64 -8 (.f64 b (.f64 a (.f64 b a)))) (pow.f64 (.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (.f64 y-scale y-scale)) (/.f64 (.f64 a a) (.f64 y-scale y-scale)))))) (.f64 b (neg.f64 a)))))
202.0ms	a	@	inf	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.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)) x-scale) x-scale)) (/.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)) y-scale) y-scale)))
197.0ms	b	@	0	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)) (.f64 (.f64 4 (/.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)) x-scale) x-scale)) (/.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)) y-scale) y-scale)))
134.0ms	lambda2	@	inf	(log1p.f64 (asin.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (.f64 (cos.f64 phi1) (.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
117.0ms	b	@	0	(/.f64 (.f64 b b) (.f64 x-scale (.f64 (-.f64 b a) (.f64 (PI.f64) (+.f64 b a)))))

end9.1s (0.6%)

Compiler: Compiled 24144 to 11509 computations (52.3% saved)

preprocess4.0s (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.6min (36%)

regimes4.3min (18%)

eval3.2min (13.4%)

simplify1.8min (7.7%)

prune1.6min (6.8%)

bsearch1.2min (5%)

rewrite1.1min (4.5%)

analyze41.7s (2.9%)

localize36.6s (2.5%)

soundness18.8s (1.3%)

series14.7s (1%)

end9.1s (0.6%)

preprocess4.0s (0.3%)

Profiling