Date:	Thursday, June 2nd, 2022
Commit:	61c98823 on fix-pherbie
Hostname:	warfa with Racket 8.1
Seed:	2022153
Parameters:	256 points for 4 iterations
Flags:	`precision:fallbackreduce: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.2min (49.6%)

Results

2.5min	16257×	body	8192	exit
1.7min	69814×	body	1024	valid
1.2min	8937×	body	4096	valid
46.1s	256875×	body	128	valid
45.4s	14680×	body	2048	valid
36.1s	1693×	body	8192	valid
26.8s	34858×	body	512	valid
23.5s	12320×	body	1024	invalid
13.7s	37373×	body	256	valid
10.0s	42970×	body	128	invalid
8.0s	6806×	body	512	invalid
7.4s	2329×	body	2048	invalid
7.3s	856×	body	4096	invalid
2.4s	3499×	body	256	invalid
765.0ms	44×	body	8192	invalid

Compiler

Compiled 3814 to 2659 computations (30.3% saved)

series4.2min (22.4%)

Counts

490 → 10493

Calls

3032 calls:

19.8s	(.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
17.8s	(/.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.8s	(.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
15.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	-inf

analyze2.3min (12.1%)

Algorithm

53×

Search

True	Other	False	Iter
0%	79.4%	20.6%	0
1.9%	77.5%	20.6%	1
4.9%	74.1%	21%	2
12.1%	64.8%	23%	3
17.2%	57.5%	25.3%	4
21.8%	51.6%	26.6%	5
25.1%	46.7%	28.2%	6
27%	43.6%	29.4%	7
28.3%	41.5%	30.2%	8
30.8%	37.8%	31.3%	9
31.6%	36.7%	31.7%	10
33%	34.8%	32.2%	11
34.5%	32.8%	32.7%	12
35.6%	31.4%	33.1%	13
36.3%	30.4%	33.3%	14

Compiler

Compiled 1919 to 1338 computations (30.3% saved)

prune1.2min (6.3%)

Counts: 29587 → 2306
Compiler: Compiled 1989681 to 1207373 computations (39.3% saved)

regimes58.9s (5.3%)

Counts: 5170 → 76
Compiler: Compiled 1349453 to 919056 computations (31.9% saved)

simplify16.1s (1.4%)

Algorithm

271×	egg-herbie

Rules

73083×	`fma-def_binary64`
59350×	`fma-neg_binary64`
44763×	`associate-l_binary64`
38315×	`times-frac_binary64`
37968×	`cancel-sign-sub-inv_binary64`

Stop Event

190×	node limit
81×	saturated

Counts

25199 → 20879

end14.7s (1.3%)

Stop Event

35×	fuel
13×	done

Compiler

Compiled 27235 to 18418 computations (32.4% saved)

rewrite9.1s (0.8%)

Algorithm

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

Rules

49261×	`expm1-log1p-u_binary64`
49252×	`log1p-expm1-u_binary64`
43064×	`pow1_binary64`
35487×	`add-log-exp_binary64`
31373×	`prod-diff_binary64`

Stop Event

7×	unsound
169×	node limit
5×	iter limit

Counts

490 → 14655

localize2.9s (0.3%)

bsearch2.7s (0.2%)

Algorithm

18×	binary-search
10×	left-value

Calls

9 calls:

2.1s	b
281.0ms	A
107.0ms	g
102.0ms	x
65.0ms	C

Compiler

Compiled 113 to 81 computations (28.3% saved)

preprocess2.2s (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.2min (49.6%)

series4.2min (22.4%)

analyze2.3min (12.1%)

prune1.2min (6.3%)

regimes58.9s (5.3%)

simplify16.1s (1.4%)

end14.7s (1.3%)

rewrite9.1s (0.8%)

localize2.9s (0.3%)

bsearch2.7s (0.2%)

preprocess2.2s (0.2%)

Profiling