Date:Monday, June 1st, 2020
Commit:29dc5705 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020153
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.6s (67.6%)

Algorithm
6×intervals
Results
764.0ms7637×body1280valid
588.0ms2855×body2560valid
312.0ms4269×body640valid
179.0ms10156×body80valid
95.0ms1817×body320valid
27.0ms820×body160valid

simplify633.0ms (16.5%)

Algorithm
12×egg-herbie

prune445.0ms (11.6%)

Filtered
206 candidates to 125 candidates (39.3%)

rewrite64.0ms (1.7%)

Algorithm
6×rewrite-expression-head
Calls

7 calls:

12.0ms
(/ (* (pow x 2) (- (* 2.0 2.0) (pow x 2))) (* x (- 2.0 x)))
10.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
9.0ms
(* (pow x 2) (- (* 2.0 2.0) (pow x 2)))
7.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(* x (- 2.0 x))
Rules
42×add-exp-log
36×*-un-lft-identity
35×add-sqr-sqrt
27×add-cbrt-cube
20×associate-*r*
18×associate-*l* pow1 add-cube-cbrt
16×prod-exp
12×associate-*r/
11×add-log-exp
8×div-exp flip-+ flip3-+ cbrt-unprod distribute-lft-out
7×distribute-rgt-in distribute-lft-in unswap-sqr
6×swap-sqr difference-of-squares
5×sub-neg flip-- unpow-prod-down flip3--
4×cbrt-undiv frac-times *-commutative unpow2
3×pow-to-exp pow-exp pow-prod-down sqr-pow
2×associate-/l/ associate-*l/ associate--l+ associate-/r/
1×pow2 +-commutative clear-num associate-/r* sum-log times-frac pow-plus diff-log pow-sqr pow-prod-up frac-2neg div-inv associate-/l* distribute-lft-out--

series50.0ms (1.3%)

Calls

7 calls:

13.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
9.0ms
(/ (* (pow x 2) (- (* 2.0 2.0) (pow x 2))) (* x (- 2.0 x)))
8.0ms
(* (pow x 2) (- (* 2.0 2.0) (pow x 2)))
7.0ms
(* x (+ 2.0 x))
5.0ms
(+ (* x 2.0) (pow x 2))

regimes25.0ms (0.7%)

Accuracy

Total 0.0b remaining (59%)

Threshold costs 0.0b (59%)

0.0b0%Expanding a square

localize25.0ms (0.7%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...