Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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

series7.9m (40.1%)

Calls

2369 calls:

1.7m
(/ (+ (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.7m
(* (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (/ 1 (+ y (* z (- b y)))))
3.7s
(* (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))) (cbrt (* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))))))
3.4s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.3s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* a i))) (* b (fma (- a) i (* a i))))))

prune5.1m (25.9%)

Filtered
103752 candidates to 67727 candidates (65.3%)

sample3.7m (18.7%)

Algorithm
539×intervals
Results
1.4m2642194×body80valid
20.8s512252×body80nan
17.5s46774×body1280valid
9.9s44084×body640valid
4.1s5580×body2560valid
3.7s25050×body320valid
1.4s14203×body160valid
764.0ms1518×body10240exit
111.0ms710×body640nan
94.0ms495×body1280nan
83.0ms34×body5120valid
49.0ms429×body320nan
14.0ms206×body160nan

simplify1.2m (6.4%)

Algorithm
1412×egg-herbie

regimes44.0s (3.7%)

Accuracy

Total 172.8b remaining (36.5%)

Threshold costs 25.2b (5.3%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b-23.2%Linear.Matrix:det33 from linear-1.19.1.3
7.7b-5.7%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.4b10.7%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite43.8s (3.7%)

Algorithm
873×rewrite-expression-head
Calls

2369 calls:

3.1s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
1.2s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
623.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
533.0ms
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) y) (/ (/ 1 (cbrt 1)) (/ 1 (/ x y))))
482.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
82356×times-frac
60797×*-un-lft-identity
56523×add-sqr-sqrt
45331×add-cube-cbrt
21883×cbrt-prod
11191×add-exp-log
10311×prod-diff
8557×associate-*l*
7896×add-cbrt-cube
5932×associate-*r*
5821×pow1
4500×distribute-lft-out
4151×sqrt-prod
3696×div-inv
3613×distribute-lft-out--
3568×associate-/r*
3397×difference-of-squares
3232×div-exp
3227×add-log-exp
3034×prod-exp
2868×distribute-rgt-in distribute-lft-in
2457×unpow-prod-down
2372×log1p-expm1-u expm1-log1p-u
2286×associate-/r/
2285×cbrt-unprod
2248×associate-*l/
2166×flip-- flip3--
2157×associate-/l*
2043×associate-*r/
1720×cbrt-undiv
1527×pow-prod-down
1521×frac-times
1495×cbrt-div
1468×unswap-sqr
1213×log-prod
1206×fma-def
1168×flip-+ flip3-+
1066×log-pow
933×pow1/3
910×frac-sub
850×cube-prod
843×associate-+r+
750×exp-prod
715×fma-neg
694×associate-/l/
633×*-commutative
609×sqrt-div
607×swap-sqr
593×fma-udef
509×distribute-rgt-neg-in
503×distribute-lft-neg-in
498×associate-+l+
491×clear-num frac-2neg
475×1-exp
463×sqr-pow
457×sub-neg
451×rec-exp
355×associate--l+
353×exp-sum
278×sum-log
239×sqrt-pow1
209×pow-prod-up
203×diff-log
179×pow-sqr
177×pow-exp
172×frac-add
167×pow-unpow
162×+-commutative
138×neg-mul-1
134×pow-to-exp
129×pow1/2
113×associate--r+
101×div-sub
94×pow-plus
86×pow2
83×pow-flip
81×unpow3 cube-mult
77×pow-pow
76×unpow2
68×inv-pow
59×log-div
56×rem-sqrt-square
55×un-div-inv
51×distribute-rgt-out--
46×rem-log-exp
40×distribute-rgt-neg-out
36×cube-div
29×hypot-def
28×distribute-rgt-out
26×rem-cube-cbrt tanh-def
24×associate-+r- sinh-def
23×cos-sum
17×associate-+l-
16×difference-cubes distribute-lft-neg-out
13×distribute-lft1-in
12×hypot-udef unsub-neg
11×sub-div cosh-def rem-cbrt-cube
10×rem-exp-log distribute-neg-frac
9×pow-div sqrt-unprod expm1-udef
8×unpow1/3 expm1-log1p rem-square-sqrt
7×tan-quot associate--r-
6×exp-diff log1p-udef associate--l- log1p-expm1
5×unpow-1 distribute-rgt1-in count-2 diff-cos
4×exp-neg mul-1-neg
3×sqrt-undiv sqrt-pow2 cos-diff neg-sub0
2×pow3 neg-log sin-mult cos-mult sum-cubes exp-to-pow
1×distribute-frac-neg

localize9.8s (0.8%)

bsearch7.0s (0.6%)

end4.0ms (0.0%)