Date:	Friday, November 4th, 2022
Commit:	3b7366bf on main
Hostname:	warfa with Racket 8.6
Seed:	2022308
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

regimes3.4min (29.3%)

Counts

13265 → 1207

Calls

152 calls:

20.2s	l
11.6s	t
9.5s	d
7.1s	Vef
6.7s	U

Compiler

Compiled 215381 to 108383 computations (49.7% saved)

sample2.4min (20.3%)

Results

44.4s	190318×	body	256	valid
29.6s	34306×	body	1024	valid
19.8s	83636×	body	256	invalid
9.0s	11005×	body	2048	valid
8.2s	16212×	body	512	valid
7.4s	28908×	body	256	infinite
5.1s	1022×	body	4096	infinite
5.0s	6256×	body	1024	invalid
4.2s	2941×	body	4096	valid
2.8s	4521×	body	1024	infinite
2.6s	979×	body	2048	infinite
1.7s	2569×	body	512	infinite
1.5s	3145×	body	512	invalid
1.5s	1154×	body	8192	valid
73.0ms	268×	body	256	unsamplable
12.0ms	12×	body	8192	exit
4.0ms	4×	body	2048	invalid

Bogosity

bsearch1.2min (10.5%)

Algorithm

751×	binary-search
88×	left-value

Compiler

Compiled 73926 to 52871 computations (28.5% saved)

eval1.2min (10.4%)

Compiler: Compiled 2622058 to 1566396 computations (40.3% saved)

simplify1.1min (9%)

Algorithm

513×	egg-herbie

Rules

179002×	`fma-def_binary64`
117144×	`associate-l_binary64`
112667×	`unswap-sqr_binary64`
109831×	`associate-r_binary64`
91821×	`*-commutative_binary64`

Stop Event

1×	done
1×	unsound
101×	saturated
30×	fuel
411×	node limit

Counts

80380 → 64111

Compiler

Compiled 22420 to 12922 computations (42.4% saved)

rewrite45.8s (6.5%)

Algorithm

451×	batch-egg-rewrite
9×	egg-rewrite-iter-limit
9×	egg-rewrite

Rules

172117×	`log-prod_binary64`
134402×	`pow1_binary64`
126479×	`add-log-exp_binary64`
126420×	`expm1-log1p-u_binary64`
126407×	`log1p-expm1-u_binary64`

Stop Event

12×	unsound
9×	iter limit
448×	node limit

Counts

1268 → 49490

prune24.6s (3.5%)

Counts: 82358 → 3423
Compiler: Compiled 116688 to 83975 computations (28% saved)

localize21.4s (3%)

Compiler: Compiled 37931 to 19132 computations (49.6% saved)

analyze19.1s (2.7%)

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
3.3%	3.2%	95%	1.8%	0%	0%	0%	1
4.2%	4%	92.6%	1.8%	0%	1.6%	0%	2
6.1%	5.6%	86.9%	1.8%	0.8%	4.8%	0%	3
8.2%	7.4%	83.1%	1.8%	0.8%	6.4%	0.4%	4
12.2%	11.1%	79.3%	1.8%	0.8%	6.4%	0.6%	5
15.1%	13.5%	75.8%	1.8%	1.6%	6.6%	0.7%	6
18.1%	15.7%	70.9%	1.8%	3.2%	7.3%	1.1%	7
21.3%	17.9%	66.4%	1.8%	4.1%	8.6%	1.2%	8
25.9%	21.5%	61.5%	1.8%	5%	8.9%	1.2%	9
28.4%	23%	58.1%	1.8%	6.5%	9.3%	1.3%	10
32.2%	25.7%	54%	1.8%	7.2%	9.9%	1.3%	11
34.4%	26.9%	51.4%	1.8%	8%	10.5%	1.4%	12

Compiler

Compiled 845 to 604 computations (28.5% saved)

series15.5s (2.2%)

Counts

1268 → 30859

Calls

8949 calls:

Time	Variable		Point	Expression
283.0ms	v	@	0	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
198.0ms	v	@	-inf	(log.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
172.0ms	t	@	0	(pow.f64 (pow.f64 (.f64 (.f64 t n) (*.f64 U 2)) 3/2) 1/3)
157.0ms	f	@	0	(pow.f64 (log.f64 (/.f64 4 (*.f64 (PI.f64) f))) 3)
143.0ms	M	@	0	(*.f64 (/.f64 M 2) (/.f64 D d))

end8.4s (1.2%)

Compiler: Compiled 21961 to 10104 computations (54% saved)

soundness6.9s (1%)

Algorithm

59×	egg-herbie

Rules

21747×	`fma-def_binary64`
16837×	`associate-*l/_binary64`
15279×	`associate-/l*_binary64`
15233×	`distribute-rgt-in_binary64`
13157×	`associate-/r*_binary64`

Stop Event

5×	saturated
54×	node limit

Compiler

Compiled 23106 to 16152 computations (30.1% saved)

preprocess2.6s (0.4%)

Algorithm

62×	egg-herbie

Rules

12061×	`fma-def_binary64`
8874×	`fma-neg_binary64`
6590×	`associate-l_binary64`
6287×	`distribute-rgt-in_binary64`
6102×	`associate-/l*_binary64`

Stop Event

7×	unsound
30×	saturated
25×	node limit

Compiler

Compiled 904 to 666 computations (26.3% saved)

Details

regimes3.4min (29.3%)

sample2.4min (20.3%)

bsearch1.2min (10.5%)

eval1.2min (10.4%)

simplify1.1min (9%)

rewrite45.8s (6.5%)

prune24.6s (3.5%)

localize21.4s (3%)

analyze19.1s (2.7%)

series15.5s (2.2%)

end8.4s (1.2%)

soundness6.9s (1%)

preprocess2.6s (0.4%)

Profiling