Date:	Saturday, June 4th, 2022
Commit:	d8dbe7e9 on cleanup
Hostname:	warfa with Racket 8.1
Seed:	2022155
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

sample10.7min (47.8%)

Results

2.7min	15933×	body	8192	exit
2.1min	69986×	body	1024	valid
1.4min	8947×	body	4096	valid
1.0min	256593×	body	128	valid
52.7s	14782×	body	2048	valid
35.8s	1652×	body	8192	valid
33.6s	34912×	body	512	valid
25.4s	12414×	body	1024	invalid
19.8s	37259×	body	256	valid
12.1s	45042×	body	128	invalid
8.9s	6969×	body	512	invalid
8.1s	2479×	body	2048	invalid
7.1s	831×	body	4096	invalid
2.6s	3356×	body	256	invalid
884.0ms	49×	body	8192	invalid

Compiler

Compiled 3814 to 2659 computations (30.3% saved)

series5.2min (23.3%)

Counts

494 → 9856

Calls

2891 calls:

Time	Variable		Point	Expression
42.2s	F	@	0	(log.f64 (sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 B B (.f64 C (*.f64 A -4))) F) 2) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))))))
28.7s	F	@	inf	(log.f64 (sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 B B (.f64 C (*.f64 A -4))) F) 2) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))))))
22.9s	F	@	-inf	(log.f64 (sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 B B (.f64 C (*.f64 A -4))) F) 2) (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))))))
18.9s	a	@	0	(.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)))
17.2s	b	@	0	(.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)))

analyze3.0min (13.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.5min (6.6%)

Counts: 27531 → 2144
Compiler: Compiled 1745220 to 1022982 computations (41.4% saved)

regimes1.1min (4.7%)

Counts: 4600 → 73
Compiler: Compiled 1081968 to 734032 computations (32.2% saved)

end17.1s (1.3%)

Stop Event

34×	fuel
14×	done

Compiler

Compiled 25147 to 17077 computations (32.1% saved)

simplify16.7s (1.2%)

Algorithm

270×	egg-herbie

Rules

69037×	`fma-def_binary64`
55804×	`fma-neg_binary64`
44659×	`associate-l_binary64`
39348×	`cancel-sign-sub-inv_binary64`
36002×	`associate-r_binary64`

Stop Event

182×	node limit
88×	saturated

Counts

24298 → 20329

rewrite11.3s (0.8%)

Algorithm

171×	batch-egg-rewrite
6×	egg-rewrite-iter-limit
5×	egg-rewrite

Rules

50022×	`expm1-log1p-u_binary64`
50009×	`log1p-expm1-u_binary64`
44815×	`pow1_binary64`
36435×	`add-log-exp_binary64`
29490×	`add-exp-log_binary64`

Stop Event

8×	unsound
168×	node limit
6×	iter limit

Counts

494 → 14391

localize3.9s (0.3%)

bsearch2.9s (0.2%)

Algorithm

13×	binary-search
12×	left-value

Calls

8 calls:

2.5s	b
342.0ms	C
38.0ms	x
1.0ms	(*.f64 a1 a2)
0.0ms	(*.f64 -2 x)

Compiler

Compiled 116 to 85 computations (26.7% saved)

preprocess2.5s (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

sample10.7min (47.8%)

series5.2min (23.3%)

analyze3.0min (13.5%)

prune1.5min (6.6%)

regimes1.1min (4.7%)

end17.1s (1.3%)

simplify16.7s (1.2%)

rewrite11.3s (0.8%)

localize3.9s (0.3%)

bsearch2.9s (0.2%)

preprocess2.5s (0.2%)

Profiling