Date:Friday, July 10th, 2020
Commit:40c95423 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020192
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.6min (28.1%)

Algorithm
538×intervals
Results
1.3min2092597×body80valid
26.6s287795×body80invalid
18.2s39978×body1280valid
11.9s41085×body640valid
6.5s88020×body80nan
4.2s5505×body2560valid
4.2s22188×body320valid
1.9s6431×body1280invalid
1.4s11721×body160valid
1.2s6235×body640invalid
487.0ms3431×body320invalid
206.0ms2073×body160invalid
177.0ms1067×body640nan
169.0ms822×body1280nan
125.0ms46×body5120valid
75.0ms617×body320nan
55.0ms879×body80overflowed
32.0ms364×body160nan

prune3.1min (24.1%)

Filtered
86536 candidates to 57106 candidates (34.0%)

analyze1.9min (14.7%)

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 (13.1%)

Accuracy

Total 213.8b remaining (39.9%)

Threshold costs 28.3b (5.3%)

18.1b9.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.5b-1.8%Linear.Matrix:det44 from linear-1.19.1.3
12.3b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.2b60.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.6b28.6%Data.Colour.Matrix:determinant from colour-2.3.3, A

simplify1.0min (8.0%)

Algorithm
1430×egg-herbie

series53.3s (6.9%)

Calls

2595 calls:

2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.3s
(pow (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))) 3)
432.0ms
(sqrt (+ (* x y) (+ (* z (/ t 16.0)) (- c (* a (/ b 4.0))))))
422.0ms
(sqrt (+ (* x y) (+ (* z (/ t 16.0)) (- c (* a (/ b 4.0))))))
324.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))

rewrite24.2s (3.1%)

Algorithm
892×rewrite-expression-head
Calls

2595 calls:

269.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
238.0ms
(/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))
166.0ms
(* (* x (* z (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (cbrt (- y 1.0)))
134.0ms
(* x (/ (/ 1 (- t z)) (/ 1 (- y z))))
81.0ms
(* (/ (sqrt (- x y)) (sqrt (- 1.0 y))) (/ (sqrt (- x y)) (sqrt (- 1.0 y))))
Rules
34280×*-un-lft-identity
32873×add-sqr-sqrt
31915×times-frac
20533×add-cube-cbrt
12109×add-exp-log
9484×associate-*r/
9113×add-cbrt-cube
8251×associate-*r*
7706×sqrt-prod
7282×pow1
7084×cbrt-prod
7054×cbrt-div
5063×associate-*l*
4924×frac-times
4533×distribute-lft-out--
4220×frac-sub
4191×prod-exp
4092×difference-of-squares
3747×add-log-exp
3152×cbrt-unprod
2937×flip-- flip3--
2640×tanh-def-b tanh-def-a tanh-def-c
2581×distribute-lft-out
2375×associate-/r*
2350×div-exp
2239×pow-prod-down
2010×associate-/r/
1930×associate-*l/
1790×flip-+ flip3-+
1781×associate-/l*
1684×unswap-sqr
1556×div-inv
1528×cbrt-undiv
1377×unpow-prod-down
1324×log-prod
1237×swap-sqr
1158×distribute-rgt-in distribute-lft-in
1134×sqrt-div
1103×pow1/3
916×*-commutative
656×sub-neg
578×associate-/l/
577×frac-add
532×sqrt-pow1
428×clear-num frac-2neg
424×sum-log
418×cube-prod
395×associate-+r+
324×associate-+l+ 1-exp
311×rec-exp
307×pow1/2
306×pow-prod-up
303×log-pow
293×exp-prod
284×pow-exp
283×+-commutative
267×sqr-pow
254×pow-sqr
243×pow-to-exp
214×diff-log
193×associate--l+
180×pow-unpow
161×pow-pow
120×rem-sqrt-square
115×pow-plus
110×pow2
90×cube-div div-sub
84×pow-flip
72×exp-sum
68×log-div
64×inv-pow
63×unpow2
59×cube-mult unpow3
58×un-div-inv
39×distribute-rgt-neg-out
37×associate--r+
35×distribute-rgt-neg-in rem-cube-cbrt
33×distribute-lft-neg-in distribute-rgt-out
32×rem-log-exp
30×associate-+r-
24×sinh-def
20×sqrt-unprod difference-of-sqr--1 rem-cbrt-cube
18×rem-square-sqrt
17×unsub-neg associate-+l- rem-exp-log
16×cosh-def distribute-rgt-out--
11×neg-mul-1 pow-sub
10×unpow-prod-up associate--r- distribute-rgt1-in exp-diff
9×associate--l- sum-cubes
8×sqrt-undiv distribute-lft1-in
7×sqrt-pow2 count-2
6×unpow1/3 sub-div distribute-neg-frac
4×neg-sub0 diff-cos
3×cos-diff tan-quot
2×acos-asin e-exp-1 distribute-frac-neg cos-mult pow-neg sin-mult
1×difference-cubes cos-sum

localize10.0s (1.3%)

bsearch4.4s (0.6%)

end5.0ms (0.0%)

Profiling

Loading profile data...