Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series17.7m (60.3%)

Calls

2325 calls:

2.1m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
1.6m
(* (fma (- (tanh (/ x y))) 1 (* (tanh (/ x y)) 1)) (* y z))
3.3s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune5.2m (17.8%)

Filtered
104373 candidates to 66740 candidates (63.9%)

sample3.4m (11.7%)

Algorithm
539×intervals
Results
1.2m2594400×body80valid
21.6s534025×body80nan
18.4s48023×body1280valid
9.6s42734×body640valid
4.4s5944×body2560valid
3.7s24848×body320valid
1.3s13509×body160valid
775.0ms1570×body10240exit
121.0ms47×body5120valid
93.0ms658×body640nan
87.0ms471×body1280nan
41.0ms391×body320nan
15.0ms234×body160nan

simplify1.4m (4.8%)

Algorithm
1403×egg-herbie

regimes43.5s (2.5%)

Accuracy

Total 182.4b remaining (38%)

Threshold costs 24.9b (5.2%)

13.1b58.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b48.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.5b30.3%Development.Shake.Progress:decay from shake-0.15.5
7.7b2.7%Linear.Matrix:det33 from linear-1.19.1.3
7.5b10.1%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite39.0s (2.2%)

Algorithm
865×rewrite-expression-head
Calls

2327 calls:

977.0ms
(- (/ (pow (cbrt x) 3) (/ z 4.0)) (/ (fma 0.5 z y) (/ z 4.0)))
468.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
413.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
350.0ms
(/ x (* (pow (pow a 1.0) 1.0) (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
346.0ms
(* (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt (fma z z 1.0))) (/ (/ (/ (cbrt 1.0) x) (sqrt (fma z z 1.0))) y))
Rules
80647×times-frac
61171×*-un-lft-identity
58895×add-sqr-sqrt
47320×add-cube-cbrt
19030×prod-diff
9890×add-exp-log
8877×cbrt-prod
7637×add-cbrt-cube
5657×pow1
5486×associate-*r*
5093×unpow-prod-down
4889×associate-*l/
4870×associate-*r/
4814×sqrt-prod
4422×div-inv
4403×distribute-lft-out--
4069×difference-of-squares
4047×flip3-- flip--
3871×associate-*l*
3843×cube-prod
3517×frac-times
3480×associate-/r*
3128×add-log-exp
2759×frac-sub
2712×distribute-lft-out
2548×prod-exp
2532×distribute-rgt-in distribute-lft-in
2509×div-exp
2334×associate-/l*
2330×log1p-expm1-u
2328×expm1-log1p-u
2282×associate-/r/
2063×cbrt-div
2015×cbrt-unprod
1880×flip-+ flip3-+
1653×cbrt-undiv
1610×sqrt-div
1377×pow-prod-down
1277×unswap-sqr
1147×log-prod
1127×associate-/l/
889×sqr-pow
883×distribute-rgt-neg-in
882×distribute-lft-neg-in
844×pow1/3
795×fma-neg
781×associate-+r+
745×swap-sqr
667×unpow3 cube-mult
660×log-pow
628×fma-def
627×*-commutative
549×fma-udef
518×clear-num frac-2neg
498×sub-neg
476×exp-sum
459×associate-+l+
425×sqrt-pow1
394×exp-prod
373×associate--l+
343×1-exp
307×rec-exp
269×pow1/2
258×pow-prod-up
248×sum-log
234×tanh-def
203×pow-sqr
199×neg-mul-1
188×diff-log
182×frac-add
170×+-commutative
132×sub-div
128×distribute-neg-frac
122×associate--r+
114×div-sub
99×distribute-rgt-out-- pow-exp
95×pow-plus
88×pow2
87×pow-unpow
84×pow-flip
82×rem-sqrt-square
71×pow-to-exp
69×inv-pow
68×log-div
61×rem-log-exp
53×pow-pow
45×un-div-inv
43×distribute-rgt-neg-out
39×distribute-rgt-out
31×unpow2
27×sinh-def
24×distribute-lft-neg-out
23×cos-sum
22×associate-+l- cosh-def
21×rem-exp-log
20×cube-div
19×sqrt-unprod unsub-neg
16×rem-square-sqrt
15×rem-cube-cbrt
14×hypot-def
12×associate-+r-
11×neg-sub0
10×exp-diff
7×difference-cubes rem-cbrt-cube associate--l- distribute-frac-neg
6×expm1-udef unpow1/3 associate--r- exp-to-pow
5×distribute-lft1-in distribute-rgt1-in count-2 expm1-log1p
4×sqrt-pow2 unpow-prod-up diff-cos sum-cubes
3×log1p-udef cos-diff log1p-expm1 neg-log
2×log-rec hypot-udef tan-quot
1×pow3 exp-neg sqrt-undiv sin-mult mul-1-neg

localize9.3s (0.5%)

bsearch4.0s (0.2%)

end6.0ms (0.0%)