Date:Tuesday, May 5th, 2020
Commit:256fb890 on master
Hostname:warfa with Racket 7.5
Seed:2020126
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.8s (73.4%)

Algorithm
6×intervals
Results
722.0ms7578×body1280valid
442.0ms2949×body2560valid
294.0ms4218×body640valid
161.0ms10090×body80valid
100.0ms1882×body320valid
26.0ms805×body160valid

simplify430.0ms (11.1%)

Algorithm
12×egg-herbie

series300.0ms (7.7%)

Calls

7 calls:

73.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
53.0ms
(+ (* x 2.0) (pow x 2))
52.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
43.0ms
(* x (+ 2.0 x))
40.0ms
(* (+ x 1.0) x)

prune209.0ms (5.4%)

Filtered
170 candidates to 109 candidates (64.1%)

rewrite57.0ms (1.5%)

Algorithm
6×rewrite-expression-head
Calls

7 calls:

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

localize24.0ms (0.6%)

regimes11.0ms (0.3%)

Accuracy

Total 0.0b remaining (76.2%)

Threshold costs 0.0b (76.2%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...