Date:	Tuesday, December 20th, 2022
Commit:	d611f941 on main
Hostname:	nightly with Racket 8.6
Seed:	2022354
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

sample1.5min (22.9%)

Results

47.2s	296750×	body	256	valid
18.4s	15016×	body	2048	valid
11.3s	21760×	body	1024	valid
5.2s	18726×	body	256	infinite
4.2s	12323×	body	512	valid
1.7s	202×	body	8192	exit
727.0ms	903×	body	4096	valid
409.0ms	2792×	body	256	invalid
140.0ms	208×	body	1024	infinite
100.0ms	243×	body	512	infinite
74.0ms	460×	body	256	unsamplable
23.0ms	19×	body	2048	infinite

Bogosity

eval1.2min (18.8%)

Compiler: Compiled 3628954 to 2070205 computations (43% saved)

simplify55.2s (14%)

Algorithm

505×	egg-herbie

Rules

285570×	`associate-r`
250212×	`associate-l`
248356×	`associate-/l*`
245154×	`*-commutative`
234852×	`associate-/r*`

Stop Event

11×	done
1×	unsound
60×	saturated
31×	fuel
444×	node limit

Counts

74936 → 93251

Compiler

Compiled 8411 to 5260 computations (37.5% saved)

rewrite41.9s (10.6%)

Algorithm

421×	batch-egg-rewrite
6×	egg-rewrite-iter-limit
15×	egg-rewrite

Rules

297890×	`add-sqr-sqrt`
291534×	`*-un-lft-identity`
275174×	`add-cube-cbrt`
269926×	`add-cbrt-cube`
166692×	`add-exp-log`

Stop Event

6×	iter limit
436×	node limit

Counts

979 → 54368

prune41.0s (10.4%)

Counts: 113663 → 2488
Compiler: Compiled 80898 to 54047 computations (33.2% saved)

regimes34.5s (8.7%)

Counts

5177 → 585

Calls

92 calls:

7.9s	a
4.8s	c
4.4s	b
1.6s	d
1.4s	x

Compiler

Compiled 87246 to 49322 computations (43.5% saved)

localize15.5s (3.9%)

Compiler: Compiled 33622 to 18850 computations (43.9% saved)

analyze11.9s (3%)

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
6.4%	3.5%	51%	45.5%	0%	0%	0%	1
6.4%	3.5%	51%	45.5%	0%	0%	0%	2
20.5%	10.9%	42.4%	45.5%	0%	1.2%	0%	3
26.9%	14.3%	38.7%	45.5%	0%	1.5%	0%	4
34.9%	18.2%	34%	45.6%	0.6%	1.7%	0%	5
38.2%	19.4%	31.4%	45.6%	1.9%	1.7%	0%	6
44.8%	22%	27.2%	45.6%	3%	2.2%	0%	7
48.2%	23.4%	25.2%	45.7%	3.6%	2.2%	0.1%	8
52.7%	25%	22.5%	45.7%	4.1%	2.5%	0.1%	9
57.3%	26.9%	20%	45.7%	4.5%	2.7%	0.2%	10
61%	28.3%	18%	45.7%	4.9%	2.8%	0.2%	11
64.7%	29.7%	16.2%	45.7%	5.2%	2.9%	0.3%	12

Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch10.9s (2.8%)

Algorithm

327×	binary-search
8×	left-value

Results

6.1s	34531×	body	256	valid
1.6s	2966×	body	1024	valid
676.0ms	715×	body	2048	valid
535.0ms	1893×	body	512	valid
424.0ms	2212×	body	256	infinite
408.0ms	3886×	body	256	invalid
191.0ms	543×	body	512	infinite
176.0ms	299×	body	1024	infinite
12.0ms	13×	body	2048	infinite
10.0ms	7×	body	4096	valid

Compiler

Compiled 78318 to 53807 computations (31.3% saved)

soundness7.9s (2%)

Algorithm

58×	egg-herbie

Rules

39392×	`fma-def`
33570×	`*-commutative`
32620×	`associate-r`
30704×	`+-commutative`
26526×	`associate-/l*`

Stop Event

7×	saturated
51×	node limit

Compiler

Compiled 22373 to 14964 computations (33.1% saved)

end4.5s (1.1%)

Compiler: Compiled 8042 to 4308 computations (46.4% saved)

series4.1s (1%)

Counts

979 → 20526

Calls

5673 calls:

Time	Variable		Point	Expression
273.0ms	x	@	inf	(.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x)))
230.0ms	t	@	0	(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
158.0ms	t	@	0	(.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
55.0ms	t	@	-inf	(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
47.0ms	b	@	inf	(sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4)))

preprocess2.7s (0.7%)

Algorithm

84×	egg-herbie

Rules

23512×	`fma-def`
17930×	`distribute-lft-in`
17024×	`*-commutative`
15010×	`+-commutative`
14462×	`distribute-rgt-in`

Stop Event

5×	unsound
54×	saturated
25×	node limit

Compiler

Compiled 913 to 679 computations (25.6% saved)

Details

sample1.5min (22.9%)

eval1.2min (18.8%)

simplify55.2s (14%)

rewrite41.9s (10.6%)

prune41.0s (10.4%)

regimes34.5s (8.7%)

localize15.5s (3.9%)

analyze11.9s (3%)

bsearch10.9s (2.8%)

soundness7.9s (2%)

end4.5s (1.1%)

series4.1s (1%)

preprocess2.7s (0.7%)

Profiling