Date:Saturday, July 18th, 2020
Commit:61547132 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020200
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.2min (28.0%)

Algorithm
538×intervals
Results
1.2min2091134×body80valid
17.9s40524×body1280valid
11.9s41473×body640valid
11.5s225459×body80invalid
6.1s89644×body80nan
4.2s5654×body2560valid
4.2s22331×body320valid
2.2s6639×body1280invalid
1.7s11957×body160valid
1.4s6835×body640invalid
571.0ms3963×body320invalid
210.0ms2206×body160invalid
175.0ms1031×body640nan
160.0ms812×body1280nan
132.0ms47×body5120valid
80.0ms661×body320nan
48.0ms861×body80overflowed
28.0ms343×body160nan

prune2.1min (18.0%)

Filtered
85209 candidates to 56605 candidates (33.6%)

analyze1.8min (16.1%)

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.8min (15.4%)

Accuracy

Total 202.2b remaining (39%)

Threshold costs 28.9b (5.6%)

15.4b16.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.9b34.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.1b60.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b56.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.6b8.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.0min (8.8%)

Algorithm
1433×egg-herbie

series54.6s (7.9%)

Calls

2677 calls:

348.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
347.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
341.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
309.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
289.0ms
(* (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))) (cbrt (+ x (+ (* a (- 1.0 t)) (* z (- 1.0 y))))))

rewrite23.2s (3.4%)

Algorithm
895×rewrite-expression-head
Calls

2677 calls:

101.0ms
(* (/ (- y z) (* (cbrt (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
96.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))) (* (* (cbrt (- y x)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (cbrt (- z t)) (cbrt (- a t))))))
83.0ms
(* (/ z (sqrt (+ (* x x) (* 1.0 (+ x 1.0))))) (/ (- (pow x 3) (pow 1.0 3)) (sqrt (+ (* x x) (* 1.0 (+ x 1.0))))))
61.0ms
(/ 1 (/ (/ (- 1.0 y) (+ (sqrt x) (sqrt y))) (- (sqrt x) (sqrt y))))
53.0ms
(* (/ 1 (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (/ (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (sqrt (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))))
Rules
30440×*-un-lft-identity
30209×add-sqr-sqrt
27001×times-frac
18713×add-cube-cbrt
12788×add-exp-log
9275×add-cbrt-cube
8033×associate-*r*
7610×pow1
6947×cbrt-div
6930×cbrt-prod
6184×frac-times
5135×sqrt-prod
4696×associate-*r/
4661×prod-exp
4389×associate-*l*
4178×flip-- flip3--
4001×difference-of-squares
3912×add-log-exp
3489×cbrt-unprod
3332×distribute-lft-out--
2980×associate-*l/
2566×distribute-lft-out
2514×associate-/r*
2373×pow-prod-down
2358×div-exp
2018×flip-+ flip3-+
1826×associate-/r/
1776×associate-/l*
1584×cbrt-undiv
1496×unswap-sqr
1420×div-inv
1265×unpow-prod-down
1199×log-prod
1168×pow1/3
1050×distribute-rgt-in distribute-lft-in
976×swap-sqr
913×*-commutative
708×sqrt-div
637×sub-neg
509×cube-prod
507×associate-/l/
504×sqrt-pow1
471×frac-add
445×sum-log
426×clear-num frac-2neg
372×1-exp
361×rec-exp
347×pow-prod-up
339×sqr-pow
319×associate-+r+
316×pow1/2
292×+-commutative
277×pow-sqr
244×diff-log
242×associate-+l+
224×log-pow
218×frac-sub
213×exp-prod
194×pow-exp
177×associate--l+
167×pow-pow
164×pow-unpow
136×pow-to-exp
126×pow-plus
121×pow2
105×rem-sqrt-square
96×div-sub
86×pow-flip
85×un-div-inv
68×inv-pow
66×tanh-def-b tanh-def-a tanh-def-c
63×log-div
56×cube-div cube-mult unpow3
54×distribute-rgt-neg-out
47×distribute-rgt-neg-in
45×distribute-lft-neg-in
44×associate--r+
41×rem-log-exp
38×neg-sub0
33×distribute-rgt-out--
32×exp-diff
31×associate-+r-
30×sinh-def difference-of-sqr--1
28×exp-sum
26×pow-sub
24×sqrt-unprod
22×rem-cube-cbrt
21×rem-square-sqrt unsub-neg associate-+l-
19×difference-cubes
18×exp-neg pow-neg
17×distribute-rgt-out
14×rem-cbrt-cube
13×rem-exp-log
12×neg-mul-1
11×unpow2
10×associate--l- sub-div
9×diff-cos
8×associate--r-
7×e-exp-1
6×distribute-rgt1-in
5×distribute-lft1-in count-2
4×cosh-def unpow1/3
3×cos-diff unpow-prod-up
2×tan-quot distribute-frac-neg
1×acos-asin cos-sum sqrt-undiv sqrt-pow2 sin-cos-mult exp-to-pow

localize10.0s (1.5%)

bsearch5.3s (0.8%)

end4.0ms (0.0%)

Profiling

Loading profile data...