Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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 (59.5%)

Calls

2297 calls:

6.3s
(pow (fma (- (log 1.0) (+ (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)) b)) a (* y (- (log z) t))) 3)
3.6s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.6s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (+ (* b (* c z)) (* b (- (* t i))))))
3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(cbrt (* (log (- 1.0 (/ y x))) (log (- 1.0 (/ y x)))))

prune3.8m (15.9%)

sample3.4m (14.3%)

Algorithm
538×intervals
Results
1.3m2577549×body80valid
21.7s515392×body80nan
17.4s46863×body1280valid
9.8s43637×body640valid
4.0s5726×body2560valid
3.5s24056×body320valid
1.4s13816×body160valid
816.0ms1619×body10240exit
112.0ms44×body5120valid
102.0ms646×body640nan
91.0ms480×body1280nan
46.0ms415×body320nan
17.0ms229×body160nan

simplify1.2m (5.1%)

Algorithm
1383×egg-herbie

regimes42.6s (2.9%)

Accuracy

Total 174.7b remaining (37.5%)

Threshold costs 22.7b (4.9%)

18.6b13.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.0b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b-13.8%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.0b30.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
5.0b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite19.2s (1.3%)

Algorithm
846×rewrite-expression-head
Calls

2299 calls:

194.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
190.0ms
(* (cbrt (cos y)) (cbrt (cos y)))
165.0ms
(* (/ (* (/ 1 (* (cbrt (- y z)) (cbrt (- y z)))) (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (- y z))) (cbrt (cbrt (- y z))))) (/ (/ (cbrt x) (- y t)) (cbrt (cbrt (- y z)))))
123.0ms
(* (/ 1 (sqrt (fma z z 1.0))) (/ (/ (/ 1.0 x) (sqrt (fma z z 1.0))) y))
106.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (fma (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y))) (* 1.0 1.0)))
Rules
42829×times-frac
41951×*-un-lft-identity
39565×add-sqr-sqrt
28661×add-cube-cbrt
11162×add-exp-log
10615×prod-diff
7684×add-cbrt-cube
7652×cbrt-prod
5460×associate-*r*
5092×pow1
4010×distribute-lft-out--
3972×difference-of-squares
3525×sqrt-prod
3331×prod-exp
3176×associate-*l*
3078×div-exp
3057×add-log-exp
2920×distribute-lft-out
2634×associate-/r*
2415×div-inv
2389×cbrt-unprod
2355×distribute-rgt-in distribute-lft-in
2304×expm1-log1p-u
2303×log1p-expm1-u
2055×associate-/l*
2043×associate-/r/
1978×cbrt-undiv
1754×unpow-prod-down
1541×flip3-- flip--
1369×cbrt-div
1365×log-prod
1196×pow-prod-down
1149×cube-prod
1133×unswap-sqr
1028×flip-+ flip3-+
944×frac-times
865×associate-*r/
829×pow1/3
776×fma-neg
721×associate-*l/
560×*-commutative
482×fma-def
479×swap-sqr
470×clear-num frac-2neg
443×sub-neg
412×associate-+r+
382×associate-+l+
381×sqr-pow
376×associate-/l/ log-pow
352×fma-udef
325×1-exp associate--l+
259×rec-exp
240×pow-exp
231×exp-sum
229×sqrt-pow1
208×diff-log
198×sum-log
167×exp-prod
163×pow-prod-up
146×sqrt-div
145×pow-sqr
137×pow-to-exp
130×+-commutative
128×pow1/2
123×unpow3 cube-mult
112×unpow2
105×div-sub
102×pow-unpow
100×associate--r+
99×distribute-rgt-neg-in
98×distribute-lft-neg-in frac-sub
90×unpow-prod-up
74×log-div
73×pow-plus
70×pow2
62×frac-add
61×pow-flip
60×rem-sqrt-square
58×un-div-inv
53×inv-pow
51×rem-log-exp pow-pow
34×neg-mul-1
30×distribute-rgt-out--
29×distribute-rgt-neg-out tanh-def
23×cos-sum
22×rem-cube-cbrt
21×cosh-def
20×distribute-rgt-out
18×difference-of-sqr-1
17×hypot-def
16×distribute-lft-neg-out unsub-neg
15×cube-div sub-div associate-+l- sinh-def
14×unpow1/3
12×rem-exp-log associate-+r-
10×hypot-udef
9×sqrt-unprod count-2 expm1-log1p expm1-udef distribute-neg-frac
8×exp-diff difference-cubes log1p-udef associate--l- log1p-expm1
7×tan-quot
6×diff-cos rem-square-sqrt associate--r- rem-cbrt-cube
5×distribute-lft1-in distribute-rgt1-in neg-sub0 exp-to-pow
4×neg-log cos-mult
3×pow-div sqrt-pow2 cos-diff
2×expm1-def exp-neg pow-sub sqr-cos mul-1-neg
1×log-rec distribute-frac-neg sum-cos

localize9.3s (0.6%)

bsearch3.6s (0.2%)

end6.0ms (0.0%)