Date:	Sunday, May 21st, 2023
Commit:	7039a485 on odyssey-paper
Hostname:	nightly with Racket 8.6
Seed:	2023141
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

43664 → 7425

Calls

492 calls:

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

Results

Compiler

Compiled 615619 to 308573 computations (49.9% saved)

sample7.7min (17.2%)

Results

4.8min	2131605×	body	256	valid
1.3min	339249×	body	256	infinite
29.0s	51366×	body	1024	valid
28.8s	136810×	body	256	invalid
13.0s	35358×	body	512	valid
8.0s	10421×	body	2048	valid
3.7s	9315×	body	1024	infinite
2.0s	1613×	body	8192	exit
1.3s	5313×	body	512	infinite
718.0ms	370×	body	4096	valid
273.0ms	717×	body	1024	invalid
137.0ms	604×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

simplify6.1min (13.5%)

Algorithm

3327×

egg-herbie

Rules

1813316×	`associate-r`
1693416×	`associate-/l*`
1591974×	`associate-l`
1576998×	`*-commutative`
1484774×	`distribute-lft-in`

Stop Event

66×	done
3×	unsound
439×	saturated
203×	fuel
2885×	node limit

Counts

503204 → 568479

Compiler

Compiled 86614 to 49790 computations (42.5% saved)

eval5.0min (11.1%)

Compiler: Compiled 16982095 to 7995532 computations (52.9% saved)

rewrite4.3min (9.6%)

Algorithm

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

Rules

2089082×	`add-sqr-sqrt`
2058112×	`*-un-lft-identity`
1927550×	`add-cube-cbrt`
1895944×	`add-cbrt-cube`
1088850×	`add-exp-log`

Stop Event

4×	unsound
4×	iter limit
2786×	node limit

Counts

5862 → 342748

prune3.7min (8.3%)

Counts: 649194 → 15951
Compiler: Compiled 439751 to 308078 computations (29.9% saved)

bsearch2.0min (4.5%)

Algorithm

4893×	binary-search
490×	left-value

Stop Event

4805×	narrow-enough
88×	predicate-same

Results

1.6min	582213×	body	256	valid
4.4s	6538×	body	1024	valid
4.2s	26497×	body	256	infinite
2.3s	6500×	body	512	valid
1.8s	12785×	body	256	invalid
108.0ms	253×	body	2048	valid
10.0ms	16×	body	1024	infinite
9.0ms	40×	body	512	invalid
4.0ms	14×	body	512	infinite
0.0ms	1×	body	1024	invalid

Compiler

Compiled 1066248 to 784833 computations (26.4% 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)

localize57.8s (2.1%)

Compiler: Compiled 129775 to 58258 computations (55.1% saved)

soundness47.2s (1.8%)

Algorithm

354×	egg-herbie

Rules

201622×	`fma-def`
169520×	`associate-r`
166390×	`*-commutative`
153062×	`associate-/l*`
152812×	`+-commutative`

Stop Event

98×	saturated
1×	unsound
255×	node limit

Compiler

Compiled 34103 to 18211 computations (46.6% saved)

end34.7s (1.3%)

Compiler: Compiled 85067 to 38253 computations (55% saved)

series27.7s (1%)

Counts

5862 → 160186

Calls

41340 calls:

Time	Variable		Point	Expression
387.0ms	x	@	0	(*.f64 x (pow.f64 (exp.f64 y) y))
219.0ms	z	@	0	(/.f64 (/.f64 2 z) (/.f64 (-.f64 y t) x))
195.0ms	x	@	0	(*.f64 x (log.f64 y))
167.0ms	x	@	0	(*.f64 (/.f64 x (-.f64 z y)) (pow.f64 (/.f64 1 (cbrt.f64 (-.f64 z t))) 3))
111.0ms	a	@	inf	(log.f64 (.f64 (pow.f64 t (+.f64 -1/2 a)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))

preprocess20.5s (0.8%)

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.7min (17.2%)

simplify6.1min (13.5%)

eval5.0min (11.1%)

rewrite4.3min (9.6%)

prune3.7min (8.3%)

bsearch2.0min (4.5%)

analyze1.1min (2.5%)

localize57.8s (2.1%)

soundness47.2s (1.8%)

end34.7s (1.3%)

series27.7s (1%)

preprocess20.5s (0.8%)

Profiling