Date:Tuesday, June 9th, 2020
Commit:8ccfdff1 on master
Hostname:warfa with Racket 7.5
Seed:2020161
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

sample5.1min (35.9%)

Algorithm
537×intervals
Results
1.7min2645697×body80valid
26.7s508038×body80nan
19.9s47133×body1280valid
10.9s42165×body640valid
4.2s5625×body2560valid
4.1s23871×body320valid
1.5s13544×body160valid
199.0ms1129×body640nan
185.0ms877×body1280nan
118.0ms44×body5120valid
84.0ms654×body320nan
81.0ms1542×body80overflowed
30.0ms362×body160nan

prune4.5min (32.2%)

Filtered
87305 candidates to 57880 candidates (33.7%)

regimes1.7min (11.9%)

Accuracy

Total 218.4b remaining (38.1%)

Threshold costs 22.8b (4%)

13.0b58.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.5b-16.6%Linear.Matrix:det44 from linear-1.19.1.3
11.2b48.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.8b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.5b53.1%Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, B

simplify1.3min (9.0%)

Algorithm
1427×egg-herbie

series55.8s (6.6%)

Calls

2536 calls:

2.2s
(/ (* (* y z) (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
592.0ms
(/ (+ (+ (* x y) (* z t)) (* a b)) (sqrt (- (+ (* x y) (* z t)) (* a b))))
475.0ms
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
442.0ms
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

rewrite22.9s (2.7%)

Algorithm
891×rewrite-expression-head
Calls

2536 calls:

288.0ms
(/ (* (* y z) (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
177.0ms
(* (* a 27.0) b)
114.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
72.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
66.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
34043×*-un-lft-identity
33140×times-frac
32332×add-sqr-sqrt
20768×add-cube-cbrt
11075×add-exp-log
8726×add-cbrt-cube
7668×frac-times
7205×pow1
6936×frac-add
6540×associate-*r*
5482×tanh-def
5346×sqrt-prod
5112×associate-/r/
4828×cbrt-prod
4470×associate-*r/
4228×associate-*l*
4168×distribute-lft-out--
4113×difference-of-squares
4019×associate-*l/
3825×add-log-exp
3296×associate-/r*
3284×prod-exp
2776×distribute-lft-out
2621×cbrt-unprod
2434×flip-- flip3--
2384×div-exp
2242×associate-/l*
2097×pow-prod-down
1730×cbrt-undiv
1696×cbrt-div
1634×div-inv
1621×log-prod
1576×flip-+ flip3-+
1491×distribute-rgt-in distribute-lft-in
1399×unswap-sqr
1103×sqrt-div
1082×unpow-prod-down
893×pow1/3
869×sqrt-pow1
807×*-commutative
748×frac-sub
715×associate-/l/
669×swap-sqr
663×sub-neg
565×cube-prod
517×clear-num frac-2neg
488×sum-log
469×associate-+l+
429×associate-+r+
404×pow1/2
385×pow-prod-up
304×sqr-pow
296×+-commutative
292×associate--l+
282×1-exp
279×pow-sqr
278×rec-exp
267×log-pow
241×diff-log
192×pow-exp
171×pow-unpow
133×div-sub
122×pow-to-exp
115×pow-plus
110×cube-div
109×rem-sqrt-square
102×unpow-prod-up exp-prod
101×exp-sum
99×pow2
87×pow-pow
75×pow-flip
72×log-div
71×unpow2
61×associate--r+
59×distribute-rgt-neg-out
57×inv-pow
52×rem-log-exp distribute-lft-neg-in distribute-rgt-neg-in cube-mult unpow3
48×un-div-inv
39×distribute-rgt-out-- rem-cube-cbrt
37×associate-+l-
32×unsub-neg
30×sinh-def
25×associate-+r- sqrt-unprod
21×rem-square-sqrt
20×distribute-rgt-out
19×rem-cbrt-cube
16×rem-exp-log
14×difference-cubes cosh-def exp-diff
13×sub-div associate--r-
12×distribute-lft-neg-out
10×unpow1/3 sum-cubes
9×log-rec pow-sub
8×associate--l-
6×neg-mul-1 exp-to-pow tan-quot
5×neg-sub0 distribute-lft1-in count-2 distribute-rgt1-in
4×diff-cos neg-log
3×cos-diff distribute-neg-frac sin-mult
2×e-exp-1 cos-sum sqrt-pow2 pow3 distribute-neg-out pow-div
1×cos-mult

localize9.4s (1.1%)

bsearch3.7s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...