Date:	Monday, May 1st, 2023
Commit:	e093b807 on main
Hostname:	nightly with Racket 8.6
Seed:	2023121
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.8min (36.5%)

Results

2.6min	16853×	body	8192	exit
1.5min	69746×	body	1024	valid
1.2min	8860×	body	4096	valid
1.0min	294602×	body	256	valid
40.8s	14653×	body	2048	valid
33.4s	1650×	body	8192	valid
22.5s	35017×	body	512	valid
12.4s	6351×	body	1024	infinite
7.3s	21394×	body	256	infinite
6.8s	876×	body	4096	infinite
5.6s	1187×	body	2048	infinite
5.4s	16634×	body	256	unsamplable
4.3s	21383×	body	256	invalid
3.4s	3318×	body	512	infinite
1.2s	1663×	body	1024	invalid
1.2s	1187×	body	2048	invalid
547.0ms	1171×	body	512	invalid
525.0ms	31×	body	8192	infinite
109.0ms	935×	body	256	precondition
4.0ms	6×	body	512	unsamplable
3.0ms	2×	body	1024	unsamplable

Bogosity

regimes4.0min (16.6%)

Counts

26870 → 1175

Calls

143 calls:

16.3s	A
15.6s	b
14.2s	a
12.4s	lambda1
11.3s	B

Compiler

Compiled 651503 to 327775 computations (49.7% saved)

eval3.3min (13.9%)

Compiler: Compiled 10314969 to 5701502 computations (44.7% saved)

simplify1.8min (7.5%)

Algorithm

778×	egg-herbie

Rules

469096×	`associate-r`
421788×	`*-commutative`
416692×	`associate-/l*`
401284×	`associate-l`
388758×	`associate-/r*`

Stop Event

2×	unsound
70×	saturated
6×	done
44×	fuel
706×	node limit

Counts

123473 → 151677

Compiler

Compiled 22776 to 14067 computations (38.2% saved)

prune1.6min (6.6%)

Counts: 214300 → 9421
Compiler: Compiled 521600 to 363633 computations (30.3% saved)

bsearch1.2min (5.2%)

Algorithm

639×	binary-search
59×	left-value

Stop Event

620×	narrow-enough
19×	predicate-same

Results

21.2s	14118×	body	1024	valid
15.9s	48874×	body	256	valid
12.6s	2182×	body	4096	valid
12.3s	5395×	body	2048	valid
5.7s	6403×	body	512	valid
1.7s	97×	body	8192	valid
1.0s	4367×	body	256	invalid
885.0ms	137×	body	4096	infinite
546.0ms	133×	body	2048	infinite
273.0ms	84×	body	1024	infinite
229.0ms	738×	body	256	infinite
125.0ms	9×	body	8192	infinite
92.0ms	37×	body	512	infinite
86.0ms	64×	body	1024	invalid
26.0ms	60×	body	512	invalid
5.0ms	6×	body	2048	invalid

Compiler

Compiled 230240 to 165276 computations (28.2% saved)

rewrite1.1min (4.6%)

Algorithm

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

Rules

422860×	`add-sqr-sqrt`
414292×	`*-un-lft-identity`
389718×	`add-cube-cbrt`
387230×	`add-cbrt-cube`
278932×	`add-exp-log`

Stop Event

12×	unsound
9×	iter limit
673×	node limit

Counts

1723 → 83713

analyze44.4s (3.1%)

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)

localize38.9s (2.7%)

Compiler: Compiled 93044 to 46798 computations (49.7% saved)

soundness21.7s (1.5%)

Algorithm

161×	egg-herbie

Rules

115522×	`associate-r`
100070×	`*-commutative`
94852×	`associate-+r+`
90646×	`+-commutative`
89322×	`associate-l`

Stop Event

11×	saturated
150×	node limit

Compiler

Compiled 24139 to 14280 computations (40.8% saved)

series14.6s (1%)

Counts

1723 → 39709

Calls

11181 calls:

Time	Variable		Point	Expression
333.0ms	phi1	@	inf	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (.f64 (sin.f64 phi1) (cos.f64 phi2))) (+.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
110.0ms	phi2	@	inf	(log.f64 (pow.f64 (pow.f64 (exp.f64 (cos.f64 phi2)) (cos.f64 phi1)) (cos.f64 lambda2)))
104.0ms	B	@	inf	(/.f64 (neg.f64 (sqrt.f64 (.f64 2 (.f64 (fma.f64 B B (.f64 C (.f64 A -4))) (.f64 F (+.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C)))))))) (fma.f64 B B (.f64 C (*.f64 A -4))))
90.0ms	b	@	inf	(/.f64 (/.f64 (.f64 b b) (.f64 x-scale (PI.f64))) (-.f64 (.f64 b b) (.f64 a a)))
87.0ms	a	@	0	(.f64 (.f64 4 (.f64 (/.f64 b x-scale) (/.f64 b 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)))

end8.0s (0.6%)

Compiler: Compiled 21764 to 10514 computations (51.7% 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.8min (36.5%)

regimes4.0min (16.6%)

eval3.3min (13.9%)

simplify1.8min (7.5%)

prune1.6min (6.6%)

bsearch1.2min (5.2%)

rewrite1.1min (4.6%)

analyze44.4s (3.1%)

localize38.9s (2.7%)

soundness21.7s (1.5%)

series14.6s (1%)

end8.0s (0.6%)

preprocess4.0s (0.3%)

Profiling