Date:	Tuesday, January 31st, 2023
Commit:	60955f6c on egraph-extract-original
Hostname:	nightly with Racket 8.6
Seed:	2023031
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.8min (26.4%)

Counts

44699 → 7341

Calls

490 calls:

1.9min	x
1.7min	y
1.6min	z
1.3min	t
1.1min	a

Results

Compiler

Compiled 612346 to 335549 computations (45.2% saved)

sample7.5min (16.8%)

Results

4.7min	2132153×	body	256	valid
1.3min	337446×	body	256	infinite
28.8s	50769×	body	1024	valid
27.1s	135840×	body	256	invalid
12.5s	35478×	body	512	valid
7.8s	10383×	body	2048	valid
3.7s	8951×	body	1024	infinite
2.2s	1613×	body	8192	exit
1.4s	5417×	body	512	infinite
508.0ms	337×	body	4096	valid
260.0ms	727×	body	1024	invalid
156.0ms	568×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

simplify6.1min (13.5%)

Algorithm

3359×

egg-herbie

Rules

1801768×	`associate-r`
1683632×	`associate-/l*`
1596630×	`associate-l`
1561568×	`*-commutative`
1499478×	`distribute-lft-in`

Stop Event

68×	done
5×	unsound
436×	saturated
201×	fuel
2918×	node limit

Counts

490107 → 559841

Compiler

Compiled 83641 to 49006 computations (41.4% saved)

eval5.1min (11.5%)

Compiler: Compiled 18026540 to 8643002 computations (52.1% saved)

rewrite4.4min (9.9%)

Algorithm

2820×	batch-egg-rewrite
3×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2127862×	`add-sqr-sqrt`
2096206×	`*-un-lft-identity`
1963292×	`add-cube-cbrt`
1939712×	`add-cbrt-cube`
1129868×	`add-exp-log`

Stop Event

4×	unsound
3×	iter limit
2818×	node limit

Counts

5805 → 330947

prune3.7min (8.3%)

Counts: 656686 → 16138
Compiler: Compiled 441158 to 311599 computations (29.4% saved)

bsearch2.1min (4.6%)

Algorithm

4906×	binary-search
407×	left-value

Results

1.6min	586046×	body	256	valid
7.0s	40343×	body	256	infinite
5.1s	6667×	body	1024	valid
3.0s	7711×	body	512	valid
1.6s	10909×	body	256	invalid
141.0ms	277×	body	2048	valid
17.0ms	45×	body	512	infinite
5.0ms	11×	body	1024	infinite
1.0ms	3×	body	4096	valid

Compiler

Compiled 1093379 to 803713 computations (26.5% saved)

analyze1.1min (2.3%)

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

Compiler: Compiled 129906 to 59205 computations (54.4% saved)

soundness45.4s (1.7%)

Algorithm

348×	egg-herbie

Rules

211430×	`fma-def`
157842×	`*-commutative`
153714×	`associate-r`
151508×	`distribute-lft-in`
148618×	`+-commutative`

Stop Event

112×	saturated
236×	node limit

Compiler

Compiled 35357 to 17748 computations (49.8% saved)

end33.8s (1.3%)

Compiler: Compiled 81448 to 37713 computations (53.7% saved)

series28.3s (1%)

Counts

5805 → 158890

Calls

41064 calls:

Time	Variable		Point	Expression
257.0ms	y	@	0	(.f64 (-.f64 y (.f64 y y)) (.f64 z (.f64 z 1/2)))
201.0ms	t	@	-inf	(log1p.f64 (.f64 1/3 (acos.f64 (.f64 (*.f64 1/18 (/.f64 (/.f64 x y) z)) (sqrt.f64 t)))))
188.0ms	x	@	-inf	(log.f64 (*.f64 x (log.f64 x)))
157.0ms	y	@	0	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a))))
148.0ms	x	@	0	(*.f64 x (log.f64 y))

preprocess17.7s (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.8min (26.4%)

sample7.5min (16.8%)

simplify6.1min (13.5%)

eval5.1min (11.5%)

rewrite4.4min (9.9%)

prune3.7min (8.3%)

bsearch2.1min (4.6%)

analyze1.1min (2.3%)

localize56.6s (2.1%)

soundness45.4s (1.7%)

end33.8s (1.3%)

series28.3s (1%)

preprocess17.7s (0.7%)

Profiling