Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series12.5m (65.8%)

Calls

1910 calls:

3.5s
(fma (- (* c t) (* i y)) j (+ (* (fma z y (- (* t a))) x) (- (* (fma (- t) a (* t a)) x) (* b (- (* c z) (* i a))))))
1.1s
(/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y))))
921.0ms
(fma y (/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y)))) x)
888.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
855.0ms
(/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)))

sample3.4m (17.8%)

Algorithm
538×intervals
Results
1.2m2588302×body80valid
21.1s520057×body80nan
16.6s45532×body1280valid
9.2s41910×body640valid
3.8s5595×body2560valid
3.5s24063×body320valid
1.2s13008×body160valid
728.0ms1478×body10240exit
109.0ms706×body640nan
100.0ms41×body5120valid
91.0ms474×body1280nan
50.0ms449×body320nan
17.0ms237×body160nan

simplify1.1m (6.1%)

Algorithm
1329×egg-herbie

prune1.1m (5.6%)

Filtered
22019 candidates to 14803 candidates (67.2%)

regimes30.0s (2.6%)

Accuracy

Total 196.3b remaining (37%)

Threshold costs 21.5b (4.1%)

19.7b37.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
18.3b12.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.3b-4.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.7b60.6%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
6.3b23.8%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite9.3s (0.8%)

Algorithm
792×rewrite-expression-head
Calls

1913 calls:

57.0ms
(/ (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))) (+ (tanh (/ t y)) (tanh (/ x y))))
43.0ms
(* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))
31.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
30.0ms
(/ (* (* y 4.0) (- (pow t 3) (pow (* z z) 3))) (+ (* t t) (+ (* (* z z) (* z z)) (* t (* z z)))))
29.0ms
(sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z))))
Rules
2817×*-commutative
2461×frac-times
2412×associate-*r/
2253×clear-num
2046×associate-/r/
1994×frac-2neg
1643×frac-sub
1641×div-inv
1634×flip-- flip3--
1573×associate-/l/
1158×associate-*l/
1099×flip-+ flip3-+
1035×prod-diff
950×associate-/l*
937×distribute-rgt-in distribute-lft-in
936×associate-/r*
821×associate-*r*
819×associate-*l*
582×sub-neg
528×tanh-def
417×sqrt-div
365×frac-add
356×difference-of-squares
352×+-commutative
331×fma-udef
324×associate-+r+
286×sqr-pow
284×un-div-inv
273×associate-+l+
240×times-frac
210×fma-neg
198×fma-def
142×div-sub
134×associate--l+
127×log-prod
124×exp-sum
117×swap-sqr
111×unpow3
103×log-div
100×inv-pow
98×distribute-rgt-out
97×distribute-lft-out
95×neg-mul-1
71×unpow-prod-down
59×distribute-rgt-out--
58×sub-div unpow2
57×distribute-rgt-neg-out remove-double-div
55×sum-cubes
49×distribute-neg-frac
47×associate--r+
36×difference-cubes log-rec
34×pow-to-exp sinh-def
32×unswap-sqr pow1/2
27×sqrt-prod
24×associate--r- pow2
23×cosh-def
22×associate-+l-
20×associate--l-
18×distribute-lft-neg-out
17×associate-+r- unsub-neg
15×distribute-lft-out--
11×exp-diff distribute-lft-neg-in
10×distribute-rgt-neg-in distribute-neg-in exp-prod pow-exp prod-exp
9×pow-unpow neg-sub0
8×distribute-frac-neg
7×sin-mult diff-log
6×exp-neg pow-flip cos-mult
5×tan-quot pow-prod-down sqr-neg pow-pow
4×pow-prod-up pow-sqr diff-cos
3×sin-diff sqrt-pow2 sin-neg cos-diff
2×mul-1-neg distribute-lft1-in sqrt-unprod pow3 sqr-sin log-pow count-2 rem-square-sqrt sqrt-undiv sum-log cos-sum
1×unpow1/2 acos-asin sum-cos

localize8.0s (0.7%)

bsearch5.1s (0.4%)

end5.0ms (0.0%)