Date:	Saturday, May 13th, 2023
Commit:	1f5aabee on main
Hostname:	nightly with Racket 8.6
Seed:	2023133
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.1min (24.5%)

Counts

44638 → 7493

Calls

489 calls:

2.0min	x
1.9min	y
1.7min	z
1.3min	t
1.2min	a

Results

Compiler

Compiled 581161 to 316443 computations (45.5% saved)

sample8.2min (16.6%)

Results

5.2min	2132241×	body	256	valid
1.4min	338929×	body	256	infinite
31.0s	51104×	body	1024	valid
30.5s	135827×	body	256	invalid
13.2s	35220×	body	512	valid
8.7s	10200×	body	2048	valid
4.1s	9174×	body	1024	infinite
2.3s	1554×	body	8192	exit
1.9s	5617×	body	512	infinite
680.0ms	355×	body	4096	valid
410.0ms	707×	body	1024	invalid
141.0ms	562×	body	512	invalid

Bogosity

rewrite6.5min (13%)

Algorithm

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

Rules

2086614×	`add-sqr-sqrt`
2055658×	`*-un-lft-identity`
1924898×	`add-cube-cbrt`
1899828×	`add-cbrt-cube`
1100568×	`add-exp-log`

Stop Event

4×	unsound
4×	iter limit
2793×	node limit

Counts

5903 → 341349

simplify6.4min (12.9%)

Algorithm

3334×

egg-herbie

Rules

1780598×	`associate-r`
1644138×	`associate-/l*`
1575276×	`*-commutative`
1572386×	`associate-l`
1512168×	`distribute-lft-in`

Stop Event

70×	done
9×	unsound
436×	saturated
199×	fuel
2889×	node limit

Counts

504791 → 565491

Compiler

Compiled 85980 to 49662 computations (42.2% saved)

eval5.4min (11%)

Compiler: Compiled 16969672 to 7972474 computations (53% saved)

prune3.8min (7.7%)

Counts: 644192 → 15931
Compiler: Compiled 421438 to 297366 computations (29.4% saved)

bsearch2.2min (4.5%)

Algorithm

5122×	binary-search
370×	left-value

Stop Event

5021×	narrow-enough
5×	predicate-failed
96×	predicate-same

Results

1.8min	611958×	body	256	valid
5.6s	30478×	body	256	infinite
4.8s	6841×	body	1024	valid
3.7s	9695×	body	512	valid
2.3s	13366×	body	256	invalid
161.0ms	261×	body	2048	valid
19.0ms	47×	body	512	infinite
14.0ms	32×	body	1024	infinite
12.0ms	52×	body	512	invalid
4.0ms	10×	body	1024	invalid

Compiler

Compiled 1184190 to 862075 computations (27.2% saved)

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

Compiler: Compiled 129080 to 57879 computations (55.2% saved)

soundness1.0min (2%)

Algorithm

360×	egg-herbie

Rules

226402×	`fma-def`
204510×	`associate-/l*`
201332×	`*-commutative`
198074×	`distribute-lft-in`
184172×	`associate-r`

Stop Event

106×	saturated
1×	unsound
383×	node limit

Compiler

Compiled 51982 to 27907 computations (46.3% saved)

end36.1s (1.2%)

Compiler: Compiled 83252 to 37893 computations (54.5% saved)

series32.4s (1.1%)

Counts

5903 → 163172

Calls

42261 calls:

Time	Variable		Point	Expression
388.0ms	x	@	-inf	(*.f64 x (log.f64 x))
357.0ms	x	@	0	(.f64 x (/.f64 (/.f64 (pow.f64 z y) (pow.f64 a (-.f64 1 t))) (.f64 y (exp.f64 b))))
282.0ms	x	@	0	(sqrt.f64 (cbrt.f64 (*.f64 x x)))
252.0ms	a	@	0	(/.f64 (-.f64 (+.f64 1 t) z) (-.f64 a x))
249.0ms	x	@	0	(*.f64 x (log.f64 y))

preprocess21.0s (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.1min (24.5%)

sample8.2min (16.6%)

rewrite6.5min (13%)

simplify6.4min (12.9%)

eval5.4min (11%)

prune3.8min (7.7%)

bsearch2.2min (4.5%)

analyze1.2min (2.4%)

localize1.1min (2.1%)

soundness1.0min (2%)

end36.1s (1.2%)

series32.4s (1.1%)

preprocess21.0s (0.7%)

Profiling