Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
Hostname:warfa with Racket 7.5
Seed:2020149
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

prune2.7m (67.1%)

Filtered
13262 candidates to 9399 candidates (29.1%)

sample42.5s (17.5%)

Algorithm
72×intervals
Results
15.4s293507×body80valid
6.0s14153×body1280valid
3.0s3913×body2560valid
2.6s9598×body640valid
2.2s100706×pre80true
1.1s6855×body320valid
870.0ms8957×body160valid
846.0ms200×body5120exit
731.0ms19373×body80nan
158.0ms2045×body80overflowed
103.0ms229×body5120valid
4.0ms100×pre80false

simplify19.4s (8.0%)

Algorithm
181×egg-herbie

regimes6.5s (2.7%)

Accuracy

Total 24.7b remaining (7.6%)

Threshold costs 3.3b (1%)

5.5b69.3%Compound Interest
4.8b76.4%Kahan p9 Example
4.0b86.1%The quadratic formula (r1)
3.0b0%Complex division, real part
1.5b40.6%Complex division, imag part

series4.8s (2.0%)

Calls

328 calls:

76.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(+ (* 9.0 (pow x 4.0)) (neg (pow y 4)))
72.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
71.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite4.5s (1.8%)

Algorithm
112×rewrite-expression-head
Calls

328 calls:

156.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
83.0ms
(+ (* (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (* x1 (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
63.0ms
(* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
55.0ms
(+ (* 1.0 (- (/ 1 (pow x 5)) (/ 1 (pow x 3)))) (/ 1 x))
48.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
Rules
6383×frac-times
5527×associate-*l/
3754×add-sqr-sqrt
3699×*-un-lft-identity
3499×times-frac
3304×flip3-- flip--
2591×flip-+ flip3-+
2508×associate-*r/
2295×add-cube-cbrt
2261×frac-sub
1669×add-exp-log
1339×add-cbrt-cube
912×associate-*r*
797×pow1
736×add-log-exp
683×associate-*l*
600×sqrt-prod
572×prod-exp
472×difference-of-squares
451×cbrt-prod
428×cbrt-unprod
422×distribute-lft-out
421×unpow-prod-down
351×div-exp
323×cbrt-div
322×associate-/r*
305×distribute-lft-out--
271×associate-/l*
267×cbrt-undiv
217×pow-prod-down
206×div-inv
199×associate-/r/
197×unswap-sqr
178×sqr-pow
171×frac-add
156×sum-log
147×cube-prod
123×sqrt-div
119×sub-neg
99×distribute-rgt-in distribute-lft-in
87×*-commutative
86×diff-log
80×exp-neg
79×associate-/l/
67×neg-sub0
65×distribute-rgt-neg-in
63×unpow2
62×swap-sqr
60×exp-diff sqrt-pow1
58×cube-div clear-num frac-2neg
55×pow-exp
54×pow-to-exp
53×pow1/2
51×log-prod
45×distribute-lft-neg-in associate-+r+
41×+-commutative
39×rem-sqrt-square
36×exp-prod
33×associate-+l+
31×pow1/3
30×log-pow
28×rec-exp 1-exp
27×un-div-inv
26×unpow3 cube-mult
25×pow-prod-up
24×pow-unpow
20×div-sub
19×pow-sqr
18×pow-plus
15×neg-mul-1
13×pow2 associate--r+ pow-pow
12×associate--l+ log-div
10×rem-cbrt-cube
9×distribute-lft-neg-out associate--l-
7×sqrt-unprod rem-log-exp
6×rem-cube-cbrt inv-pow pow-flip
5×neg-log
4×distribute-frac-neg distribute-rgt-out
3×distribute-rgt-out-- associate-+l-
2×unsub-neg associate-+r-
1×rem-exp-log distribute-lft1-in unpow1/3 pow3 sub-div rem-square-sqrt

localize1.5s (0.6%)

bsearch575.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...