Date:Wednesday, May 27th, 2020
Commit:c82eb183 on master
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 (48.0%)

Filtered
89953 candidates to 58988 candidates (34.4%)

sample5.0m (21.1%)

Algorithm
539×intervals
Results
1.7m2652292×body80valid
26.9s515775×body80nan
18.5s46435×body1280valid
10.9s43224×body640valid
4.2s25096×body320valid
4.0s5579×body2560valid
1.5s13645×body160valid
169.0ms1038×body640nan
161.0ms812×body1280nan
113.0ms43×body5120valid
79.0ms1528×body80overflowed
75.0ms635×body320nan
24.0ms310×body160nan

end2.4m (10.2%)

regimes1.9m (8.1%)

Accuracy

Total 211.4b remaining (38.2%)

Threshold costs 24.7b (4.5%)

16.7b9.6%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 (5.2%)

Algorithm
1449×egg-herbie

series1.0m (4.2%)

Calls

2631 calls:

2.3s
(+ (* t (- (* (* x 18.0) (* y z)) (* a 4.0))) (- (* b c) (+ (* (* x 4.0) i) (* (* j 27.0) k))))
2.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.0s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
879.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
428.0ms
(* (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))))

rewrite25.6s (1.8%)

Algorithm
910×rewrite-expression-head
Calls

2631 calls:

232.0ms
(sqrt (- 1.0 (/ y z)))
213.0ms
(/ 1 (* (- y z) (- y t)))
145.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
144.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
142.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
Rules
41576×times-frac
37439×*-un-lft-identity
36795×add-sqr-sqrt
23547×add-cube-cbrt
13052×add-exp-log
8855×add-cbrt-cube
7139×pow1
6545×associate-*r*
6083×cbrt-prod
5158×cbrt-div
5114×difference-of-squares
4790×distribute-lft-out--
4784×frac-times
4783×flip-- flip3--
4497×prod-exp
4112×associate-*l*
4093×add-log-exp
3949×associate-/r*
3843×div-exp
3643×associate-*r/
3374×sqrt-prod
3232×associate-*l/
2854×associate-/r/
2546×cbrt-unprod
2422×associate-/l*
2420×distribute-lft-out
2112×pow-prod-down
2086×flip-+ flip3-+
1981×div-inv
1700×cbrt-undiv log-prod
1401×distribute-rgt-in distribute-lft-in
1375×unpow-prod-down
1369×unswap-sqr
1217×sqrt-div
1008×pow-exp
880×pow1/3
825×*-commutative
809×1-exp
777×frac-sub
769×sub-neg
728×cube-prod
705×associate-/l/
701×sqrt-pow1
649×swap-sqr
531×sqr-pow
520×clear-num frac-2neg
509×sum-log
450×pow-to-exp
436×associate-+l+
364×associate-+r+
329×associate--l+
326×pow-prod-up
317×frac-add
307×rec-exp diff-log
304×+-commutative
303×pow1/2
298×log-pow
250×exp-prod
244×pow-sqr
135×div-sub
129×pow-unpow
127×exp-sum
101×pow-plus
96×cube-div
94×rem-sqrt-square
93×pow-pow
90×associate--r+
88×pow2
71×log-div
63×unpow2
61×rem-log-exp
60×pow-flip
57×distribute-lft-neg-in distribute-rgt-neg-in
55×inv-pow
54×tanh-def
52×un-div-inv
45×difference-cubes
44×unpow3 cube-mult
37×associate-+l-
36×distribute-rgt-neg-out
33×sinh-def
27×associate-+r-
26×rem-cube-cbrt
23×rem-exp-log
21×distribute-lft-neg-out unsub-neg
20×distribute-rgt-out cosh-def
19×distribute-rgt-out--
18×sqrt-unprod rem-cbrt-cube
15×sum-cubes
14×rem-square-sqrt
12×exp-diff
11×associate--l-
10×log-rec
9×neg-mul-1
8×sub-div tan-quot associate--r-
6×distribute-rgt1-in neg-sub0 sin-mult
5×distribute-lft1-in count-2 exp-to-pow
4×distribute-neg-in unpow-prod-up diff-cos neg-log
3×sqrt-pow2 unpow1/3 pow3 cos-diff pow-sub cos-mult distribute-neg-frac
2×cos-sum distribute-neg-out
1×mul-1-neg sqrt-undiv distribute-frac-neg

localize9.7s (0.7%)

bsearch8.4s (0.6%)

Profiling

Loading profile data...