Date:	Thursday, June 2nd, 2022
Commit:	827645c4 on cleanup
Hostname:	warfa with Racket 8.1
Seed:	2022153
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

sample9.3min (48.5%)

Results

2.5min	16194×	body	8192	exit
1.7min	69679×	body	1024	valid
1.2min	8867×	body	4096	valid
45.9s	256987×	body	128	valid
45.3s	14634×	body	2048	valid
36.4s	1683×	body	8192	valid
27.5s	34989×	body	512	valid
23.6s	12122×	body	1024	invalid
13.9s	37336×	body	256	valid
10.8s	44498×	body	128	invalid
8.1s	6813×	body	512	invalid
7.8s	2455×	body	2048	invalid
7.3s	879×	body	4096	invalid
2.5s	3446×	body	256	invalid
617.0ms	35×	body	8192	invalid

Compiler

Compiled 3814 to 2659 computations (30.3% saved)

series4.7min (24.4%)

Counts

512 → 10845

Calls

3136 calls:

43.8s	(/.f64 (fma.f64 B B (.f64 C (.f64 A -4))) (neg.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 C (.f64 A -4))) F) (*.f64 2 (-.f64 (+.f64 A C) (hypot.f64 B (-.f64 A C))))))))	F	-inf
19.5s	(.f64 (/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (/.f64 (.f64 (.f64 b (neg.f64 a)) 8) (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 a (.f64 (neg.f64 a) (.f64 b b)))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (.f64 (/.f64 2 (/.f64 x-scale (-.f64 (.f64 b b) (.f64 a a)))) (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))))))))) (.f64 a (.f64 (.f64 b b) (.f64 a -4)))) (neg.f64 (pow.f64 (.f64 x-scale y-scale) 2)))	a	0
19.0s	(/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (.f64 a (.f64 (neg.f64 b) (/.f64 (.f64 8 (.f64 b a)) (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 b (neg.f64 a))))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (.f64 (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) x-scale) (/.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) y-scale)))))))) (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)))	b	0
16.5s	(.f64 (/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (/.f64 (.f64 (.f64 b (neg.f64 a)) 8) (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 a (.f64 (neg.f64 a) (.f64 b b)))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (.f64 (/.f64 2 (/.f64 x-scale (-.f64 (.f64 b b) (.f64 a a)))) (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))))))))) (.f64 a (.f64 (.f64 b b) (.f64 a -4)))) (neg.f64 (pow.f64 (.f64 x-scale y-scale) 2)))	b	0
16.4s	(.f64 (/.f64 (sqrt.f64 (.f64 b (.f64 (.f64 a (/.f64 (.f64 (.f64 b (neg.f64 a)) 8) (/.f64 (pow.f64 (.f64 x-scale y-scale) 2) (.f64 a (.f64 (neg.f64 a) (.f64 b b)))))) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (.f64 y-scale y-scale))) (.f64 (/.f64 2 (/.f64 x-scale (-.f64 (.f64 b b) (.f64 a a)))) (/.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))))))))) (.f64 a (.f64 (.f64 b b) (.f64 a -4)))) (neg.f64 (pow.f64 (.f64 x-scale y-scale) 2)))	b	inf

analyze2.4min (12.5%)

Algorithm

53×

Search

True	Other	False	Iter
0%	79.4%	20.6%	0
1.9%	77.5%	20.6%	1
4%	75%	21%	2
10.7%	66.2%	23%	3
16.3%	58.5%	25.3%	4
20.4%	53%	26.6%	5
23.9%	48%	28.1%	6
25.6%	45.2%	29.2%	7
27%	43%	30%	8
29.4%	39.5%	31.1%	9
30.4%	38.1%	31.5%	10
32%	36%	31.9%	11
33.5%	34.1%	32.4%	12
34.5%	32.7%	32.8%	13
35.4%	31.6%	33%	14

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

prune1.1min (5.6%)

Counts: 30976 → 2291
Compiler: Compiled 1873290 to 1131209 computations (39.6% saved)

regimes56.6s (4.9%)

Counts: 5376 → 80
Compiler: Compiled 1346901 to 925401 computations (31.3% saved)

simplify16.0s (1.4%)

Algorithm

274×	egg-herbie

Rules

73249×	`fma-def_binary64`
61001×	`fma-neg_binary64`
43784×	`associate-l_binary64`
43062×	`times-frac_binary64`
41350×	`associate-r_binary64`

Stop Event

193×	node limit
81×	saturated

Counts

27577 → 23107

end13.2s (1.2%)

Stop Event

37×	fuel
11×	done

Compiler

Compiled 25552 to 17490 computations (31.6% saved)

rewrite9.6s (0.8%)

Algorithm

175×	batch-egg-rewrite
5×	egg-rewrite-iter-limit
4×	egg-rewrite

Rules

50574×	`expm1-log1p-u_binary64`
50563×	`log1p-expm1-u_binary64`
40375×	`prod-diff_binary64`
23269×	`add-sqr-sqrt_binary64`
23209×	`add-log-exp_binary64`

Stop Event

7×	unsound
172×	node limit
5×	iter limit

Counts

512 → 16681

bsearch4.2s (0.4%)

Algorithm

21×	binary-search
11×	left-value

Calls

9 calls:

3.2s	y-scale
600.0ms	B
198.0ms	b
101.0ms	x
62.0ms	C

Compiler

Compiled 109 to 78 computations (28.4% saved)

localize2.9s (0.3%)

preprocess2.1s (0.2%)

Algorithm

102×	egg-herbie

Rules

21168×	`fma-def_binary64`
12225×	`fma-neg_binary64`
8411×	`div-sub_binary64`
7733×	`distribute-rgt-in_binary64`
6807×	`associate-l_binary64`

Stop Event

6×	unsound
37×	node limit
59×	saturated

Compiler

Compiled 1622 to 1110 computations (31.6% saved)

Details

sample9.3min (48.5%)

series4.7min (24.4%)

analyze2.4min (12.5%)

prune1.1min (5.6%)

regimes56.6s (4.9%)

simplify16.0s (1.4%)

end13.2s (1.2%)

rewrite9.6s (0.8%)

bsearch4.2s (0.4%)

localize2.9s (0.3%)

preprocess2.1s (0.2%)

Profiling