Date:	Friday, November 25th, 2022
Commit:	cf54083d on main
Hostname:	nightly with Racket 8.6
Seed:	2022329
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.2min (30%)

Counts

40360 → 7357

Calls

488 calls:

1.7min	x
1.6min	y
1.4min	z
1.3min	t
57.4s	a

Results

Compiler

Compiled 508206 to 269854 computations (46.9% saved)

sample7.3min (19.6%)

Results

4.6min	2131923×	body	256	valid
1.2min	335083×	body	256	infinite
27.4s	51102×	body	1024	valid
27.1s	136483×	body	256	invalid
12.4s	35479×	body	512	valid
7.5s	10290×	body	2048	valid
3.8s	9352×	body	1024	infinite
2.0s	1676×	body	8192	exit
1.6s	5613×	body	512	infinite
487.0ms	326×	body	4096	valid
258.0ms	770×	body	1024	invalid
158.0ms	570×	body	512	invalid
2.0ms	2×	body	2048	infinite

Bogosity

simplify4.0min (10.8%)

Algorithm

3296×

egg-herbie

Rules

1044546×	`fma-def_binary64`
898333×	`fma-neg_binary64`
840737×	`log-prod_binary64`
678448×	`unswap-sqr_binary64`
611162×	`times-frac_binary64`

Stop Event

73×	done
8×	unsound
436×	saturated
196×	fuel
2852×	node limit

Counts

411273 → 415253

Compiler

Compiled 86695 to 48931 computations (43.6% saved)

eval3.5min (9.4%)

Compiler: Compiled 11772416 to 5588623 computations (52.5% saved)

rewrite2.9min (7.8%)

Algorithm

2757×	batch-egg-rewrite
7×	egg-rewrite-iter-limit
7×	egg-rewrite

Rules

1181248×	`pow1_binary64`
1103003×	`add-log-exp_binary64`
1102572×	`expm1-log1p-u_binary64`
1102536×	`log1p-expm1-u_binary64`
987544×	`add-exp-log_binary64`

Stop Event

5×	unsound
7×	iter limit
2759×	node limit

Counts

5699 → 258506

prune2.4min (6.4%)

Counts: 481616 → 15460
Compiler: Compiled 396262 to 279856 computations (29.4% saved)

bsearch2.0min (5.4%)

Algorithm

4957×	binary-search
411×	left-value

Results

1.6min	589990×	body	256	valid
5.0s	8218×	body	1024	valid
4.1s	23737×	body	256	infinite
3.1s	8623×	body	512	valid
1.8s	13686×	body	256	invalid
339.0ms	455×	body	2048	valid
41.0ms	19×	body	512	invalid
11.0ms	34×	body	512	infinite
1.0ms	2×	body	1024	infinite
0.0ms	1×	body	1024	invalid

Compiler

Compiled 1137116 to 823673 computations (27.6% saved)

analyze1.0min (2.7%)

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)

localize57.9s (2.6%)

Compiler: Compiled 123833 to 56266 computations (54.6% saved)

series36.3s (1.6%)

Counts

5699 → 152497

Calls

39885 calls:

Time	Variable		Point	Expression
227.0ms	t	@	inf	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (sqrt.f64 (sqrt.f64 (pow.f64 (exp.f64 t) (+.f64 t t)))))
218.0ms	x	@	0	(-.f64 (exp.f64 (log1p.f64 (*.f64 x 27061/100000))) 1)
185.0ms	z	@	-inf	(+.f64 83333333333333/1000000000000000 (.f64 (-.f64 (.f64 z (+.f64 7936500793651/10000000000000000 y)) 13888888888889/5000000000000000) z))
157.0ms	x	@	0	(-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))
145.0ms	x	@	0	(*.f64 x (log.f64 y))

soundness32.7s (1.5%)

Algorithm

304×	egg-herbie

Rules

126104×	`fma-def_binary64`
112546×	`fma-neg_binary64`
57755×	`distribute-rgt-in_binary64`
54129×	`associate-/l*_binary64`
50678×	`div-sub_binary64`

Stop Event

89×	saturated
215×	node limit

Compiler

Compiled 52513 to 36395 computations (30.7% saved)

end31.4s (1.4%)

Compiler: Compiled 85262 to 38191 computations (55.2% saved)

preprocess16.5s (0.7%)

Algorithm

540×	egg-herbie

Rules

98329×	`fma-def_binary64`
92803×	`fma-neg_binary64`
46036×	`sub-neg_binary64`
45046×	`div-sub_binary64`
43640×	`distribute-rgt-in_binary64`

Stop Event

58×	unsound
354×	saturated
128×	node limit

Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Details

regimes11.2min (30%)

sample7.3min (19.6%)

simplify4.0min (10.8%)

eval3.5min (9.4%)

rewrite2.9min (7.8%)

prune2.4min (6.4%)

bsearch2.0min (5.4%)

analyze1.0min (2.7%)

localize57.9s (2.6%)

series36.3s (1.6%)

soundness32.7s (1.5%)

end31.4s (1.4%)

preprocess16.5s (0.7%)

Profiling