Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series14.5m (58.2%)

Calls

2562 calls:

3.7s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.7s
(cbrt (pow (pow (+ (+ (* x y) (* z t)) (* a b)) 3) 3))
3.7s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
2.9s
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
2.2s
(sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))

sample3.8m (15.3%)

Algorithm
538×intervals
Results
1.5m2637987×body80valid
22.8s524780×body80nan
17.7s46551×body1280valid
10.2s43866×body640valid
3.9s25162×body320valid
3.8s5619×body2560valid
1.4s13689×body160valid
849.0ms1549×body10240exit
125.0ms47×body5120valid
120.0ms661×body640nan
111.0ms511×body1280nan
47.0ms402×body320nan
18.0ms228×body160nan

prune3.6m (14.3%)

Filtered
88977 candidates to 57729 candidates (64.9%)

simplify1.4m (5.5%)

Algorithm
1445×egg-herbie

regimes56.7s (3.8%)

Accuracy

Total 203.6b remaining (37.3%)

Threshold costs 25.4b (4.7%)

14.4b-23.4%Linear.Matrix:det44 from linear-1.19.1.3
12.2b60.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.9b4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
11.4b51.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.3b51.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

rewrite25.4s (1.7%)

Algorithm
908×rewrite-expression-head
Calls

2563 calls:

115.0ms
(* (/ (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (fabs (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (cbrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))
110.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
87.0ms
(/ 1 (- (/ 1.0 (+ x y)) (/ (/ y z) (+ x y))))
79.0ms
(/ (* x (* (* (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) y)
75.0ms
(+ x (/ 1 (/ (/ (- z a) (- z t)) y)))
Rules
43770×times-frac
38535×*-un-lft-identity
38015×add-sqr-sqrt
24809×add-cube-cbrt
11214×add-exp-log
8955×add-cbrt-cube
6780×pow1
6192×associate-*r*
5282×cbrt-prod
4793×difference-of-squares
4624×distribute-lft-out--
4373×associate-*l*
4359×flip-- flip3--
4049×add-log-exp
4032×frac-times
3789×associate-/r*
3788×sqrt-prod cbrt-div
3685×sqrt-div
3147×prod-exp
2938×associate-*l/
2703×cbrt-unprod
2587×div-exp
2490×distribute-lft-out
2378×associate-/l*
2337×associate-*r/
2255×associate-/r/
2190×div-inv
1875×pow-prod-down
1867×unpow-prod-down
1862×cbrt-undiv
1717×flip-+ flip3-+
1479×unswap-sqr
1476×log-prod
1229×distribute-rgt-in distribute-lft-in
938×pow1/3
788×*-commutative
779×swap-sqr
638×sub-neg
608×frac-add
558×cube-prod
556×associate-/l/
549×frac-sub
547×sum-log
542×sqrt-pow1
537×clear-num frac-2neg
480×associate-+l+
448×associate-+r+
363×pow-prod-up
348×sqr-pow
328×+-commutative
326×pow1/2
314×associate--l+
299×1-exp
297×rec-exp
288×exp-sum
284×diff-log
270×pow-sqr
266×log-pow
150×exp-prod
131×pow-plus
129×pow-exp
124×div-sub
115×pow2
108×pow-unpow
100×rem-sqrt-square
97×unpow2
93×cube-div
90×pow-flip
87×pow-to-exp
80×inv-pow
77×distribute-lft-neg-in distribute-rgt-neg-in
65×log-div
62×pow-pow
55×associate--r+
46×unpow3 cube-mult
45×rem-log-exp
44×un-div-inv
40×tanh-def
37×associate-+l-
35×distribute-rgt-out-- distribute-rgt-neg-out sinh-def
34×distribute-rgt-out
30×rem-cube-cbrt
21×sqrt-unprod cosh-def
19×associate-+r-
18×rem-square-sqrt
17×rem-cbrt-cube
15×unsub-neg
14×sub-div
12×difference-cubes
11×distribute-lft-neg-out associate--r-
10×rem-exp-log unpow1/3
9×associate--l- neg-mul-1 distribute-neg-frac
8×distribute-lft1-in distribute-rgt1-in
7×log-rec
6×sum-cubes count-2 exp-to-pow
4×sqrt-pow2 cos-diff diff-cos difference-of-sqr-1 neg-sub0 cos-sum
3×neg-log
2×exp-diff sqrt-undiv pow3 exp-neg tan-quot mul-1-neg
1×sin-cos-mult

localize10.2s (0.7%)

bsearch8.1s (0.5%)

end6.0ms (0.0%)