Date:Tuesday, May 5th, 2020
Commit:256fb890 on master
Hostname:warfa with Racket 7.5
Seed:2020126
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

series6.9m (38.5%)

Calls

2502 calls:

3.2s
(cbrt (+ (+ (* x y) (* x z)) (* y z)))
1.8s
(* (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (/ (/ 1 3.0) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.8s
(/ (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) 3.0) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y))))
1.7s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.1s
(/ (cbrt (- z t)) (/ (cbrt (- a t)) y))

sample4.2m (23.6%)

Algorithm
537×intervals
Results
1.7m2643562×body80valid
28.4s517910×body80nan
18.8s46101×body1280valid
10.6s41783×body640valid
4.2s5817×body2560valid
4.1s24037×body320valid
1.5s13012×body160valid
185.0ms914×body1280nan
177.0ms1041×body640nan
121.0ms46×body5120valid
83.0ms1551×body80overflowed
81.0ms650×body320nan
28.0ms337×body160nan

prune3.9m (21.9%)

Filtered
95510 candidates to 62005 candidates (64.9%)

simplify1.3m (7.2%)

Algorithm
1427×egg-herbie

regimes54.2s (5.0%)

Accuracy

Total 220.2b remaining (37.6%)

Threshold costs 28.8b (4.9%)

18.2b13.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.3b57%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.1b-24.5%Linear.Matrix:det44 from linear-1.19.1.3
10.1b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.3b25.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite26.1s (2.4%)

Algorithm
891×rewrite-expression-head
Calls

2504 calls:

202.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
177.0ms
(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
98.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
83.0ms
(/ x (/ (/ (/ (fabs (cbrt (- (* z z) (* t a)))) (cbrt z)) (cbrt z)) y))
72.0ms
(* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ t 1.0)) (sqrt t)))))
Rules
59432×times-frac
52719×*-un-lft-identity
42367×add-sqr-sqrt
31292×add-cube-cbrt
25980×sqrt-prod
10782×add-exp-log
10042×cbrt-prod
9725×cbrt-div
8630×add-cbrt-cube
8070×distribute-lft-out
6948×pow1
6196×associate-*r*
5959×frac-times
5835×associate-*r/
4280×frac-sub
4056×difference-of-squares
4050×associate-*l*
3742×add-log-exp
3647×associate-/r*
3527×distribute-lft-out--
3419×flip-- flip3--
3189×prod-exp
3069×associate-/l*
2661×tanh-def
2655×cbrt-unprod
2432×associate-*l/
2273×associate-/r/
2254×div-exp
2248×div-inv
2097×pow-prod-down
1809×flip-+ flip3-+
1682×cbrt-undiv
1657×log-prod
1610×unpow-prod-down
1521×distribute-rgt-in distribute-lft-in
1370×unswap-sqr
1237×sqrt-div
910×pow1/3
899×swap-sqr
811×*-commutative
795×sqr-pow
711×sub-neg
640×cube-prod
595×sqrt-pow1
548×associate-/l/
534×clear-num frac-2neg
449×associate-+l+
434×sum-log
316×pow-prod-up
311×associate-+r+
294×pow1/2
263×diff-log
260×1-exp
258×+-commutative
253×associate--l+
252×rec-exp
247×pow-sqr
201×log-pow
191×unpow2
186×frac-add
155×pow-exp
146×pow-unpow
122×pow-plus
118×div-sub
115×rem-sqrt-square
113×pow-to-exp
96×pow2
91×exp-sum
90×unpow-prod-up
86×cube-div
81×pow-pow
77×associate--r+
73×pow-flip exp-prod
63×inv-pow
57×log-div
49×difference-cubes
48×unpow3 cube-mult
47×sum-cubes
45×distribute-rgt-neg-out
43×un-div-inv
40×rem-cube-cbrt
39×rem-log-exp
36×associate-+l-
29×distribute-rgt-out--
27×sinh-def
21×associate-+r- rem-cbrt-cube
20×unsub-neg
19×distribute-rgt-out
18×sqrt-unprod cosh-def
17×rem-square-sqrt
14×sub-div
13×rem-exp-log
12×associate--r-
11×distribute-rgt-neg-in distribute-lft-neg-in
10×associate--l-
7×sqrt-pow2
6×exp-diff unpow1/3 distribute-rgt1-in cos-diff
5×distribute-lft1-in count-2 sqrt-undiv neg-mul-1
4×distribute-lft-neg-out diff-cos difference-of-sqr-1 cos-sum log-rec
3×pow-div mul-1-neg tan-quot
2×neg-log exp-to-pow exp-neg pow-sub neg-sub0 sin-mult
1×pow3 distribute-frac-neg cos-mult

localize9.6s (0.9%)

bsearch6.0s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...