Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
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

sample4.2m (30.0%)

Algorithm
539×intervals
Results
1.7m2658890×body80valid
29.2s537654×body80nan
19.4s48137×body1280valid
11.0s44352×body640valid
4.1s24887×body320valid
4.1s5672×body2560valid
1.5s13638×body160valid
891.0ms1587×body5120exit
174.0ms887×body1280nan
171.0ms1034×body640nan
103.0ms40×body5120valid
75.0ms625×body320nan
28.0ms350×body160nan

series4.0m (28.6%)

Calls

2428 calls:

993.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
954.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
858.0ms
(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
833.0ms
(pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))) 3)
800.0ms
(* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))))

prune3.1m (22.3%)

Filtered
80238 candidates to 53543 candidates (66.7%)

simplify1.2m (8.4%)

Algorithm
1413×egg-herbie

regimes50.9s (6.0%)

Accuracy

Total 198.7b remaining (35%)

Threshold costs 27.7b (4.9%)

13.8b56.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.0b-23.3%Linear.Matrix:det44 from linear-1.19.1.3
9.8b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b56.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.2b33.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite22.0s (2.6%)

Algorithm
874×rewrite-expression-head
Calls

2428 calls:

95.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
91.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ 1 3.0) (/ (sqrt x) y)))
61.0ms
(/ (* (* x (* (cbrt (+ (/ x y) 1.0)) (cbrt (+ (/ x y) 1.0)))) (cbrt (+ (/ x y) 1.0))) (+ x 1.0))
61.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
53.0ms
(* (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))) 3) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))))
Rules
31793×times-frac
30685×*-un-lft-identity
29429×add-sqr-sqrt
20458×add-cube-cbrt
10216×add-exp-log
8297×add-cbrt-cube
6296×pow1
6095×associate-*r*
4860×cbrt-prod
3994×associate-*l*
3789×sqrt-prod
3641×add-log-exp
3192×associate-/r*
2832×prod-exp
2797×difference-of-squares distribute-lft-out--
2500×distribute-lft-out
2431×unpow-prod-down
2395×associate-*r/
2366×cbrt-unprod
2289×flip3-- flip--
2230×div-exp
2203×associate-/l*
2018×associate-*l/
1864×div-inv
1786×log-prod
1774×pow-prod-down
1773×cbrt-div
1660×distribute-rgt-in distribute-lft-in
1632×associate-/r/
1603×cbrt-undiv
1556×flip-+ flip3-+
1553×frac-times
1387×unswap-sqr
1017×frac-sub
877×pow1/3
789×*-commutative
759×swap-sqr
682×sub-neg
667×associate-/l/
608×sqrt-div
557×exp-sum
537×sqrt-pow1
520×clear-num frac-2neg
496×cube-prod
466×sum-log
391×associate-+l+
384×associate-+r+
354×sqr-pow
350×associate--l+
284×+-commutative
275×1-exp
269×rec-exp
258×log-pow
249×pow-prod-up
239×frac-add
227×pow1/2
219×diff-log
204×pow-sqr
191×tanh-def
131×pow-exp
123×pow-unpow
120×unpow2
103×div-sub
90×pow-to-exp pow-plus
85×pow2
83×exp-prod
79×pow-flip
76×distribute-rgt-out--
75×log-div
74×pow-pow
72×rem-sqrt-square
71×inv-pow
43×un-div-inv
41×associate--r+
39×rem-log-exp
38×unpow3 cube-mult
37×associate-+l-
35×cube-div
31×distribute-rgt-neg-out
28×rem-cube-cbrt
25×sinh-def
23×distribute-rgt-out
18×associate-+r- sub-div sum-cubes
17×cosh-def
14×distribute-rgt-neg-in exp-diff distribute-lft-neg-in unsub-neg
13×rem-exp-log rem-cbrt-cube
12×sqrt-unprod rem-square-sqrt distribute-neg-frac
10×cos-diff
8×cos-sum unpow1/3 exp-to-pow
7×difference-cubes associate--l-
6×distribute-rgt1-in neg-mul-1 associate--r-
5×distribute-lft-neg-out distribute-lft1-in count-2
4×diff-cos neg-sub0 log-rec
2×pow-div sqrt-pow2 neg-log tan-quot
1×sqrt-undiv sin-cos-mult cube-unmult exp-neg sin-mult mul-1-neg

localize9.3s (1.1%)

bsearch7.6s (0.9%)

end4.0ms (0.0%)