Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
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

series4.1m (28.7%)

Calls

2475 calls:

4.0s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
770.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
754.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
751.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
618.0ms
(pow (cbrt (cbrt (+ x (/ (- x y) 2.0)))) 4)

sample3.8m (26.5%)

Algorithm
538×intervals
Results
1.4m2654462×body80valid
20.8s508891×body80nan
17.5s47551×body1280valid
9.4s43039×body640valid
4.0s5648×body2560valid
3.6s24937×body320valid
1.3s13704×body160valid
800.0ms1616×body10240exit
119.0ms47×body5120valid
106.0ms701×body640nan
90.0ms468×body1280nan
43.0ms401×body320nan
18.0ms271×body160nan

prune3.7m (25.9%)

Filtered
83464 candidates to 54913 candidates (65.8%)

simplify1.2m (8.3%)

Algorithm
1417×egg-herbie

regimes49.1s (5.7%)

Accuracy

Total 186.3b remaining (34.3%)

Threshold costs 28.1b (5.2%)

12.2b-0%Linear.Matrix:det44 from linear-1.19.1.3
12.2b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b17%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.5b61%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite23.8s (2.8%)

Algorithm
880×rewrite-expression-head
Calls

2475 calls:

232.0ms
(* x (/ (* (+ (/ y z) (/ t (- 1.0 z))) (- (/ y z) (/ t (- 1.0 z)))) (+ (/ y z) (/ t (- 1.0 z)))))
168.0ms
(- (/ (/ 1 1) (/ y (/ x y))) 3.0)
130.0ms
(* (* x y) (- y))
115.0ms
(/ x (* 1 (* (* (cbrt (* (- y z) (- y t))) (cbrt (* (- y z) (- y t)))) (cbrt (* (- y z) (- y t))))))
93.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
Rules
33710×times-frac
31291×*-un-lft-identity
30907×add-sqr-sqrt
21332×add-cube-cbrt
11797×add-exp-log
8950×add-cbrt-cube
7123×pow1
6873×associate-*r*
6290×cbrt-prod
6068×cbrt-div
4432×frac-times
4361×associate-*l*
3921×associate-*r/
3831×add-log-exp
3748×flip3-- flip--
3742×prod-exp
3040×sqrt-prod
2987×difference-of-squares
2961×associate-/r*
2894×cbrt-unprod
2866×distribute-lft-out--
2642×div-exp
2411×associate-*l/
2315×associate-/r/
2276×distribute-lft-out
2233×pow-prod-down
2039×associate-/l*
1895×div-inv
1873×flip-+ flip3-+
1770×cbrt-undiv
1560×unpow-prod-down
1520×unswap-sqr
1324×log-prod
1297×distribute-rgt-in distribute-lft-in
966×pow1/3
862×swap-sqr
812×*-commutative
790×sqrt-div
701×sub-neg
526×sqrt-pow1
492×clear-num frac-2neg
485×frac-sub
483×sum-log
466×associate-/l/
398×associate--l+
397×cube-prod
389×frac-add
372×1-exp
355×pow-prod-up
347×associate-+l+
337×rec-exp
321×associate-+r+
287×pow-sqr
286×+-commutative
276×sqr-pow
273×diff-log
263×log-pow
256×pow-exp
236×pow1/2
186×pow-unpow
158×pow-to-exp
157×exp-prod
131×pow-plus
112×pow2
104×unpow2
100×div-sub
82×rem-sqrt-square
79×pow-pow
78×associate--r+
69×exp-sum
68×pow-flip tanh-def
64×inv-pow
61×log-div
53×un-div-inv
50×distribute-rgt-neg-out
43×sum-cubes
40×rem-log-exp
38×distribute-rgt-neg-in cube-div
37×associate-+l-
35×distribute-rgt-out--
31×unpow3 cube-mult
24×sub-div
23×distribute-lft-neg-in associate-+r-
22×unsub-neg sinh-def
20×rem-cube-cbrt
19×distribute-rgt-out cosh-def
16×rem-exp-log distribute-lft-neg-out
15×neg-mul-1
14×unpow1/3 sqrt-unprod rem-square-sqrt
13×associate--l- distribute-neg-frac
11×rem-cbrt-cube
10×neg-sub0
7×exp-to-pow
6×exp-diff distribute-rgt1-in diff-cos tan-quot
5×distribute-lft1-in count-2 neg-log associate--r-
4×log-rec
3×difference-cubes cos-diff sin-mult cos-mult pow-neg
2×cos-sum exp-neg pow-sub mul-1-neg
1×sqrt-undiv e-exp-1 pow3 unpow-prod-up unpow1/2

localize9.7s (1.1%)

bsearch7.6s (0.9%)

end4.0ms (0.0%)