Date:	Thursday, May 18th, 2023
Commit:	5c5cbfdd on main
Hostname:	nightly with Racket 8.6
Seed:	2023138
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

regimes3.1min (26.3%)

Counts

15582 → 1185

Calls

152 calls:

16.5s	l
10.6s	D
8.0s	d
7.3s	M
7.2s	(*.f64 M D)

Compiler

Compiled 237218 to 122935 computations (48.2% saved)

sample2.2min (18.3%)

Results

40.8s	190242×	body	256	valid
25.7s	34185×	body	1024	valid
18.0s	84502×	body	256	invalid
8.0s	11104×	body	2048	valid
7.8s	16324×	body	512	valid
7.1s	29307×	body	256	infinite
4.6s	1047×	body	4096	infinite
4.1s	6245×	body	1024	invalid
3.4s	2864×	body	4096	valid
2.7s	4434×	body	1024	infinite
2.4s	962×	body	2048	infinite
1.4s	3206×	body	512	invalid
1.3s	1217×	body	8192	valid
1.0s	2515×	body	512	infinite
66.0ms	292×	body	256	unsamplable
6.0ms	8×	body	8192	exit
2.0ms	3×	body	2048	invalid

Bogosity

eval1.4min (11.9%)

Compiler: Compiled 4197954 to 2404500 computations (42.7% saved)

simplify1.2min (10.4%)

Algorithm

546×	egg-herbie

Rules

334960×	`associate-/l*`
326322×	`associate-r`
307712×	`associate-/r*`
293158×	`*-commutative`
290804×	`associate-l`

Stop Event

2×	unsound
2×	done
39×	saturated
29×	fuel
505×	node limit

Counts

98666 → 110830

Compiler

Compiled 20515 to 12584 computations (38.7% saved)

rewrite1.2min (10.1%)

Algorithm

484×	batch-egg-rewrite

Rules

235292×	`add-sqr-sqrt`
230062×	`*-un-lft-identity`
216802×	`add-cube-cbrt`
214200×	`add-cbrt-cube`
197002×	`associate-*l/`

Stop Event

3×	unsound
481×	node limit

Counts

1373 → 64088

prune51.1s (7.2%)

Counts: 131083 → 3791
Compiler: Compiled 129808 to 92482 computations (28.8% saved)

bsearch35.8s (5.1%)

Algorithm

643×	binary-search
148×	left-value

Stop Event

610×	narrow-enough
33×	predicate-same

Results

16.8s	65141×	body	256	valid
6.5s	7506×	body	1024	valid
4.9s	20824×	body	256	invalid
2.0s	4381×	body	512	valid
1.6s	6369×	body	256	infinite
688.0ms	1131×	body	2048	valid
639.0ms	760×	body	4096	valid
250.0ms	537×	body	1024	invalid
176.0ms	153×	body	8192	valid
87.0ms	84×	body	2048	infinite
60.0ms	85×	body	1024	infinite
54.0ms	160×	body	512	invalid
36.0ms	24×	body	4096	infinite
35.0ms	4×	body	8192	exit
35.0ms	76×	body	512	infinite

Compiler

Compiled 209621 to 152260 computations (27.4% saved)

soundness23.3s (3.3%)

Rules

84840×	`associate-/r*`
83790×	`associate-/l*`
82452×	`associate-*r/`
75698×	`*-commutative`
73254×	`associate-r`

Stop Event

6×	saturated
156×	node limit

Compiler

Compiled 29046 to 17217 computations (40.7% saved)

localize18.0s (2.5%)

Compiler: Compiled 42838 to 21448 computations (49.9% saved)

analyze15.9s (2.2%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series8.6s (1.2%)

Counts

1373 → 34547

Calls

9873 calls:

Time	Variable		Point	Expression
442.0ms	f	@	-inf	(/.f64 (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)) (PI.f64))
277.0ms	B	@	inf	(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2) (/.f64 (neg.f64 x) (tan.f64 B)))
97.0ms	v	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 -5 (*.f64 v v) 1) (fma.f64 v v -1))) 2))) 4)
96.0ms	f	@	-inf	(*.f64 (log.f64 (/.f64 (/.f64 4 (PI.f64)) f)) (/.f64 -4 (PI.f64)))
92.0ms	t	@	0	(pow.f64 (/.f64 t l) 2)

end8.1s (1.1%)

Compiler: Compiled 19935 to 9756 computations (51.1% saved)

preprocess2.6s (0.4%)

Algorithm

62×	egg-herbie

Rules

16384×	`fma-def`
16276×	`*-commutative`
15394×	`associate-r`
15392×	`associate-*r/`
13040×	`associate-l`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes3.1min (26.3%)

sample2.2min (18.3%)

eval1.4min (11.9%)

simplify1.2min (10.4%)

rewrite1.2min (10.1%)

prune51.1s (7.2%)

bsearch35.8s (5.1%)

soundness23.3s (3.3%)

localize18.0s (2.5%)

analyze15.9s (2.2%)

series8.6s (1.2%)

end8.1s (1.1%)

preprocess2.6s (0.4%)

Profiling