Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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

prune4.9m (29.7%)

Filtered
97543 candidates to 64619 candidates (66.2%)

series4.3m (26.6%)

Calls

2599 calls:

2.6s
(/ (* (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))) (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))))) (* (cbrt (- (* (- 1.0 x) y) (* x z))) (cbrt (- (* (- 1.0 x) y) (* x z)))))
1.2s
(* (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))) (/ y (cbrt (- a t))))
936.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
828.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
806.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

sample3.7m (22.9%)

Algorithm
539×intervals
Results
1.4m2642194×body80valid
21.4s512252×body80nan
18.0s46774×body1280valid
10.4s44084×body640valid
4.2s5580×body2560valid
3.8s25050×body320valid
1.4s14203×body160valid
815.0ms1518×body10240exit
109.0ms710×body640nan
97.0ms495×body1280nan
84.0ms34×body5120valid
49.0ms429×body320nan
16.0ms206×body160nan

simplify1.3m (7.7%)

Algorithm
1437×egg-herbie

rewrite1.0m (6.3%)

Algorithm
898×rewrite-expression-head
Calls

2599 calls:

3.3s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
1.1s
(* y (* (* (cbrt (- (/ z (- z a)) (/ t (- z a)))) (cbrt (- (/ z (- z a)) (/ t (- z a))))) (cbrt (- (/ z (- z a)) (/ t (- z a))))))
1.0s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
971.0ms
(* (- x) (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))))
692.0ms
(* x (* (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
Rules
67004×times-frac
49015×*-un-lft-identity
46187×add-sqr-sqrt
34898×add-cube-cbrt
22740×cbrt-prod
12804×add-exp-log
9932×associate-*l*
9615×add-cbrt-cube
7206×pow1
7007×associate-*r*
4007×prod-exp
3993×add-log-exp
3756×distribute-lft-out
3593×cbrt-div
3397×sqrt-prod
3387×associate-*r/
3380×associate-/r*
3343×distribute-lft-out--
3275×cbrt-unprod
3245×difference-of-squares
3041×associate-*l/
2961×div-exp
2905×div-inv
2867×flip3-- flip--
2775×frac-times
2395×associate-/r/
2267×pow-prod-down
2233×associate-/l*
2078×cbrt-undiv
2076×unpow-prod-down
1996×flip-+ flip3-+
1722×unswap-sqr
1680×log-prod
1376×distribute-rgt-in distribute-lft-in
1279×frac-sub
1051×pow1/3
1006×cube-prod
951×sqrt-div
855×associate-/l/
844×*-commutative
831×sqrt-pow1
770×swap-sqr
747×exp-prod
696×sub-neg
520×clear-num frac-2neg
519×frac-add
498×sum-log
453×log-pow
367×1-exp
364×associate-+l+
362×sqr-pow
352×pow-prod-up
329×associate-+r+
321×rec-exp
306×pow-sqr
294×diff-log
291×+-commutative
285×associate--l+
276×distribute-rgt-neg-in
267×pow-exp
188×pow1/2
185×pow-unpow
152×pow-to-exp
137×pow-plus
129×distribute-lft-neg-in
113×pow2
110×div-sub
94×sub-div
90×exp-sum
89×pow-flip
86×pow-pow unpow2
81×rem-sqrt-square
80×inv-pow
79×log-div
66×unpow3 cube-mult
56×un-div-inv associate--r+ rem-log-exp
52×distribute-rgt-out--
50×tanh-def
41×associate-+l-
39×distribute-rgt-neg-out
34×cube-div
29×rem-cube-cbrt
27×neg-mul-1
25×associate-+r-
23×distribute-lft-neg-out distribute-rgt-out sinh-def
21×exp-diff
16×unsub-neg
13×rem-exp-log unpow1/3
12×sum-cubes
11×pow-div associate--l- cosh-def
10×sqrt-unprod rem-cbrt-cube
9×rem-square-sqrt neg-sub0
8×difference-cubes log-rec tan-quot
7×difference-of-sqr-1
6×distribute-rgt1-in distribute-lft1-in
5×count-2
4×sqrt-pow2 diff-cos
3×exp-neg cos-diff neg-log associate--r- exp-to-pow mul-1-neg
2×cos-sum pow-neg pow3 pow-sub sin-mult cos-mult distribute-neg-frac
1×distribute-frac-neg

regimes48.8s (5.0%)

Accuracy

Total 212.0b remaining (38.2%)

Threshold costs 22.9b (4.1%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
17.8b43.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b4.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.6b1.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

localize10.7s (1.1%)

bsearch7.1s (0.7%)

end5.0ms (0.0%)