Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
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 (27.9%)

Algorithm
538×intervals
Results
1.7m2654428×body80valid
26.4s503159×body80nan
19.1s47424×body1280valid
10.5s42375×body640valid
4.1s24737×body320valid
4.0s5644×body2560valid
1.5s13826×body160valid
179.0ms883×body1280nan
169.0ms1030×body640nan
127.0ms49×body5120valid
86.0ms1631×body80overflowed
73.0ms617×body320nan
29.0ms368×body160nan

series4.1m (27.6%)

Calls

2515 calls:

4.2s
(/ x (* (cbrt (+ 1.0 (sqrt (+ x 1.0)))) (cbrt (+ 1.0 (sqrt (+ x 1.0))))))
1.1s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
790.0ms
(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))
770.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
764.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

prune3.8m (25.3%)

Filtered
96871 candidates to 63317 candidates (65.4%)

simplify1.3m (8.5%)

Algorithm
1422×egg-herbie

regimes54.5s (6.1%)

Accuracy

Total 190.8b remaining (35.5%)

Threshold costs 22.9b (4.3%)

13.4b57.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.3b8.7%Linear.Matrix:det44 from linear-1.19.1.3
10.7b54.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.3b21.2%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
7.2b28.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite25.3s (2.8%)

Algorithm
885×rewrite-expression-head
Calls

2515 calls:

210.0ms
(/ (/ x (/ z (sqrt 2.0))) (/ 1 (/ (sqrt 2.0) (- y t))))
102.0ms
(+ x (/ (/ y (- a t)) (/ 1 (- z t))))
81.0ms
(/ (/ x (/ z (sqrt 2.0))) (/ (- y t) (sqrt 2.0)))
65.0ms
(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
60.0ms
(+ x (/ (/ y a) (/ 1 (- z t))))
Rules
84524×times-frac
56218×*-un-lft-identity
55177×add-sqr-sqrt
40326×add-cube-cbrt
11835×sqrt-prod
11435×add-exp-log
8900×add-cbrt-cube
6779×pow1
6338×cbrt-prod
6327×associate-*r*
5669×distribute-lft-out--
5567×difference-of-squares
3986×associate-*l*
3856×add-log-exp
3565×associate-/r*
3338×prod-exp
3028×div-inv
2972×cbrt-div
2947×associate-/r/
2756×cbrt-unprod
2746×div-exp
2646×flip3-- flip--
2632×associate-/l*
2460×distribute-lft-out
2154×associate-*l/
2037×flip-+ flip3-+
2000×pow-prod-down
1870×cbrt-undiv
1803×associate-*r/
1780×frac-times
1629×unpow-prod-down
1501×log-prod
1466×unswap-sqr
1363×distribute-rgt-in distribute-lft-in
963×pow1/3
890×swap-sqr
790×*-commutative
730×sqrt-div
729×frac-add
657×sub-neg
609×frac-sub
570×sqrt-pow1
534×clear-num frac-2neg
509×associate-/l/
486×sum-log
424×exp-sum
401×cube-prod
383×associate-+l+
347×associate-+r+
320×pow-prod-up
312×pow1/2
302×1-exp rec-exp
293×associate--l+
288×+-commutative
275×diff-log
256×log-pow
252×pow-sqr
251×sqr-pow
197×pow-exp
158×pow-to-exp
132×exp-prod
126×div-sub
124×pow-unpow
118×pow-plus
103×pow2
101×rem-sqrt-square
83×unpow2
74×pow-flip log-div
68×tanh-def
62×inv-pow
60×cube-div
58×distribute-rgt-neg-out associate--r+
57×unpow3 cube-mult
52×distribute-rgt-neg-in distribute-lft-neg-in
51×associate-+l-
50×pow-pow
44×rem-log-exp
35×un-div-inv distribute-rgt-out--
32×rem-cube-cbrt
30×cosh-def
28×sinh-def
27×sqrt-unprod
22×associate-+r-
20×unsub-neg rem-square-sqrt distribute-rgt-out
18×rem-cbrt-cube
16×associate--r-
15×rem-exp-log
14×neg-mul-1
12×sub-div sum-cubes
11×unpow1/3
8×distribute-lft-neg-out
6×exp-diff distribute-rgt1-in cos-diff pow-sub
5×associate--l- distribute-lft1-in count-2
4×cos-sum unpow-prod-up diff-cos
3×distribute-neg-frac
2×sqrt-pow2 pow3 exp-neg log-rec neg-sub0 tan-quot neg-log mul-1-neg
1×exp-to-pow difference-of-sqr-1 remove-double-div

localize9.4s (1.0%)

bsearch6.6s (0.7%)

end4.0ms (0.0%)