Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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.3m (57.6%)

Calls

2312 calls:

17.3s
(pow (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) 3)
5.5s
(cbrt (fma (/ (- y z) (- a z)) (- t x) x))
2.6s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))
1.6s
(* (* (/ 1 (- t (* a z))) (fma z y x)) (- x (* y z)))
1.1s
(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))

prune4.4m (17.8%)

Filtered
97903 candidates to 62763 candidates (64.1%)

sample3.4m (13.8%)

Algorithm
537×intervals
Results
1.2m2582543×body80valid
20.7s506316×body80nan
17.4s47364×body1280valid
9.5s43146×body640valid
3.8s5668×body2560valid
3.6s24444×body320valid
1.2s13210×body160valid
762.0ms1531×body10240exit
104.0ms705×body640nan
96.0ms535×body1280nan
93.0ms39×body5120valid
46.0ms430×body320nan
16.0ms226×body160nan

simplify1.4m (5.5%)

Algorithm
1399×egg-herbie

regimes41.5s (2.8%)

Accuracy

Total 203.8b remaining (40%)

Threshold costs 24.7b (4.8%)

15.9b11.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.4b57.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.3b55.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
9.2b18%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.3b34.6%Development.Shake.Progress:decay from shake-0.15.5

rewrite24.1s (1.6%)

Algorithm
864×rewrite-expression-head
Calls

2315 calls:

1.2s
(* (/ (cbrt 1.0) (/ (sqrt (fma z z 1.0)) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) x) (sqrt (fma z z 1.0))) y))
599.0ms
(* (cbrt (/ 1 (/ (/ (+ x 1.0) (+ (/ x y) 1.0)) x))) (cbrt (/ 1 (/ (/ (+ x 1.0) (+ (/ x y) 1.0)) x))))
268.0ms
(- (pow (/ 1 y) 3) (pow (/ 1 x) 3))
263.0ms
(* (/ (- y x) (- a t)) (- z t))
218.0ms
(* (- 1.0 x) (/ (/ 1 1) (/ y (/ (- 3.0 x) 3.0))))
Rules
69512×times-frac
54424×*-un-lft-identity
50555×add-sqr-sqrt
39366×add-cube-cbrt
10706×cbrt-prod
10575×add-exp-log
10494×prod-diff
7740×add-cbrt-cube
6494×associate-*r*
5856×sqrt-prod
5821×pow1
4479×associate-*l*
4154×distribute-lft-out
3930×unpow-prod-down
3901×div-inv
3668×difference-of-squares
3535×associate-/r*
3416×distribute-lft-out--
3212×add-log-exp
3032×prod-exp
2750×div-exp
2708×distribute-rgt-in distribute-lft-in
2539×associate-/l*
2410×cube-prod
2319×log1p-expm1-u
2318×expm1-log1p-u
2223×cbrt-unprod
2145×associate-/r/
1696×cbrt-undiv
1495×pow-prod-down
1474×flip3-- flip--
1439×unswap-sqr
1253×swap-sqr
1238×cbrt-div
1074×associate-*r/
1055×log-prod
1033×flip-+ flip3-+
870×pow1/3 frac-times
863×sqr-pow
765×associate-+r+
753×associate-*l/
719×fma-def
608×*-commutative
607×fma-udef
545×fma-neg
506×associate-+l+
499×sqrt-div
471×clear-num frac-2neg
460×sub-neg
391×1-exp
369×sqrt-pow1
367×log-pow
338×associate-/l/
333×rec-exp
303×sum-log
291×pow-prod-up
290×exp-sum
267×cube-mult unpow3
237×associate--l+
235×pow-exp
226×pow1/2 distribute-lft-neg-in
224×distribute-rgt-neg-in
223×pow-sqr
211×diff-log
190×frac-sub
189×associate--r+
164×pow-to-exp
163×+-commutative
134×unpow2
122×pow-plus
111×frac-add
107×pow2
97×pow-unpow
94×distribute-rgt-out
88×rem-sqrt-square
87×div-sub
82×pow-flip
73×neg-mul-1
69×pow-pow
66×inv-pow
65×log-div
46×distribute-neg-in rem-log-exp
40×cosh-def
38×exp-prod
36×tanh-def
33×sinh-def
29×cube-div distribute-rgt-neg-out
28×un-div-inv distribute-neg-frac
26×associate-+l-
23×difference-cubes associate-+r- cos-sum
20×rem-cube-cbrt
19×sqrt-unprod distribute-lft-neg-out distribute-rgt-out--
17×unsub-neg rem-square-sqrt
16×sub-div
15×unpow1/3 hypot-def
13×rem-exp-log associate--r-
12×distribute-lft1-in
11×neg-sub0 neg-log
10×expm1-log1p expm1-udef
7×hypot-udef rem-cbrt-cube
6×log1p-udef log1p-expm1 unpow1/2
5×distribute-rgt1-in count-2 distribute-frac-neg exp-to-pow tan-quot
4×sum-cubes associate--l- pow3
3×exp-diff cos-diff diff-cos sin-mult cos-mult
2×sqrt-undiv sqrt-pow2 sub0-neg exp-neg log-rec mul-1-neg
1×+-inverses

localize9.2s (0.6%)

bsearch4.4s (0.3%)

end6.0ms (0.0%)