Date:	Tuesday, March 7th, 2023
Commit:	0a0aee13 on main
Hostname:	nightly with Racket 8.6
Seed:	2023066
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.8min (24.9%)

Counts

40926 → 7184

Calls

499 calls:

1.7min	x
1.6min	y
1.5min	z
1.2min	t
1.1min	a

Compiler

Compiled 507733 to 275245 computations (45.8% saved)

sample7.8min (17.9%)

Results

4.9min	2132791×	body	256	valid
1.3min	336273×	body	256	infinite
29.6s	50811×	body	1024	valid
28.7s	136014×	body	256	invalid
13.0s	35136×	body	512	valid
7.8s	10029×	body	2048	valid
3.9s	9131×	body	1024	infinite
1.7s	5456×	body	512	infinite
1.7s	1540×	body	8192	exit
770.0ms	353×	body	4096	valid
210.0ms	696×	body	1024	invalid
197.0ms	592×	body	512	invalid
0.0ms	1×	body	2048	infinite

Bogosity

simplify6.1min (13.9%)

Algorithm

3341×

egg-herbie

Rules

1799028×	`associate-r`
1670092×	`associate-/l*`
1591130×	`associate-l`
1573752×	`*-commutative`
1534350×	`distribute-lft-in`

Stop Event

11×	unsound
67×	done
435×	saturated
202×	fuel
2895×	node limit

Counts

503999 → 561266

Compiler

Compiled 79749 to 47031 computations (41% saved)

eval5.0min (11.4%)

Compiler: Compiled 16914873 to 7932852 computations (53.1% saved)

rewrite4.3min (10%)

Algorithm

2802×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
6×	egg-rewrite

Rules

2170716×	`add-sqr-sqrt`
2139128×	`*-un-lft-identity`
2002430×	`add-cube-cbrt`
1976362×	`add-cbrt-cube`
1121850×	`add-exp-log`

Stop Event

3×	unsound
5×	iter limit
2805×	node limit

Counts

5903 → 340421

prune3.6min (8.2%)

Counts: 647293 → 15652
Compiler: Compiled 406787 to 286831 computations (29.5% saved)

bsearch1.9min (4.4%)

Algorithm

4671×	binary-search
469×	left-value

Results

1.6min	558802×	body	256	valid
5.2s	30022×	body	256	infinite
2.8s	4565×	body	1024	valid
1.7s	4806×	body	512	valid
1.6s	12030×	body	256	invalid
140.0ms	209×	body	2048	valid
24.0ms	30×	body	512	infinite
1.0ms	4×	body	1024	infinite

Compiler

Compiled 1042819 to 760851 computations (27% 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)

localize54.7s (2.1%)

Compiler: Compiled 126967 to 57137 computations (55% saved)

soundness46.6s (1.8%)

Algorithm

346×	egg-herbie

Rules

186432×	`fma-def`
171862×	`associate-r`
162158×	`*-commutative`
148108×	`+-commutative`
142230×	`associate-l`

Stop Event

107×	saturated
1×	unsound
238×	node limit

Compiler

Compiled 37097 to 19227 computations (48.2% saved)

end31.6s (1.2%)

Compiler: Compiled 78036 to 36542 computations (53.2% saved)

series25.3s (1%)

Counts

5903 → 163308

Calls

42336 calls:

Time	Variable		Point	Expression
136.0ms	b	@	0	(*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
115.0ms	x	@	0	(/.f64 x (-.f64 y t))
99.0ms	x	@	0	(*.f64 x (log.f64 y))
94.0ms	z	@	0	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
89.0ms	y	@	-inf	(.f64 (pow.f64 (.f64 z (sin.f64 y)) 1/4) (sqrt.f64 (*.f64 z (sin.f64 y))))

preprocess18.1s (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.8min (24.9%)

sample7.8min (17.9%)

simplify6.1min (13.9%)

eval5.0min (11.4%)

rewrite4.3min (10%)

prune3.6min (8.2%)

bsearch1.9min (4.4%)

analyze1.1min (2.5%)

localize54.7s (2.1%)

soundness46.6s (1.8%)

end31.6s (1.2%)

series25.3s (1%)

preprocess18.1s (0.7%)

Profiling