Date:Tuesday, May 26th, 2020
Commit:bdc69189 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020147
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

prune6.0m (31.1%)

Filtered
91588 candidates to 60732 candidates (66.3%)

sample5.1m (26.1%)

Algorithm
539×intervals
Results
1.7m2663854×body80valid
30.0s549178×body80nan
19.1s47740×body1280valid
11.3s44996×body640valid
4.3s25373×body320valid
4.2s5533×body2560valid
1.5s14001×body160valid
181.0ms886×body1280nan
176.0ms1069×body640nan
114.0ms43×body5120valid
87.0ms1597×body80overflowed
82.0ms656×body320nan
28.0ms359×body160nan

series4.4m (22.4%)

Calls

2616 calls:

19.2s
(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (* (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) (cbrt (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))))
2.3s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
1.7s
(log (/ (- (pow 1.0 6) (pow (/ (- x y) (- 1.0 y)) 6)) (+ (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))))
1.3s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
1.1s
(/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y))))

regimes2.1m (10.8%)

Accuracy

Total 197.1b remaining (35.6%)

Threshold costs 25.8b (4.7%)

15.3b51.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.4b-14.7%Linear.Matrix:det44 from linear-1.19.1.3
10.5b55.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b58.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.5b62.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.2m (6.2%)

Algorithm
1457×egg-herbie

rewrite24.4s (2.1%)

Algorithm
918×rewrite-expression-head
Calls

2616 calls:

259.0ms
(* (/ (cbrt y) (/ (* (cbrt a) (cbrt a)) (cbrt y))) (/ (cbrt y) (/ (cbrt a) (- z t))))
214.0ms
(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))
190.0ms
(* (/ (cbrt y) (/ (* (cbrt a) (cbrt a)) (cbrt y))) (/ (cbrt y) (/ (cbrt a) (- z t))))
102.0ms
(+ x (/ (- y x) (/ 1 (/ (- z t) (- a t)))))
96.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
45083×times-frac
40435×*-un-lft-identity
39168×add-sqr-sqrt
25890×add-cube-cbrt
10877×add-exp-log
8894×add-cbrt-cube
6903×pow1
6756×cbrt-prod
6640×associate-*r*
4868×associate-*l*
4816×sqrt-prod
4692×difference-of-squares
4463×distribute-lft-out--
4254×add-log-exp
3767×associate-/r*
3630×associate-*r/
3069×flip3-- flip--
3050×cbrt-div
3027×distribute-lft-out
2989×prod-exp
2857×frac-times
2587×cbrt-unprod
2502×associate-*l/
2395×associate-/l*
2373×div-exp
2150×div-inv
2120×associate-/r/
1992×pow-prod-down
1948×flip-+ flip3-+
1888×log-prod
1769×cbrt-undiv
1589×unswap-sqr
1457×unpow-prod-down
1450×frac-sub
1429×distribute-rgt-in distribute-lft-in
1147×sqrt-div
1066×swap-sqr
1027×associate-/l/
906×pow1/3
839×*-commutative
765×sub-neg
598×sum-log
552×sqrt-pow1
544×cube-prod
531×tanh-def
530×clear-num frac-2neg
432×associate-+l+
400×sqr-pow
349×exp-sum
340×associate-+r+
338×+-commutative
333×diff-log
295×pow-prod-up
284×associate--l+
275×pow1/2
268×1-exp
266×rec-exp
264×frac-add
248×pow-sqr
223×log-pow
142×exp-prod
126×distribute-rgt-neg-in
120×div-sub
115×pow-unpow
114×rem-sqrt-square
110×pow-exp
106×pow-plus
99×pow2
89×distribute-lft-neg-in
82×log-div
74×associate--r+
73×pow-to-exp
70×unpow2
65×pow-flip
61×pow-pow
60×associate-+l-
59×inv-pow
55×rem-log-exp
52×exp-diff
48×cube-div
44×distribute-rgt-neg-out
42×sum-cubes
41×un-div-inv
40×rem-exp-log
32×unpow3 cube-mult
30×associate-+r-
27×distribute-rgt-out--
24×distribute-rgt-out sinh-def
21×rem-cube-cbrt
20×unsub-neg
17×sqrt-unprod sub-div
16×distribute-neg-frac
15×rem-square-sqrt associate--l-
14×pow-sub
13×cosh-def neg-mul-1
12×neg-sub0
11×difference-cubes rem-cbrt-cube
10×associate--r-
6×sqrt-pow2 unpow1/3 distribute-rgt1-in distribute-lft1-in unpow-prod-up neg-log
5×distribute-lft-neg-out count-2
4×diff-cos cos-mult
3×cos-diff sin-mult
2×cos-sum e-exp-1 sqrt-undiv sqr-cos exp-to-pow tan-quot
1×sin-cos-mult remove-double-div sum-cos

localize9.6s (0.8%)

bsearch5.8s (0.5%)

end4.0ms (0.0%)

Profiling

Loading profile data...