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

regimes12.6min (25.5%)

Counts

42699 → 7315

Calls

489 calls:

1.9min	x
1.9min	y
1.6min	z
1.5min	t
1.2min	a

Results

Compiler

Compiled 576423 to 311346 computations (46% saved)

sample8.3min (16.8%)

Results

5.2min	2132140×	body	256	valid
1.4min	337276×	body	256	infinite
30.9s	136252×	body	256	invalid
30.5s	50761×	body	1024	valid
13.4s	35536×	body	512	valid
8.2s	10357×	body	2048	valid
4.0s	9421×	body	1024	infinite
2.1s	1612×	body	8192	exit
1.8s	5728×	body	512	infinite
623.0ms	326×	body	4096	valid
315.0ms	712×	body	1024	invalid
127.0ms	551×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

rewrite6.5min (13.2%)

Algorithm

2795×

batch-egg-rewrite

Rules

2099620×	`add-sqr-sqrt`
2068746×	`*-un-lft-identity`
1936588×	`add-cube-cbrt`
1911422×	`add-cbrt-cube`
1085580×	`add-exp-log`

Stop Event

1×	unsound
2794×	node limit

Counts

5833 → 339230

simplify6.4min (12.9%)

Algorithm

3334×

egg-herbie

Rules

1798086×	`associate-r`
1679262×	`associate-/l*`
1586298×	`associate-l`
1556618×	`*-commutative`
1506250×	`distribute-lft-in`

Stop Event

66×	done
7×	unsound
435×	saturated
203×	fuel
2892×	node limit

Counts

499103 → 556893

Compiler

Compiled 85282 to 49127 computations (42.4% saved)

eval5.2min (10.5%)

Compiler: Compiled 16489747 to 7764120 computations (52.9% saved)

prune3.6min (7.3%)

Counts: 638789 → 15842
Compiler: Compiled 420201 to 295884 computations (29.6% saved)

bsearch2.1min (4.2%)

Algorithm

4666×	binary-search
637×	left-value

Stop Event

4593×	narrow-enough
3×	predicate-failed
70×	predicate-same

Results

1.6min	558097×	body	256	valid
6.5s	34016×	body	256	infinite
3.7s	5376×	body	1024	valid
2.6s	6256×	body	512	valid
2.0s	13277×	body	256	invalid
135.0ms	243×	body	2048	valid
10.0ms	21×	body	1024	infinite
9.0ms	26×	body	512	infinite
5.0ms	10×	body	4096	valid
1.0ms	6×	body	512	invalid

Compiler

Compiled 1036533 to 756546 computations (27% 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)

soundness1.1min (2.3%)

Rules

214602×	`fma-def`
190198×	`*-commutative`
181194×	`associate-/l*`
175716×	`distribute-lft-in`
173688×	`associate-r`

Stop Event

105×	saturated
1×	unsound
342×	node limit

Compiler

Compiled 47145 to 24391 computations (48.3% saved)

localize1.0min (2.1%)

Compiler: Compiled 127008 to 57671 computations (54.6% saved)

end36.1s (1.2%)

Compiler: Compiled 83473 to 38361 computations (54% saved)

series28.6s (1%)

Counts

5833 → 159603

Calls

41139 calls:

Time	Variable		Point	Expression
243.0ms	x	@	0	(/.f64 (/.f64 y (/.f64 x (+.f64 (.f64 z z) -1))) (.f64 y (-.f64 (*.f64 y (pow.f64 z 4)) y)))
183.0ms	x	@	0	(*.f64 x (log.f64 (/.f64 x y)))
182.0ms	x	@	0	(*.f64 x (log.f64 y))
170.0ms	t	@	inf	(log1p.f64 (.f64 1/3 (acos.f64 (/.f64 1/18 (/.f64 (.f64 (/.f64 z x) y) (sqrt.f64 t))))))
147.0ms	x	@	0	(fma.f64 t (fma.f64 x (.f64 z (.f64 18 y)) (.f64 a -4)) (.f64 b c))

preprocess20.3s (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.6min (25.5%)

sample8.3min (16.8%)

rewrite6.5min (13.2%)

simplify6.4min (12.9%)

eval5.2min (10.5%)

prune3.6min (7.3%)

bsearch2.1min (4.2%)

analyze1.1min (2.3%)

soundness1.1min (2.3%)

localize1.0min (2.1%)

end36.1s (1.2%)

series28.6s (1%)

preprocess20.3s (0.7%)

Profiling