Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
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

series4.4m (29.8%)

Calls

2329 calls:

3.0s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (fma 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 27.0 (* k j) (* 4.0 (* i x))))))
2.8s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.7s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))

sample4.2m (28.9%)

Algorithm
539×intervals
Results
1.8m2665290×body80valid
27.1s513811×body80nan
19.2s47581×body1280valid
10.6s42769×body640valid
4.2s25001×body320valid
4.0s5466×body2560valid
1.7s13853×body160valid
181.0ms1048×body640nan
178.0ms827×body1280nan
117.0ms43×body5120valid
87.0ms647×body320nan
85.0ms1578×body80overflowed
29.0ms354×body160nan

prune3.5m (23.6%)

Filtered
88015 candidates to 57633 candidates (65.5%)

simplify1.2m (8.3%)

Algorithm
1409×egg-herbie

regimes48.8s (5.5%)

Accuracy

Total 183.3b remaining (36.8%)

Threshold costs 27.9b (5.6%)

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.2s (2.2%)

Algorithm
871×rewrite-expression-head
Calls

2329 calls:

128.0ms
(* (/ 1 (sqrt (+ 1.0 (* z z)))) (/ (/ (/ 1.0 y) x) (sqrt (+ 1.0 (* z z)))))
69.0ms
(- (/ 1 (/ y (/ x y))) 3.0)
59.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))))
50.0ms
(* (/ 1 (+ (sqrt 1.0) (sqrt (/ y z)))) (/ (+ x y) (- (sqrt 1.0) (sqrt (/ y z)))))
50.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
Rules
42401×times-frac
40222×*-un-lft-identity
38576×add-sqr-sqrt
28416×add-cube-cbrt
9309×add-exp-log
8477×prod-diff
7379×add-cbrt-cube
5780×cbrt-prod
5467×pow1
4874×associate-*r*
4790×sqrt-prod
3565×difference-of-squares
3557×distribute-lft-out--
3480×associate-*l*
3181×associate-/r*
3167×add-log-exp
3105×distribute-rgt-in distribute-lft-in
2608×distribute-lft-out
2544×prod-exp
2348×div-inv
2333×expm1-log1p-u
2332×log1p-expm1-u
2254×associate-/l*
2181×div-exp
1937×cbrt-unprod
1900×flip-- flip3--
1733×associate-*r/
1675×associate-/r/
1516×associate-*l/
1486×cbrt-undiv
1355×pow-prod-down
1192×unswap-sqr
1167×log-prod
1099×frac-times
1082×flip-+ flip3-+
841×unpow-prod-down
805×pow1/3
773×cbrt-div
749×fma-neg
732×fma-def
705×sqrt-div
694×frac-sub
632×associate-+r+
604×associate-/l/
594×*-commutative
546×swap-sqr
534×associate-+l+
525×associate--l+
511×sub-neg
483×clear-num frac-2neg
392×cube-prod
332×log-pow
328×fma-udef
320×sqrt-pow1
267×1-exp
265×sum-log
264×sqr-pow
259×rec-exp
201×pow-prod-up
199×diff-log
193×pow1/2
177×associate--r+
173×pow-exp
166×pow-sqr
162×+-commutative
144×pow-to-exp
110×div-sub
109×pow-unpow
99×distribute-rgt-neg-in
97×distribute-lft-neg-in
92×pow-flip
90×frac-add
76×rem-sqrt-square
73×pow-plus
71×pow2
70×inv-pow
66×exp-sum
63×distribute-rgt-neg-out
60×pow-pow
52×log-div
49×cube-mult unpow3
44×unpow-prod-up
42×exp-prod
41×un-div-inv
39×rem-log-exp
37×hypot-def sinh-def
35×unpow2
30×tanh-def
29×neg-mul-1
27×distribute-rgt-out
23×associate-+l- cos-sum
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 unpow1/3
9×rem-exp-log log1p-expm1 associate--r- rem-cbrt-cube
8×expm1-udef associate-+r-
7×expm1-log1p
6×associate--l- diff-cos pow-sub neg-sub0 mul-1-neg
5×exp-diff distribute-lft1-in distribute-rgt1-in count-2 tan-quot distribute-neg-frac
4×exp-neg distribute-frac-neg sum-cubes
3×sqrt-pow2 cos-diff sqrt-undiv
2×unpow-1 distribute-neg-in hypot-udef neg-log sin-mult cos-mult exp-to-pow
1×sqr-cos

localize9.3s (1.1%)

bsearch5.7s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...