Date:Wednesday, May 27th, 2020
Commit:37fb213b on clean-debug-log
Hostname:warfa with Racket 7.5
Seed:2020148
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune11.4m (40.9%)

Filtered
89006 candidates to 59093 candidates (33.6%)

series5.5m (19.8%)

Calls

2628 calls:

4.2s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.6s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
3.2s
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
2.9s
(+ (* t (- (* (* x 18.0) (* y z)) (* a 4.0))) (- (* b c) (+ (* (* x 4.0) i) (* (* j 27.0) k))))
2.1s
(/ (+ 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))))))

sample4.9m (17.4%)

Algorithm
539×intervals
Results
1.6m2652292×body80valid
25.8s515775×body80nan
18.1s46435×body1280valid
10.3s43224×body640valid
4.0s25096×body320valid
3.9s5579×body2560valid
1.6s13645×body160valid
172.0ms1038×body640nan
158.0ms812×body1280nan
108.0ms43×body5120valid
82.0ms1528×body80overflowed
73.0ms635×body320nan
24.0ms310×body160nan

end2.3m (8.1%)

regimes1.9m (6.8%)

Accuracy

Total 206.6b remaining (37.5%)

Threshold costs 25.3b (4.6%)

16.5b9.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.3b-4%Linear.Matrix:det44 from linear-1.19.1.3
11.7b62.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.9b12.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.2m (4.4%)

Algorithm
1449×egg-herbie

rewrite25.1s (1.5%)

Algorithm
910×rewrite-expression-head
Calls

2628 calls:

205.0ms
(pow (* y (- x z)) 3)
203.0ms
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (pow x 2)))
148.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
148.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
148.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
Rules
41214×times-frac
37305×*-un-lft-identity
36586×add-sqr-sqrt
23365×add-cube-cbrt
10636×add-exp-log
8774×add-cbrt-cube
7161×pow1
6517×associate-*r*
6032×cbrt-prod
5116×difference-of-squares
5061×cbrt-div
4815×distribute-lft-out--
4739×flip-- flip3--
4730×frac-times
4088×add-log-exp
4047×associate-*l*
3942×associate-/r*
3601×associate-*r/
3350×sqrt-prod
3099×associate-*l/
2978×prod-exp
2830×associate-/r/
2509×cbrt-unprod
2446×distribute-lft-out
2428×associate-/l*
2242×div-exp
2109×pow-prod-down
2071×flip-+ flip3-+
1969×div-inv
1660×cbrt-undiv
1544×log-prod
1436×distribute-rgt-in distribute-lft-in
1362×unswap-sqr
1259×unpow-prod-down
1239×sqrt-div
875×pow1/3
825×*-commutative
786×frac-sub
768×sub-neg
709×associate-/l/
706×sqrt-pow1
700×cube-prod
673×swap-sqr
532×sqr-pow
522×clear-num frac-2neg
509×sum-log
442×associate-+l+
379×associate-+r+
326×pow-prod-up
325×associate--l+
323×log-pow
308×pow1/2
305×+-commutative diff-log
252×frac-add
246×exp-prod
244×pow-sqr
210×1-exp
209×rec-exp
159×pow-exp
137×pow-unpow
135×div-sub
128×pow-to-exp
111×cube-div
101×pow-plus
98×rem-sqrt-square
93×pow-pow
89×associate--r+
88×pow2
63×log-div unpow2
59×pow-flip
57×exp-sum
54×distribute-lft-neg-in inv-pow distribute-rgt-neg-in tanh-def
51×un-div-inv
47×rem-log-exp
45×difference-cubes
42×unpow3 cube-mult
37×distribute-rgt-neg-out associate-+l-
33×sinh-def
26×rem-cube-cbrt
25×associate-+r-
22×rem-exp-log
20×distribute-rgt-out cosh-def
19×distribute-rgt-out--
18×sqrt-unprod rem-cbrt-cube
16×unsub-neg
15×sum-cubes
14×rem-square-sqrt
11×associate--l-
8×sub-div unpow-prod-up tan-quot neg-mul-1
7×exp-diff
6×distribute-rgt1-in pow-sub neg-sub0 sin-mult associate--r-
5×distribute-lft-neg-out distribute-lft1-in count-2 exp-to-pow
4×unpow1/3 distribute-neg-in diff-cos neg-log
3×mul-1-neg pow3 cos-diff cos-mult distribute-neg-frac
2×cos-sum sqrt-pow2 exp-neg log-rec
1×sqrt-undiv distribute-frac-neg

localize9.5s (0.6%)

bsearch7.9s (0.5%)

Profiling

Loading profile data...