Date:	Monday, May 15th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023135
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

regimes11.4min (23.8%)

Counts

43133 → 7135

Calls

494 calls:

1.8min	x
1.7min	y
1.5min	z
1.3min	t
1.1min	a

Results

Compiler

Compiled 582498 to 307851 computations (47.1% saved)

sample8.3min (17.2%)

Results

5.2min	2131954×	body	256	valid
1.4min	341235×	body	256	infinite
31.9s	50875×	body	1024	valid
31.5s	136353×	body	256	invalid
14.1s	35675×	body	512	valid
8.9s	10295×	body	2048	valid
4.2s	9119×	body	1024	infinite
2.2s	1624×	body	8192	exit
1.7s	5474×	body	512	infinite
495.0ms	321×	body	4096	valid
226.0ms	682×	body	1024	invalid
159.0ms	587×	body	512	invalid

Bogosity

rewrite6.3min (13.2%)

Algorithm

2803×	batch-egg-rewrite
4×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2193160×	`add-sqr-sqrt`
2160784×	`*-un-lft-identity`
2023484×	`add-cube-cbrt`
1995646×	`add-cbrt-cube`
1106182×	`add-exp-log`

Stop Event

4×	unsound
4×	iter limit
2801×	node limit

Counts

5878 → 332429

simplify6.3min (13.2%)

Algorithm

3342×

egg-herbie

Rules

1790270×	`associate-r`
1675668×	`associate-/l*`
1574258×	`*-commutative`
1570348×	`associate-l`
1509606×	`distribute-lft-in`

Stop Event

3×	unsound
69×	done
434×	saturated
200×	fuel
2905×	node limit

Counts

491522 → 551679

Compiler

Compiled 81141 to 47302 computations (41.7% saved)

eval5.3min (11.1%)

Compiler: Compiled 16740374 to 7941073 computations (52.6% saved)

prune3.8min (7.9%)

Counts: 640441 → 15886
Compiler: Compiled 437487 to 308014 computations (29.6% saved)

bsearch2.1min (4.3%)

Algorithm

4679×	binary-search
452×	left-value

Stop Event

4604×	narrow-enough
1×	predicate-failed
74×	predicate-same

Results

1.6min	547745×	body	256	valid
6.2s	27922×	body	256	infinite
5.5s	8402×	body	1024	valid
2.8s	7937×	body	512	valid
1.6s	9672×	body	256	invalid
460.0ms	589×	body	2048	valid
12.0ms	26×	body	1024	infinite
10.0ms	32×	body	512	infinite
1.0ms	2×	body	4096	valid

Compiler

Compiled 1019078 to 745246 computations (26.9% saved)

analyze1.1min (2.4%)

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.1min (2.2%)

Compiler: Compiled 128444 to 57632 computations (55.1% saved)

soundness52.0s (1.8%)

Algorithm

319×	egg-herbie

Rules

185736×	`fma-def`
175684×	`associate-/l*`
175080×	`*-commutative`
166358×	`distribute-lft-in`
162132×	`associate-/r*`

Stop Event

100×	saturated
2×	unsound
329×	node limit

Compiler

Compiled 42281 to 20601 computations (51.3% saved)

end34.9s (1.2%)

Compiler: Compiled 78660 to 36103 computations (54.1% saved)

series32.2s (1.1%)

Counts

5878 → 158823

Calls

41016 calls:

Time	Variable		Point	Expression
272.0ms	y	@	inf	(log.f64 (.f64 x (.f64 27 y)))
235.0ms	x	@	0	(+.f64 (.f64 (log.f64 x) x) (.f64 (neg.f64 (log.f64 y)) x))
228.0ms	t	@	inf	(log.f64 (*.f64 (+.f64 x y) (/.f64 z (exp.f64 (fma.f64 (log.f64 t) (-.f64 1/2 a) t)))))
195.0ms	t	@	0	(*.f64 (+.f64 a -1/2) (log.f64 t))
192.0ms	z	@	0	(.f64 (-.f64 1 (/.f64 1 (.f64 t z))) x)

preprocess19.7s (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

regimes11.4min (23.8%)

sample8.3min (17.2%)

rewrite6.3min (13.2%)

simplify6.3min (13.2%)

eval5.3min (11.1%)

prune3.8min (7.9%)

bsearch2.1min (4.3%)

analyze1.1min (2.4%)

localize1.1min (2.2%)

soundness52.0s (1.8%)

end34.9s (1.2%)

series32.2s (1.1%)

preprocess19.7s (0.7%)

Profiling