Date:	Wednesday, March 9th, 2022
Commit:	31c460f2 on inf-ordinary
Hostname:	warfa with Racket 8.1
Seed:	2022068
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

sample3.8s (86.7%)

Results

1.2s	6904×	body	1024	valid
1.2s	4634×	body	2048	valid
518.0ms	9129×	body	128	valid
392.0ms	2850×	body	512	valid
120.0ms	1237×	body	256	valid
4.0ms	14×	body	4096	valid

Compiler

Compiled 96 to 66 computations (31.3% saved)

simplify355.0ms (8.1%)

Algorithm

7×	egg-herbie

Rules

3949×	`fma-neg_binary64`
1519×	`unsub-neg_binary64`
1498×	`fma-def_binary64`
1365×	`distribute-rgt-in_binary64`
1138×	`distribute-lft-in_binary64`

Counts

40 → 52

end122.0ms (2.8%)

Compiler: Compiled 50 to 44 computations (12% saved)

regimes53.0ms (1.2%)

Counts: 13 → 3
Compiler: Compiled 412 to 284 computations (31.1% saved)

prune31.0ms (0.7%)

Counts: 59 → 7
Compiler: Compiled 544 to 361 computations (33.6% saved)

localize7.0ms (0.2%)

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 25

Calls

1 calls:

4.0ms

(*.f64 x (+.f64 x 2))

analyze5.0ms (0.1%)

Algorithm

3×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 33 to 23 computations (30.3% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(*.f64 x (+.f64 x 2))

Details

sample3.8s (86.7%)

simplify355.0ms (8.1%)

end122.0ms (2.8%)

regimes53.0ms (1.2%)

prune31.0ms (0.7%)

localize7.0ms (0.2%)

rewrite5.0ms (0.1%)

analyze5.0ms (0.1%)

series2.0ms (0.1%)

Profiling