Date:Tuesday, July 21st, 2020
Commit:7c127d0c on cleanup
Hostname:warfa with Racket 7.5
Seed:2020203
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

prune11.8min (33.7%)

sample10.8min (30.8%)

Algorithm
886×intervals
Results
2.1min2791004×body80valid
2.0min210828×body1280valid
1.5min19823×body5120exit
50.6s153982×body640valid
31.1s345230×body80invalid
29.6s33612×body2560valid
17.6s87337×body320valid
11.1s77920×body160valid
10.7s142290×body80nan
8.9s19730×body1280invalid
7.3s343559×pre80true
7.2s3285×body1280overflowed
6.1s12767×body1280nan
5.4s27999×body80overflowed
5.2s17470×body640invalid
3.8s767×body5120invalid
3.7s1378×body2560invalid
3.7s10615×body640nan
3.5s2758×body640overflowed
1.9s9189×body320invalid
1.3s1697×body5120valid
1.3s5329×body320nan
1.0s1406×body320overflowed
681.0ms4875×body160invalid
597.0ms3102×body2560nan
298.0ms2217×body160nan
265.0ms652×body160overflowed
120.0ms184×body2560overflowed
6.0ms227×pre80false
2.0ms1×body5120nan

analyze4.1min (11.7%)

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.5min (7.0%)

Accuracy

Total 385.4b remaining (30.2%)

Threshold costs 58.5b (4.6%)

16.5b-4%Linear.Matrix:det44 from linear-1.19.1.3
13.9b55.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.4b53.4%math.sqrt on complex, real part
11.2b41.8%math.sqrt on complex, imaginary part, im greater than 0 branch
11.0b32.9%Equirectangular approximation to distance on a great circle

series2.3min (6.6%)

Calls

4869 calls:

4.4s
(/ (* x (pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
3.8s
(* (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))))
2.1s
(pow (pow (exp (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (log (* (pow z y) (pow a (- t 1.0)))) b))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
2.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

simplify2.3min (6.5%)

Algorithm
2471×egg-herbie

rewrite51.2s (2.4%)

Algorithm
1589×rewrite-expression-head
Calls

4869 calls:

549.0ms
(/ (/ (/ (- (pow (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) 3) (pow (pow 1.0 6) 3)) (+ (* (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6))) (+ (pow 1.0 12) (* (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) (pow 1.0 6))))) (+ (pow 1.0 4) (* 2.0 (+ (/ (pow 2.0 3) (pow (+ 1.0 (pow (exp -2.0) x)) 4)) (* (/ 2.0 (pow (+ 1.0 (pow (exp -2.0) x)) 2)) (* 1.0 1.0)))))) (+ 1.0 (/ 2.0 (+ 1.0 (pow (exp -2.0) x)))))
265.0ms
(+ (/ -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)))))))
256.0ms
(/ (/ (- (pow (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) 3) (pow (pow 1.0 6) 3)) (+ (* (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6))) (+ (pow 1.0 12) (* (/ (pow 2.0 6) (pow (+ 1.0 (pow (exp -2.0) x)) 6)) (pow 1.0 6))))) (+ (pow 1.0 4) (* 2.0 (+ (/ (pow 2.0 3) (pow (+ 1.0 (pow (exp -2.0) x)) 4)) (* (/ 2.0 (pow (+ 1.0 (pow (exp -2.0) x)) 2)) (* 1.0 1.0))))))
209.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)))))
208.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
Rules
83252×times-frac
77883×add-sqr-sqrt
64170×*-un-lft-identity
51967×add-exp-log
41852×add-cube-cbrt
32380×prod-exp
22596×unpow-prod-down
18589×add-cbrt-cube
15981×difference-of-squares
14149×pow-exp
13900×pow1
12294×associate-*r*
12235×sqr-pow
11791×associate-*r/
11539×sqrt-prod
10608×cube-prod
9631×cbrt-prod
9535×div-exp
8904×frac-times
8833×cbrt-div
7714×associate-*l*
7563×distribute-lft-out
7427×add-log-exp
6672×cbrt-unprod
6244×associate-/l*
6200×pow-to-exp
4726×flip--
4725×flip3--
4698×flip-+
4697×flip3-+
4408×frac-sub
4340×pow-prod-down
4231×associate-*l/
4153×distribute-lft-out--
4067×associate-/r*
3916×frac-add
3253×cbrt-undiv
3246×sqrt-div
3171×associate-/r/
2844×tanh-def-b tanh-def-a tanh-def-c
2549×unswap-sqr
2489×div-inv
1817×sqrt-pow1
1800×log-prod
1509×*-commutative
1416×pow1/3
1246×distribute-rgt-in distribute-lft-in
1194×swap-sqr
1104×sub-neg
948×exp-prod
894×sum-log
885×associate-/l/
840×clear-num frac-2neg
830×log-pow
804×pow-unpow pow1/2
660×1-exp
644×rec-exp
561×pow-prod-up
540×diff-log
509×associate-+r+
494×+-commutative
448×pow-sqr
415×pow-sub
400×associate--l+
351×exp-diff
344×pow-pow
327×rem-sqrt-square
307×div-sub
233×associate-+l+
228×cube-div
225×distribute-rgt-neg-in
203×tan-quot
195×distribute-neg-frac
172×log-div
163×cube-mult
159×unpow3
158×pow-plus
151×distribute-lft-neg-in
148×pow2
131×pow-flip
128×rem-log-exp
120×unpow2
109×exp-sum
100×un-div-inv
95×associate--r+
93×neg-sub0
92×associate-+r- cos-mult
89×distribute-rgt-neg-out
87×inv-pow
78×exp-neg
73×sqrt-unprod
65×difference-cubes
63×rem-cube-cbrt
53×distribute-rgt-out--
47×neg-mul-1
40×sinh-def
35×associate-+l- rem-cbrt-cube
34×rem-square-sqrt distribute-frac-neg
32×associate--l- unpow-prod-up sub-div sin-mult
31×rem-exp-log
27×unsub-neg
25×distribute-rgt-out
22×cos-diff associate--r-
20×cos-sum cosh-undef
18×sin-sum sin-diff
17×neg-log
14×sum-cubes
12×cosh-def pow-neg
11×acos-asin exp-to-pow asin-acos
10×sinh-undef distribute-rgt1-in pow-div
9×sqrt-pow2
8×sin-cos-mult
5×distribute-lft1-in diff-cos count-2
4×tan-sum sqrt-undiv exp-lft-sqr
3×acos-neg e-exp-1 unpow1/3 pow3
2×sqr-cos-a
1×distribute-lft-neg-out tanh-undef quot-tan diff-sin diff-atan mul0-rgt

localize20.5s (1.0%)

bsearch7.9s (0.4%)

end1.8s (0.1%)

Profiling

Loading profile data...