Date:Wednesday, July 8th, 2020
Commit:0b6aac6b on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020190
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample3.5min (30.4%)

Algorithm
539×intervals
Results
1.2min2098577×body80valid
25.8s288693×body80invalid
18.1s40672×body1280valid
11.9s41837×body640valid
6.1s89252×body80nan
4.5s5704×body2560valid
4.2s22575×body320valid
1.9s6401×body1280invalid
1.4s11719×body160valid
1.3s6543×body640invalid
538.0ms3730×body320invalid
213.0ms2204×body160invalid
180.0ms866×body1280nan
176.0ms1062×body640nan
99.0ms36×body5120valid
81.0ms644×body320nan
47.0ms888×body80overflowed
28.0ms343×body160nan

prune2.1min (17.8%)

Filtered
82912 candidates to 55713 candidates (32.8%)

analyze1.8min (15.5%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.7min (14.3%)

Accuracy

Total 203.0b remaining (38.3%)

Threshold costs 28.5b (5.4%)

15.2b16.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.7b-1.9%Linear.Matrix:det44 from linear-1.19.1.3
12.4b59.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.6b59.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.6b60.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify59.7s (8.6%)

Algorithm
1432×egg-herbie

series56.3s (8.1%)

Calls

2636 calls:

2.2s
(+ (* x (* y (* x y))) (* (+ c (- (* z (/ t 16.0)) (* a (/ b 4.0)))) (- (- (* a (/ b 4.0)) c) (* z (/ t 16.0)))))
615.0ms
(log (exp (cbrt (* (log (- 1.0 (/ y x))) (log (- 1.0 (/ y x)))))))
610.0ms
(cbrt (* (log (- 1.0 (/ y x))) (log (- 1.0 (/ y x)))))
602.0ms
(/ (- (* 60.0 (* 60.0 (* (/ (- x y) (- z t)) (/ (- x y) (- z t))))) (* a (* a (* 120.0 120.0)))) (- (* 60.0 (/ (- x y) (- z t))) (* a 120.0)))
328.0ms
(/ (- (* x (* x (* (log (/ x y)) (log (/ x y))))) (* z z)) (+ (* x (log (/ x y))) z))

rewrite23.3s (3.4%)

Algorithm
893×rewrite-expression-head
Calls

2636 calls:

96.0ms
(* (sqrt (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)))
74.0ms
(* (* (* (cbrt (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))) (cbrt (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))) (* (cbrt 1) (cbrt 1))) (* (cbrt (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))) (/ (cbrt 1) (+ x (+ y t)))))
63.0ms
(* (/ 1 (* (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))) (/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))))
55.0ms
(* y (* z (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y)))))
53.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
Rules
28903×*-un-lft-identity
28058×add-sqr-sqrt
24886×times-frac
18262×add-cube-cbrt
11878×add-exp-log
9279×add-cbrt-cube
7830×associate-*r*
7280×pow1
5404×cbrt-prod
5389×sqrt-prod
4686×associate-*r/
4273×associate-*l*
4073×prod-exp
3940×associate-*l/
3914×cbrt-div
3877×add-log-exp
3623×frac-times
3320×cbrt-unprod
3166×flip-+ flip3-+
3000×difference-of-squares
2934×distribute-lft-out--
2522×distribute-lft-out
2425×flip-- flip3--
2380×associate-/r*
2255×pow-prod-down
2235×div-exp
1948×associate-/l*
1796×frac-add
1603×unpow-prod-down
1555×cbrt-undiv
1550×associate-/r/
1545×unswap-sqr
1450×div-inv
1301×log-prod
1052×pow1/3
1008×sqrt-div
998×swap-sqr
975×distribute-rgt-in distribute-lft-in
898×*-commutative
702×sub-neg
559×associate-/l/
523×frac-sub
481×sum-log
468×sqrt-pow1
459×clear-num frac-2neg
435×associate-+r+
428×cube-prod
301×+-commutative
293×pow1/2
276×pow-prod-up
255×1-exp
254×tanh-def-b tanh-def-a tanh-def-c
252×rec-exp
250×associate-+l+
245×sqr-pow
244×log-pow
227×associate--l+
223×diff-log
222×pow-sqr
217×pow-exp
184×pow-to-exp
159×pow-unpow
155×exp-prod
127×rem-sqrt-square
107×pow-pow
105×pow-plus
99×pow2
96×log-div
86×pow-flip
83×div-sub
70×distribute-lft-neg-in distribute-rgt-neg-in
68×inv-pow
65×rem-log-exp
64×cube-div un-div-inv
54×exp-sum distribute-rgt-neg-out
49×distribute-rgt-out-- unpow3
46×associate-+r- cube-mult
29×unpow-prod-up
27×associate-+l- rem-cube-cbrt
24×neg-mul-1
23×unsub-neg
22×sinh-def sqrt-unprod
20×sum-cubes
19×distribute-rgt-out
16×rem-square-sqrt
15×associate--r+ rem-exp-log
14×difference-of-sqr--1
13×cosh-def
12×sub-div
11×rem-cbrt-cube
10×exp-diff difference-of-sqr-1
9×unpow2
8×cosh-undef
7×sqrt-pow2 distribute-rgt1-in tan-quot pow-sub
6×diff-cos
5×sqrt-undiv distribute-lft1-in count-2 associate--r- distribute-frac-neg
4×unpow1/3
3×cos-diff difference-cubes pow3
2×associate--l- e-exp-1 exp-to-pow
1×neg-sub0 cos-sum

localize9.7s (1.4%)

bsearch4.1s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...