Date:Tuesday, February 25th, 2020
Commit:4d1e59da on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020056
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

series14.1m (55.3%)

Calls

2348 calls:

3.8s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.5s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
2.7s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))
1.7s
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
1.5s
(* (+ (log (sqrt (+ 1.0 (* y (expm1 z))))) (log (sqrt (+ 1.0 (* y (expm1 z)))))) (/ 1 t))

prune4.8m (18.7%)

Filtered
106715 candidates to 65401 candidates (61.3%)

sample3.6m (13.9%)

Algorithm
538×intervals
Results
1.2m2580706×body80valid
22.2s521585×body80nan
18.5s47223×body1280valid
9.9s43513×body640valid
4.4s5665×body2560valid
3.7s24483×body320valid
1.4s13888×body160valid
743.0ms1508×body10240exit
105.0ms40×body5120valid
102.0ms662×body640nan
92.0ms489×body1280nan
49.0ms449×body320nan
20.0ms222×body160nan

simplify1.4m (5.5%)

Algorithm
1403×egg-herbie

regimes43.4s (2.8%)

Accuracy

Total 183.7b remaining (38.6%)

Threshold costs 24.6b (5.2%)

17.8b18.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b-4.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
7.9b21.3%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.0b10.3%System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2

rewrite43.2s (2.8%)

Algorithm
866×rewrite-expression-head
Calls

2350 calls:

1.5s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
924.0ms
(+ (+ (/ (/ t (* z 3.0)) y) (- (/ (/ y z) 3.0))) (/ (/ y z) 3.0))
896.0ms
(- (+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
708.0ms
(- (/ (/ 1 1) (/ y (/ x y))) 3.0)
Rules
81406×times-frac
70213×*-un-lft-identity
65272×add-sqr-sqrt
48324×add-cube-cbrt
25025×prod-diff
9778×add-exp-log
7477×add-cbrt-cube
7340×distribute-lft-out--
7151×difference-of-squares
6761×distribute-rgt-in distribute-lft-in
6564×cbrt-prod
5886×associate-*r*
5855×pow1
4679×sqrt-prod
4462×div-inv
4189×associate-/r/
4175×distribute-lft-out
4014×unpow-prod-down
3416×associate-/r*
3210×add-log-exp
3183×associate-*l*
2580×prod-exp
2463×div-exp
2455×flip-- flip3--
2356×expm1-log1p-u
2351×log1p-expm1-u
2262×associate-/l*
1964×cbrt-unprod
1500×fma-neg
1498×cbrt-undiv
1481×pow-prod-down
1478×cube-prod
1276×cbrt-div
1118×unswap-sqr
1103×flip-+ flip3-+
1100×log-prod
975×associate-*r/
905×frac-times
849×pow1/3
817×fma-udef
657×associate-*l/
606×*-commutative
599×sqr-pow
553×associate-+l+
547×fma-def
533×swap-sqr
522×exp-sum
494×clear-num frac-2neg
490×associate--l+
481×sub-neg
478×associate--r+
469×sqrt-div
423×sqrt-pow1
392×1-exp
380×log-pow
362×associate-/l/
345×associate-+r+
328×rec-exp
297×pow-prod-up
241×diff-log
240×sum-log
225×pow1/2
214×pow-sqr
181×unpow2
172×pow-exp
142×+-commutative
119×pow-plus
118×exp-prod
111×frac-sub
110×unpow3 cube-mult
107×pow-to-exp
102×frac-add
99×pow2
95×pow-unpow
94×rem-sqrt-square
90×div-sub
88×distribute-rgt-neg-in
84×distribute-lft-neg-in
81×log-div
68×pow-flip
62×inv-pow
54×pow-pow
51×rem-log-exp
50×distribute-rgt-out--
41×unpow-prod-up distribute-rgt-neg-out
34×un-div-inv associate-+l-
27×cube-div distribute-rgt-out
26×rem-cube-cbrt sinh-def
23×cos-sum
22×hypot-def tanh-def
19×cosh-def
18×difference-cubes unsub-neg
16×sub-div
15×hypot-udef
14×sqrt-unprod
13×rem-exp-log associate-+r-
12×associate--l- distribute-lft-neg-out neg-mul-1
11×unpow1/3 associate--r-
9×log1p-udef rem-cbrt-cube expm1-udef
8×log1p-expm1
7×distribute-lft1-in distribute-rgt1-in expm1-log1p rem-square-sqrt distribute-neg-frac
6×count-2 diff-cos exp-to-pow
5×tan-quot
4×neg-log neg-sub0 sin-mult sum-cubes
3×sqrt-pow2 pow3 cos-diff sqrt-undiv
2×exp-diff cube-neg
1×exp-neg pow-sub cos-mult mul-1-neg

localize9.4s (0.6%)

bsearch4.0s (0.3%)

end6.0ms (0.0%)