Date:Friday, July 10th, 2020
Commit:a8193a33 on movability-off
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.5min (28.7%)

Algorithm
538×intervals
Results
1.2min2092597×body80valid
26.5s287795×body80invalid
18.0s39978×body1280valid
11.8s41085×body640valid
6.3s88020×body80nan
4.2s5505×body2560valid
4.1s22188×body320valid
1.9s6431×body1280invalid
1.4s11721×body160valid
1.2s6235×body640invalid
510.0ms879×body5120exit
471.0ms3431×body320invalid
196.0ms2073×body160invalid
184.0ms1067×body640nan
176.0ms822×body1280nan
128.0ms46×body5120valid
79.0ms617×body320nan
31.0ms364×body160nan

prune2.8min (22.5%)

Filtered
86536 candidates to 57106 candidates (34.0%)

analyze1.8min (14.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.6min (13.4%)

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.3%)

Algorithm
1430×egg-herbie

series55.0s (7.5%)

Calls

2595 calls:

2.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.3s
(pow (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))) 3)
427.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))))))
317.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))

rewrite24.1s (3.3%)

Algorithm
892×rewrite-expression-head
Calls

2595 calls:

284.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))))))))
101.0ms
(* x (/ (/ 1 (- t z)) (/ 1 (- y z))))
86.0ms
(* (/ (sqrt (- x y)) (sqrt (- 1.0 y))) (/ (sqrt (- x y)) (sqrt (- 1.0 y))))
72.0ms
(* (/ (/ (- y z) (* (cbrt (* (cbrt (+ t (- 1.0 z))) (cbrt (+ t (- 1.0 z))))) (* (sqrt (pow (cbrt (cbrt (+ t (- 1.0 z)))) 4)) (sqrt (pow (cbrt (cbrt (+ t (- 1.0 z)))) 4))))) (cbrt (- (+ t 1.0) z))) (- a x))
59.0ms
(/ (/ 1 (sqrt (- 2.0 (+ x y)))) (/ (sqrt (- 2.0 (+ x y))) (- x 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

localize9.5s (1.3%)

bsearch4.3s (0.6%)

end5.0ms (0.0%)

Profiling

Loading profile data...