Date:	Wednesday, March 1st, 2023
Commit:	b6e17b25 on asinh-taylor-bug
Hostname:	nightly with Racket 8.6
Seed:	2023060
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.0min (25.1%)

Counts

41646 → 7272

Calls

494 calls:

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

Results

Compiler

Compiled 523736 to 289591 computations (44.7% saved)

sample7.8min (17.7%)

Results

4.9min	2132288×	body	256	valid
1.3min	337970×	body	256	infinite
29.7s	136027×	body	256	invalid
28.7s	50807×	body	1024	valid
13.7s	35351×	body	512	valid
7.7s	10299×	body	2048	valid
3.8s	9259×	body	1024	infinite
2.3s	1618×	body	8192	exit
1.8s	5576×	body	512	infinite
724.0ms	375×	body	4096	valid
276.0ms	770×	body	1024	invalid
212.0ms	581×	body	512	invalid
1.0ms	2×	body	2048	infinite

Bogosity

simplify6.0min (13.7%)

Algorithm

3365×

egg-herbie

Rules

1795412×	`associate-r`
1701888×	`associate-/l*`
1595490×	`associate-l`
1557168×	`*-commutative`
1532072×	`distribute-lft-in`

Stop Event

11×	unsound
66×	done
435×	saturated
203×	fuel
2919×	node limit

Counts

495194 → 557119

Compiler

Compiled 82110 to 47925 computations (41.6% saved)

eval5.0min (11.4%)

Compiler: Compiled 16673309 to 7977251 computations (52.2% saved)

rewrite4.4min (10%)

Algorithm

2826×	batch-egg-rewrite
2×	egg-rewrite-iter-limit
2×	egg-rewrite

Rules

2164470×	`add-sqr-sqrt`
2132608×	`*-un-lft-identity`
1996790×	`add-cube-cbrt`
1962648×	`add-cbrt-cube`
1111930×	`add-exp-log`

Stop Event

3×	unsound
2×	iter limit
2825×	node limit

Counts

5918 → 335623

prune3.6min (8.3%)

Counts: 645275 → 15827
Compiler: Compiled 410837 to 292583 computations (28.8% saved)

bsearch2.0min (4.6%)

Algorithm

4825×	binary-search
414×	left-value

Results

1.6min	574926×	body	256	valid
4.9s	7040×	body	1024	valid
4.8s	25885×	body	256	infinite
2.9s	7597×	body	512	valid
1.7s	13599×	body	256	invalid
180.0ms	334×	body	2048	valid
20.0ms	84×	body	512	invalid
20.0ms	52×	body	512	infinite
3.0ms	15×	body	1024	infinite

Compiler

Compiled 1098732 to 802875 computations (26.9% 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.6s (2.2%)

Compiler: Compiled 126931 to 58536 computations (53.9% saved)

soundness41.9s (1.6%)

Algorithm

320×	egg-herbie

Rules

165702×	`fma-def`
148954×	`*-commutative`
142660×	`distribute-lft-in`
135598×	`associate-r`
127672×	`associate-/l*`

Stop Event

105×	saturated
1×	unsound
214×	node limit

Compiler

Compiled 31720 to 16764 computations (47.2% saved)

end31.5s (1.2%)

Compiler: Compiled 79959 to 36638 computations (54.2% saved)

series27.7s (1.1%)

Counts

5918 → 159301

Calls

41118 calls:

Time	Variable		Point	Expression
253.0ms	y	@	-inf	(/.f64 (-.f64 y x) (/.f64 t z))
228.0ms	x	@	0	(*.f64 x (log.f64 y))
223.0ms	x	@	inf	(+.f64 (.f64 (-.f64 t 2) b) (+.f64 (.f64 (-.f64 b z) y) x))
200.0ms	t	@	-inf	(log.f64 (.f64 (+.f64 y x) (.f64 z (pow.f64 t (+.f64 -1/2 a)))))
167.0ms	y	@	inf	(log.f64 (log.f64 (/.f64 y x)))

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

regimes11.0min (25.1%)

sample7.8min (17.7%)

simplify6.0min (13.7%)

eval5.0min (11.4%)

rewrite4.4min (10%)

prune3.6min (8.3%)

bsearch2.0min (4.6%)

analyze1.1min (2.6%)

localize56.6s (2.2%)

soundness41.9s (1.6%)

end31.5s (1.2%)

series27.7s (1.1%)

preprocess18.1s (0.7%)

Profiling