Date:	Wednesday, February 8th, 2023
Commit:	bca17af9 on oflatt-ian-bench
Hostname:	nightly with Racket 8.6
Seed:	2023039
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.1min (25.5%)

Counts

41701 → 7480

Calls

492 calls:

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

Results

Compiler

Compiled 520799 to 274027 computations (47.4% saved)

sample7.7min (17.7%)

Results

4.8min	2131884×	body	256	valid
1.3min	335661×	body	256	infinite
28.8s	51437×	body	1024	valid
28.8s	135380×	body	256	invalid
13.4s	35348×	body	512	valid
8.2s	10116×	body	2048	valid
3.7s	9145×	body	1024	infinite
1.9s	1516×	body	8192	exit
1.4s	5494×	body	512	infinite
814.0ms	335×	body	4096	valid
342.0ms	574×	body	512	invalid
301.0ms	689×	body	1024	invalid
2.0ms	4×	body	2048	infinite

Bogosity

simplify5.8min (13.4%)

Algorithm

3372×

egg-herbie

Rules

1799934×	`associate-r`
1695424×	`associate-/l*`
1578428×	`associate-l`
1571778×	`*-commutative`
1512152×	`distribute-lft-in`

Stop Event

64×	done
8×	unsound
434×	saturated
205×	fuel
2930×	node limit

Counts

497475 → 557760

Compiler

Compiled 84159 to 48379 computations (42.5% saved)

eval4.9min (11.2%)

Compiler: Compiled 16965640 to 7893446 computations (53.5% saved)

rewrite4.2min (9.8%)

Algorithm

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

Rules

2191108×	`add-sqr-sqrt`
2159040×	`*-un-lft-identity`
2021026×	`add-cube-cbrt`
1994708×	`add-cbrt-cube`
1119826×	`add-exp-log`

Stop Event

4×	unsound
4×	iter limit
2831×	node limit

Counts

5863 → 337488

prune3.7min (8.5%)

Counts: 642976 → 15769
Compiler: Compiled 409638 to 288882 computations (29.5% saved)

bsearch2.0min (4.6%)

Algorithm

5025×	binary-search
430×	left-value

Results

1.6min	599213×	body	256	valid
5.0s	30135×	body	256	infinite
3.6s	6138×	body	1024	valid
2.4s	5351×	body	512	valid
1.4s	10589×	body	256	invalid
276.0ms	353×	body	2048	valid
7.0ms	15×	body	1024	infinite
7.0ms	17×	body	512	infinite
4.0ms	7×	body	1024	invalid
0.0ms	1×	body	4096	valid

Compiler

Compiled 1110240 to 809693 computations (27.1% saved)

analyze1.1min (2.5%)

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)

localize56.8s (2.2%)

Compiler: Compiled 128387 to 58056 computations (54.8% saved)

soundness39.1s (1.5%)

Algorithm

304×	egg-herbie

Rules

171638×	`fma-def`
138768×	`*-commutative`
129498×	`associate-r`
125282×	`+-commutative`
122396×	`distribute-lft-in`

Stop Event

95×	saturated
1×	unsound
208×	node limit

Compiler

Compiled 30205 to 15513 computations (48.6% saved)

end34.0s (1.3%)

Compiler: Compiled 82361 to 37192 computations (54.8% saved)

series26.3s (1%)

Counts

5863 → 159717

Calls

41355 calls:

Time	Variable		Point	Expression
469.0ms	y	@	inf	(log1p.f64 (.f64 1/3 (acos.f64 (/.f64 1/18 (/.f64 (.f64 (/.f64 z x) y) (sqrt.f64 t))))))
137.0ms	x	@	0	(*.f64 x (log.f64 y))
130.0ms	x	@	0	(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 (neg.f64 y)))
129.0ms	x	@	-inf	(fma.f64 j (.f64 k -27) (fma.f64 x (.f64 i -4) (fma.f64 t (fma.f64 x (.f64 z (.f64 18 y)) (.f64 a -4)) (.f64 b c))))
121.0ms	y	@	inf	(pow.f64 (cbrt.f64 (fma.f64 (*.f64 y z) z x)) 3)

preprocess17.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

regimes11.1min (25.5%)

sample7.7min (17.7%)

simplify5.8min (13.4%)

eval4.9min (11.2%)

rewrite4.2min (9.8%)

prune3.7min (8.5%)

bsearch2.0min (4.6%)

analyze1.1min (2.5%)

localize56.8s (2.2%)

soundness39.1s (1.5%)

end34.0s (1.3%)

series26.3s (1%)

preprocess17.0s (0.7%)

Profiling