Date:Tuesday, July 14th, 2020
Commit:2afbfc40 on master
Hostname:warfa with Racket 7.5
Seed:2020196
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.2min (31.6%)

Algorithm
538×intervals
Results
1.7min2650351×body80valid
27.2s517045×body80nan
20.3s47345×body1280valid
11.6s43628×body640valid
4.3s25089×body320valid
4.1s5408×body2560valid
1.5s13752×body160valid
182.0ms1087×body640nan
181.0ms904×body1280nan
128.0ms48×body5120valid
87.0ms1646×body80overflowed
75.0ms620×body320nan
28.0ms323×body160nan

prune5.0min (30.5%)

Filtered
88344 candidates to 61719 candidates (30.1%)

series2.7min (16.7%)

Calls

2659 calls:

1.7min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
1.8s
(pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3)
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))

regimes1.6min (10.1%)

Accuracy

Total 210.9b remaining (38.3%)

Threshold costs 28.0b (5.1%)

19.0b13.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.3b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b-10.8%Linear.Matrix:det44 from linear-1.19.1.3
10.2b56.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.1b25.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.1min (6.8%)

Algorithm
1442×egg-herbie

rewrite27.9s (2.8%)

Algorithm
904×rewrite-expression-head
Calls

2659 calls:

256.0ms
(* (cbrt (+ x (+ (* (+ x y) 2) z))) (cbrt (+ x (+ (* (+ x y) 2) z))))
248.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
248.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
246.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
203.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
Rules
27992×cbrt-div
27892×*-un-lft-identity
26758×add-sqr-sqrt
23103×times-frac
19824×associate-*r/
17403×add-cube-cbrt
15808×frac-sub
15341×frac-times
10674×add-exp-log
10422×tanh-def
8613×add-cbrt-cube
7203×associate-*r*
6859×pow1
6456×cbrt-prod
5304×flip-- flip3--
4873×sqrt-prod
4429×associate-*l*
3928×add-log-exp
3395×prod-exp
3163×associate-*l/
2804×cbrt-unprod
2794×distribute-lft-out--
2788×difference-of-squares
2596×distribute-lft-out
2030×pow-prod-down
1964×associate-/r*
1933×associate-/l*
1900×div-exp
1639×associate-/r/
1622×flip-+ flip3-+
1524×unswap-sqr
1420×cbrt-undiv
1317×div-inv
1295×unpow-prod-down
1235×log-prod
1160×distribute-rgt-in distribute-lft-in
1070×pow1/3
1017×frac-add
870×*-commutative
817×sqrt-div
754×swap-sqr
713×sqrt-pow1
664×exp-prod
625×sub-neg
542×associate-+r+
476×sum-log
428×clear-num frac-2neg
405×associate-/l/
353×log-pow
348×cube-prod
301×+-commutative
299×pow-prod-up
282×associate--l+
277×pow1/2
257×pow-sqr
251×associate-+l+
242×diff-log
209×1-exp
208×rec-exp
196×pow-exp
193×sqr-pow
185×pow-unpow
155×pow-to-exp
115×pow-pow
113×rem-sqrt-square
97×div-sub
96×pow-plus
93×pow2
79×pow-flip
78×log-div
74×distribute-rgt-neg-out
57×inv-pow
55×distribute-rgt-out-- associate--r+
51×rem-log-exp
49×un-div-inv
47×associate-+r-
46×cube-div
41×cube-mult unpow3
39×exp-sum
35×distribute-rgt-neg-in
33×distribute-lft-neg-in sinh-def
31×sub-div
25×rem-cube-cbrt
24×distribute-rgt-out
22×pow-sub
21×pow-neg
20×neg-sub0
19×unsub-neg
17×sqrt-unprod rem-cbrt-cube
16×rem-exp-log
15×rem-square-sqrt
14×associate-+l-
13×associate--l- cosh-def
11×neg-mul-1 unpow2
10×difference-of-sqr--1
7×difference-cubes unpow-prod-up
6×e-exp-1 unpow1/3 distribute-rgt1-in exp-diff
5×distribute-lft-neg-out distribute-lft1-in count-2 associate--r- sum-cubes
3×cube-neg cos-diff distribute-frac-neg
2×cos-sum diff-cos tan-quot remove-double-div
1×sqrt-undiv sqrt-pow2 sin-cos-mult pow3

localize10.5s (1.1%)

bsearch4.0s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...