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

sample10.4min (36.2%)

Algorithm
955×intervals
Results
2.3min3261875×body80valid
2.2min240810×body1280valid
56.9s15102×body5120exit
53.6s171273×body640valid
34.1s41347×body2560valid
19.5s99905×body320valid
17.6s293125×body80invalid
12.8s94535×body160valid
11.9s158653×body80nan
10.1s22512×body1280invalid
7.6s359199×pre80true
6.0s12625×body1280nan
5.8s20025×body640invalid
3.6s781×body5120invalid
3.5s10262×body640nan
3.5s1406×body2560invalid
2.6s3988×body5120valid
2.3s10469×body320invalid
1.3s5391×body320nan
1.0s7750×body80overflowed
737.0ms5460×body160invalid
595.0ms3258×body2560nan
423.0ms739×body1280overflowed
314.0ms2187×body160nan
165.0ms435×body640overflowed
116.0ms172×body2560overflowed
60.0ms219×body320overflowed
20.0ms120×body160overflowed
6.0ms229×pre80false
5.0ms2×body5120nan

prune6.2min (21.5%)

Filtered
161448 candidates to 103015 candidates (36.2%)

analyze4.1min (14.2%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

regimes2.7min (9.4%)

Accuracy

Total 432.9b remaining (29.3%)

Threshold costs 59.0b (4%)

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.8b48.8%Equirectangular approximation to distance on a great circle
10.6b-17.9%Henrywood and Agarwal, Equation (13)

simplify2.1min (7.3%)

Algorithm
2551×egg-herbie

series2.0min (6.9%)

Calls

4914 calls:

2.1s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))
1.9s
(sqrt (* 2.0 (* (* (cbrt n) (cbrt n)) (* (* (cbrt U) (cbrt U)) (* (cbrt n) (* (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om))))) (cbrt U)))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))
1.7s
(sqrt (* 2.0 (* (* (cbrt n) (cbrt n)) (* U (* (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om))))) (cbrt n))))))
729.0ms
(- (* 1.0 1.0) (* (/ 1.0 (/ (pow (+ 1.0 (* 0.3275911 (fabs x))) 2) 1.0)) (* (* (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (pow (exp (fabs x)) (* 2 (neg (fabs x)))))))

rewrite48.2s (2.8%)

Algorithm
1601×rewrite-expression-head
Calls

4914 calls:

257.0ms
(* (/ 1 (sqrt (+ alpha (+ beta (* 1.0 2.0))))) (/ (/ (+ alpha (+ beta (+ (* alpha beta) 1.0))) (pow (sqrt (+ alpha (+ beta (* 1.0 2.0)))) 3)) (+ alpha (+ beta 3.0))))
210.0ms
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
208.0ms
(* (sqrt (* PI 2.0)) (* (* (exp (- z (+ 7.0 0.5))) (* (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (pow (+ 7.0 (- 0.5 z)) (- 0.5 z)))) (/ PI (sin (* PI z)))))
191.0ms
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))
154.0ms
(* l (* 2.0 (* (pow (pow (pow k (/ (neg 2.0) 2)) 1.0) 1.0) (* l (* (* (pow (pow (pow t (neg 1.0)) 1.0) 1.0) (/ (cos k) (pow (sin k) 2))) (pow (pow (pow k (/ (neg 2.0) 2)) 1.0) 1.0))))))
Rules
56497×*-un-lft-identity
56295×add-exp-log
53696×add-sqr-sqrt
50364×times-frac
35551×prod-exp
33755×add-cube-cbrt
18867×add-cbrt-cube
16834×pow-exp
13760×pow1
13142×associate-*r*
12569×sqrt-prod
11125×div-exp
9525×cbrt-prod
8871×frac-times
8153×associate-*l*
7889×cbrt-div
7578×associate-*r/
7555×pow-to-exp
7505×add-log-exp
7156×cbrt-unprod
6824×distribute-lft-out
6325×difference-of-squares
6047×flip--
6046×flip3--
5269×unpow-prod-down
5137×distribute-lft-out--
4978×associate-*l/
4291×associate-/r*
4232×flip-+
4231×flip3-+
4105×pow-prod-down
3799×associate-/l*
3678×frac-add
3289×cbrt-undiv
3174×associate-/r/
2937×unswap-sqr
2663×div-inv
2283×sqrt-div
1999×cube-prod
1763×log-prod
1644×sqr-pow
1534×*-commutative
1507×swap-sqr
1464×pow1/3
1416×distribute-rgt-in distribute-lft-in
1127×sub-neg
1121×sqrt-pow1
876×associate-/l/
849×sum-log
825×clear-num frac-2neg
774×frac-sub
773×pow1/2
765×pow-unpow
623×log-pow
587×diff-log
554×1-exp
545×pow-prod-up
543×rec-exp
516×exp-diff
511×log-div
495×+-commutative
478×exp-prod
424×pow-sub
416×pow-sqr
414×associate-+r+
407×pow-pow
381×rem-sqrt-square
297×associate-+l+
237×associate--l+
224×div-sub
203×pow-plus
201×cube-mult
199×unpow3
190×tan-quot
188×pow2
168×distribute-rgt-neg-in
153×exp-sum
131×cube-div
128×pow-flip
127×neg-sub0 un-div-inv
117×rem-log-exp
111×distribute-lft-neg-in
109×cos-mult
108×unpow2
104×distribute-rgt-out--
102×exp-neg
98×inv-pow
81×associate--r+
80×distribute-rgt-neg-out
72×rem-cube-cbrt
67×tanh-def-b tanh-def-a tanh-def-c
64×associate-+r-
57×sin-mult
49×cosh-undef
46×rem-exp-log
42×sinh-def sqrt-unprod
38×difference-cubes
36×rem-square-sqrt
34×associate--l- difference-of-sqr--1 associate-+l-
33×sub-div
32×cos-diff
31×rem-cbrt-cube
30×cos-sum neg-mul-1
26×distribute-rgt-out pow-neg
25×distribute-frac-neg
22×unsub-neg
20×sin-diff
18×sinh-undef
17×associate--r-
16×unpow-prod-up
15×acos-asin
14×neg-log
13×sin-sum distribute-rgt1-in
10×diff-cos
8×e-exp-1
6×distribute-lft-neg-out sqrt-pow2 sin-cos-mult
5×distribute-lft1-in unpow1/3 count-2 pow3 asin-acos
4×acos-neg tan-sum cosh-def
3×sqrt-undiv exp-to-pow sum-cubes pow-div
1×tanh-undef diff-sin diff-atan sqr-cos-a mul0-rgt

localize20.6s (1.2%)

bsearch9.2s (0.5%)

end8.0ms (0.0%)

Profiling

Loading profile data...