Date:Tuesday, May 19th, 2020
Commit:6de45b16 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020140
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.9s (78.8%)

Algorithm
6×intervals
Results
705.0ms7638×body1280valid
426.0ms2862×body2560valid
308.0ms4376×body640valid
164.0ms10053×body80valid
90.0ms1781×body320valid
24.0ms799×body160valid

simplify396.0ms (10.7%)

Algorithm
11×egg-herbie

series170.0ms (4.6%)

Calls

4 calls:

58.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms
(+ (* x 2.0) (pow x 2))
41.0ms
(* x (+ 2.0 x))
16.0ms
(* (+ x 1.0) (+ x 1.0))

prune134.0ms (3.6%)

Filtered
105 candidates to 62 candidates (59.0%)

rewrite54.0ms (1.5%)

Algorithm
5×rewrite-expression-head
Calls

4 calls:

10.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(* x (+ 2.0 x))
5.0ms
(+ (* x 2.0) (pow x 2))
Rules
26×*-un-lft-identity
15×add-sqr-sqrt
13×pow1
10×add-cube-cbrt
8×distribute-lft-out associate-*r* add-log-exp flip3-+ flip-+ add-exp-log add-cbrt-cube
7×associate-*l*
6×swap-sqr
4×associate-*r/ frac-times
3×distribute-rgt-in distribute-lft-in
2×pow-prod-down unswap-sqr *-commutative associate-*l/ cbrt-unprod associate--l+ prod-exp
1×flip-- sub-neg pow2 pow-sqr +-commutative pow-plus flip3-- sum-log unpow2 difference-of-squares diff-log pow-prod-up

localize17.0ms (0.5%)

regimes11.0ms (0.3%)

Accuracy

Total 0.0b remaining (94.8%)

Threshold costs 0.0b (94.8%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...