Date:	Wednesday, May 10th, 2023
Commit:	2ddccb59 on x86-arm-m1-bug
Hostname:	nightly with Racket 8.6
Seed:	2023130
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

regimes12.7min (25.5%)

Counts

44681 → 7335

Calls

500 calls:

2.0min	x
1.9min	y
1.5min	z
1.4min	t
1.2min	a

Results

Compiler

Compiled 584929 to 326106 computations (44.2% saved)

sample8.4min (16.9%)

Results

5.3min	2131859×	body	256	valid
1.4min	336956×	body	256	infinite
31.7s	135987×	body	256	invalid
30.2s	51163×	body	1024	valid
14.7s	35253×	body	512	valid
8.5s	10506×	body	2048	valid
4.1s	9068×	body	1024	infinite
2.5s	1529×	body	8192	exit
2.2s	5667×	body	512	infinite
634.0ms	339×	body	4096	valid
226.0ms	609×	body	512	invalid
223.0ms	667×	body	1024	invalid
1.0ms	2×	body	2048	infinite

Bogosity

rewrite6.4min (12.8%)

Algorithm

2763×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2073608×	`add-sqr-sqrt`
2043076×	`*-un-lft-identity`
1912836×	`add-cube-cbrt`
1888462×	`add-cbrt-cube`
1090564×	`add-exp-log`

Stop Event

3×	unsound
3×	iter limit
2762×	node limit

Counts

5788 → 337233

simplify6.3min (12.7%)

Algorithm

3302×

egg-herbie

Rules

1768236×	`associate-r`
1650688×	`associate-/l*`
1563332×	`associate-l`
1553812×	`*-commutative`
1490196×	`distribute-lft-in`

Stop Event

10×	unsound
64×	done
434×	saturated
205×	fuel
2858×	node limit

Counts

496040 → 554478

Compiler

Compiled 84011 to 48694 computations (42% saved)

eval5.3min (10.7%)

Compiler: Compiled 16697105 to 7869023 computations (52.9% saved)

prune3.8min (7.7%)

Counts: 636943 → 15788
Compiler: Compiled 417208 to 297448 computations (28.7% saved)

bsearch2.2min (4.4%)

Algorithm

4810×	binary-search
487×	left-value

Stop Event

4728×	narrow-enough
82×	predicate-same

Results

1.7min	578399×	body	256	valid
5.9s	30223×	body	256	infinite
5.1s	6715×	body	1024	valid
3.0s	6401×	body	512	valid
1.4s	7925×	body	256	invalid
220.0ms	309×	body	2048	valid
36.0ms	14×	body	1024	infinite
30.0ms	81×	body	512	infinite

Compiler

Compiled 1075059 to 791843 computations (26.3% saved)

analyze1.1min (2.3%)

Algorithm

270×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.7%	0.1%	0%	0.2%	0%	2
5.7%	5.6%	93.3%	0.1%	0.2%	0.7%	0%	3
8.5%	8.3%	89.2%	0.1%	1.2%	1.2%	0%	4
16.6%	16.1%	80.8%	0.1%	1.6%	1.4%	0%	5
21.4%	20.4%	74.8%	0.1%	2.7%	2%	0%	6
30.2%	28.1%	64.9%	0.1%	4%	2.8%	0%	7
35.6%	32.7%	59.4%	0.1%	4.5%	3.3%	0%	8
41.9%	38%	52.7%	0.1%	5.4%	3.7%	0%	9
47.4%	42.3%	46.9%	0.1%	6.4%	4.3%	0%	10
52.3%	46.1%	42%	0.1%	7.1%	4.6%	0%	11
56.4%	49.2%	38.1%	0.1%	7.7%	4.9%	0%	12

Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize1.0min (2.1%)

Compiler: Compiled 125817 to 57018 computations (54.7% saved)

soundness55.2s (1.9%)

Algorithm

331×	egg-herbie

Rules

194026×	`fma-def`
191000×	`associate-/l*`
189858×	`*-commutative`
180668×	`distribute-lft-in`
174952×	`associate-/r*`

Stop Event

96×	saturated
1×	unsound
352×	node limit

Compiler

Compiled 47616 to 26007 computations (45.4% saved)

end36.2s (1.2%)

Compiler: Compiled 81251 to 37147 computations (54.3% saved)

series31.3s (1.1%)

Counts

5788 → 158537

Calls

41211 calls:

Time	Variable		Point	Expression
343.0ms	x	@	0	(.f64 x (exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (*.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))))
238.0ms	y	@	inf	(*.f64 (/.f64 y a) x)
203.0ms	c	@	0	(.f64 c (.f64 b z))
203.0ms	z	@	0	(/.f64 -2 (-.f64 (*.f64 z (/.f64 2 y)) (/.f64 t z)))
202.0ms	b	@	0	(.f64 (pow.f64 z y) (/.f64 (.f64 (pow.f64 a t) (/.f64 x a)) (*.f64 y (exp.f64 b))))

preprocess21.8s (0.7%)

Algorithm

540×	egg-herbie

Rules

183176×	`fma-def`
105626×	`*-commutative`
101564×	`+-commutative`
95266×	`distribute-lft-in`
86488×	`associate-+l-`

Stop Event

59×	unsound
353×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes12.7min (25.5%)

sample8.4min (16.9%)

rewrite6.4min (12.8%)

simplify6.3min (12.7%)

eval5.3min (10.7%)

prune3.8min (7.7%)

bsearch2.2min (4.4%)

analyze1.1min (2.3%)

localize1.0min (2.1%)

soundness55.2s (1.9%)

end36.2s (1.2%)

series31.3s (1.1%)

preprocess21.8s (0.7%)

Profiling