Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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

prune32.8s (28.4%)

Filtered
13091 candidates to 7697 candidates (58.8%)

sample32.6s (28.3%)

Algorithm
73×intervals
Results
9.8s294110×body80valid
5.2s14390×body1280valid
2.7s3933×body2560valid
1.9s9503×body640valid
1.8s16788×body160valid
1.5s100659×pre80true
1.0s2102×body10240exit
749.0ms6836×body320valid
553.0ms19587×body80nan
97.0ms235×body5120valid
3.0ms100×pre80false

series29.2s (25.4%)

Calls

316 calls:

1.3s
(/ (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (+ (* (pow y 4.0) (+ (pow y 4.0) (pow x 4.0))) (pow x (* 2 4.0))))
760.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
751.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
746.0ms
(cbrt (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))))
424.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

simplify10.7s (9.3%)

Algorithm
181×egg-herbie

rewrite4.2s (3.6%)

Algorithm
111×rewrite-expression-head
Calls

316 calls:

56.0ms
(/ (* (* (* (/ PI 2.0) (/ (* (cbrt 1.0) (cbrt 1.0)) (+ b a))) (cbrt 1.0)) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
56.0ms
(- (* (* (+ 1.0 (/ 1.0 eps)) (* (cbrt (exp (- (* (- 1.0 eps) x)))) (cbrt (exp (- (* (- 1.0 eps) x)))))) (cbrt (exp (- (* (- 1.0 eps) x))))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))
53.0ms
(* (/ (- t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v)))
49.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
48.0ms
(/ (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (+ (* (pow y 4.0) (+ (pow y 4.0) (pow x 4.0))) (pow x (* 2 4.0))))
Rules
7299×times-frac
5662×*-un-lft-identity
5443×add-sqr-sqrt
3514×add-cube-cbrt
1862×add-exp-log
1834×frac-times
1570×cbrt-div
1487×add-cbrt-cube
1203×unpow-prod-down
1137×exp-neg
1050×neg-sub0
1039×exp-diff
922×associate-*r/
914×difference-of-squares
843×associate-*r*
838×associate-*l/
831×frac-sub
795×pow1
757×add-log-exp
671×distribute-lft-out
623×prod-exp
571×flip-+ flip3-+
566×flip3-- flip--
553×cbrt-unprod
548×sqr-pow
547×associate-/r*
494×associate-*l*
482×div-exp
420×associate-/r/
418×distribute-lft-out--
395×cube-prod
383×associate-/l*
336×sqrt-prod
335×cbrt-undiv
316×div-inv
292×distribute-rgt-neg-in
273×distribute-lft-neg-in
224×pow-prod-down
210×cbrt-prod
180×unpow2
172×unswap-sqr
157×sum-log
121×sub-neg
106×associate-/l/
104×un-div-inv
99×diff-log
94×sqrt-div
91×neg-mul-1
84×*-commutative
83×distribute-rgt-in distribute-lft-in
79×swap-sqr
64×frac-add
60×exp-prod
59×clear-num frac-2neg
50×pow1/2
48×+-commutative
47×pow-exp
45×pow-to-exp
43×1-exp rec-exp
38×log-pow log-prod
35×associate--l+ sqrt-pow1
34×associate-+l+
33×associate-+r+
31×pow-prod-up
30×pow1/3
26×div-sub
25×pow-unpow rem-sqrt-square
21×pow-sqr
18×pow-plus
17×difference-cubes
15×unpow3 cube-mult
14×associate--l-
13×pow2
12×cube-div pow-pow
11×distribute-rgt-out--
8×sqrt-unprod inv-pow pow-flip distribute-frac-neg neg-log
6×difference-of-sqr-1 associate--r+
5×distribute-lft-neg-out rem-cbrt-cube exp-to-pow
4×rem-exp-log associate-+r- exp-sum exp-lft-cube associate-+l- log-div
3×rem-cube-cbrt unsub-neg rem-log-exp
2×pow-div rem-square-sqrt distribute-rgt-neg-out
1×distribute-lft1-in pow3 cube-unmult distribute-rgt-out +-inverses sum-cubes

regimes3.2s (2.8%)

Accuracy

Total 26.3b remaining (6.2%)

Threshold costs 4.1b (1%)

6.0b65.5%Compound Interest
4.6b76.8%Kahan p9 Example
3.2b89%The quadratic formula (r1)
3.0b0%Complex division, imag part
2.8b0%Complex division, real part

localize1.5s (1.3%)

bsearch1.0s (0.9%)

end1.0ms (0.0%)