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

regimes10.9min (25.4%)

Counts

41417 → 7349

Calls

495 calls:

1.8min	x
1.6min	y
1.4min	z
1.3min	t
1.1min	a

Results

Compiler

Compiled 611963 to 276816 computations (54.8% saved)

sample7.8min (18%)

Results

4.9min	2132481×	body	256	valid
1.3min	335129×	body	256	infinite
28.3s	50673×	body	1024	valid
27.4s	136095×	body	256	invalid
12.6s	35373×	body	512	valid
8.0s	10268×	body	2048	valid
3.9s	9404×	body	1024	infinite
1.8s	1549×	body	8192	exit
1.6s	5661×	body	512	infinite
573.0ms	325×	body	4096	valid
340.0ms	739×	body	1024	invalid
185.0ms	590×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

simplify5.6min (13%)

Algorithm

3344×

egg-herbie

Rules

1774992×	`associate-r`
1700212×	`associate-/l*`
1566064×	`associate-l`
1561268×	`*-commutative`
1484018×	`associate-+r+`

Stop Event

9×	unsound
66×	done
436×	saturated
203×	fuel
2899×	node limit

Counts

488066 → 554623

Compiler

Compiled 82510 to 47701 computations (42.2% saved)

eval5.0min (11.5%)

Compiler: Compiled 17169243 to 8080644 computations (52.9% saved)

rewrite4.1min (9.6%)

Algorithm

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

Rules

2121904×	`add-sqr-sqrt`
2090448×	`*-un-lft-identity`
1957596×	`add-cube-cbrt`
1933504×	`add-cbrt-cube`
1123250×	`add-exp-log`

Stop Event

4×	unsound
4×	iter limit
2803×	node limit

Counts

5773 → 335728

prune3.7min (8.5%)

Counts: 647191 → 15749
Compiler: Compiled 417476 to 293363 computations (29.7% saved)

bsearch2.0min (4.7%)

Algorithm

4831×	binary-search
480×	left-value

Results

1.6min	578321×	body	256	valid
5.1s	7712×	body	1024	valid
5.0s	26970×	body	256	infinite
2.8s	8006×	body	512	valid
1.8s	9669×	body	256	invalid
223.0ms	327×	body	2048	valid
11.0ms	32×	body	512	infinite
2.0ms	3×	body	1024	infinite
1.0ms	2×	body	4096	valid

Compiler

Compiled 1162262 to 833497 computations (28.3% saved)

analyze1.1min (2.6%)

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.7s (2.2%)

Compiler: Compiled 128479 to 57586 computations (55.2% saved)

soundness41.3s (1.6%)

Algorithm

324×	egg-herbie

Rules

177616×	`fma-def`
143796×	`associate-r`
141124×	`*-commutative`
135388×	`distribute-lft-in`
133150×	`+-commutative`

Stop Event

1×	unsound
107×	saturated
216×	node limit

Compiler

Compiled 43963 to 23470 computations (46.6% saved)

end30.7s (1.2%)

Compiler: Compiled 80971 to 37128 computations (54.1% saved)

series27.5s (1.1%)

Counts

5773 → 152068

Calls

39453 calls:

Time	Variable		Point	Expression
408.0ms	z	@	0	(pow.f64 (/.f64 (+.f64 x (+.f64 y t)) (-.f64 (fma.f64 (+.f64 x y) z (.f64 (+.f64 y t) a)) (.f64 y b))) -1)
272.0ms	z	@	0	(.f64 x (/.f64 (/.f64 (pow.f64 z y) (pow.f64 a (-.f64 1 t))) (.f64 y (exp.f64 b))))
262.0ms	y	@	inf	(pow.f64 (/.f64 t (log1p.f64 (*.f64 y (expm1.f64 z)))) -1)
230.0ms	z	@	0	(pow.f64 (cbrt.f64 (+.f64 (log.f64 t) (-.f64 (*.f64 x (log.f64 y)) (+.f64 y z)))) 3)
187.0ms	x	@	0	(*.f64 x (log.f64 y))

preprocess17.5s (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

regimes10.9min (25.4%)

sample7.8min (18%)

simplify5.6min (13%)

eval5.0min (11.5%)

rewrite4.1min (9.6%)

prune3.7min (8.5%)

bsearch2.0min (4.7%)

analyze1.1min (2.6%)

localize56.7s (2.2%)

soundness41.3s (1.6%)

end30.7s (1.2%)

series27.5s (1.1%)

preprocess17.5s (0.7%)

Profiling