Date:Saturday, May 2nd, 2020
Commit:95cc637d on master
Hostname:warfa with Racket 7.5
Seed:2020123
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

sample4.4m (29.8%)

Algorithm
539×intervals
Results
1.9m2665290×body80valid
27.9s513811×body80nan
20.2s47581×body1280valid
11.2s42769×body640valid
4.5s25001×body320valid
4.1s5466×body2560valid
1.6s13853×body160valid
182.0ms1048×body640nan
170.0ms827×body1280nan
116.0ms43×body5120valid
93.0ms1578×body80overflowed
82.0ms647×body320nan
30.0ms354×body160nan

series4.3m (29.1%)

Calls

2330 calls:

2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (fma b c (- (fma x (* 4.0 i) (* (* j 27.0) k)))))
2.7s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (fma b c (- (fma 27.0 (* k j) (* 4.0 (* i x))))))
2.7s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.6s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))

prune3.4m (23.3%)

Filtered
88163 candidates to 57663 candidates (65.4%)

simplify1.2m (8.4%)

Algorithm
1409×egg-herbie

regimes48.6s (5.5%)

Accuracy

Total 186.2b remaining (37.3%)

Threshold costs 26.8b (5.4%)

13.2b-23.2%Linear.Matrix:det44 from linear-1.19.1.3
12.4b44.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.6b63.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.0b-8%Linear.Matrix:det33 from linear-1.19.1.3
7.7b16.8%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite19.0s (2.2%)

Algorithm
871×rewrite-expression-head
Calls

2330 calls:

128.0ms
(* (/ 1 (sqrt (+ 1.0 (* z z)))) (/ (/ (/ 1.0 y) x) (sqrt (+ 1.0 (* z z)))))
63.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
62.0ms
(- (/ 1 (/ y (/ x y))) 3.0)
51.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
50.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ t 3.0) z) y))
Rules
42527×times-frac
40343×*-un-lft-identity
38700×add-sqr-sqrt
28510×add-cube-cbrt
9353×add-exp-log
8572×prod-diff
7384×add-cbrt-cube
5744×cbrt-prod
5459×pow1
4882×associate-*r*
4790×sqrt-prod
3578×difference-of-squares
3570×distribute-lft-out--
3484×associate-*l*
3196×associate-/r*
3168×add-log-exp
3089×distribute-rgt-in distribute-lft-in
2608×distribute-lft-out
2548×prod-exp
2361×div-inv
2334×expm1-log1p-u
2333×log1p-expm1-u
2263×associate-/l*
2209×div-exp
1929×cbrt-unprod
1904×flip-- flip3--
1745×associate-*r/
1678×associate-/r/
1507×associate-*l/
1495×cbrt-undiv
1346×pow-prod-down
1194×unswap-sqr
1110×log-prod
1098×frac-times
1080×flip-+ flip3-+
838×unpow-prod-down
801×pow1/3
773×cbrt-div
748×fma-neg
729×fma-def
705×sqrt-div
698×frac-sub
688×associate-+r+
600×associate-/l/
595×*-commutative
546×swap-sqr
521×associate-+l+
514×sub-neg
513×associate--l+
486×clear-num frac-2neg
392×cube-prod
331×fma-udef
328×log-pow
320×sqrt-pow1
280×1-exp
272×rec-exp
265×sum-log
263×sqr-pow
201×pow-prod-up
200×diff-log
193×pow1/2
177×associate--r+
172×pow-exp
166×pow-sqr
161×+-commutative
143×pow-to-exp
110×div-sub
106×pow-unpow
99×distribute-rgt-neg-in
98×pow-flip
97×distribute-lft-neg-in
95×frac-add
76×rem-sqrt-square
74×inv-pow
73×pow-plus
71×pow2
66×exp-sum
63×distribute-rgt-neg-out
59×pow-pow
52×log-div
49×cube-mult unpow3
44×unpow-prod-up
42×un-div-inv
39×exp-prod
38×rem-log-exp
37×hypot-def sinh-def
35×unpow2
30×tanh-def
29×neg-mul-1
27×distribute-rgt-out
23×cos-sum
22×associate-+l-
21×unsub-neg
19×cosh-def
17×distribute-lft-neg-out
15×rem-cube-cbrt
14×difference-cubes
13×sqrt-unprod
12×cube-div sub-div distribute-rgt-out--
11×rem-square-sqrt
10×log1p-udef associate--r-
9×rem-exp-log unpow1/3 log1p-expm1 associate-+r- rem-cbrt-cube
8×expm1-udef
7×expm1-log1p
6×associate--l- diff-cos pow-sub neg-sub0
5×exp-diff distribute-lft1-in distribute-rgt1-in count-2 tan-quot distribute-neg-frac
4×distribute-frac-neg sum-cubes mul-1-neg
3×sqrt-pow2 cos-diff sqrt-undiv cos-mult
2×unpow-1 exp-neg distribute-neg-in hypot-udef neg-log exp-to-pow
1×sqr-cos sin-mult

localize9.7s (1.1%)

bsearch5.8s (0.7%)

end5.0ms (0.0%)

Profiling

Loading profile data...