Date:Tuesday, July 21st, 2020
Commit:e15f1dc1 on master
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

sample11.5min (34.1%)

Algorithm
956×intervals
Results
2.3min3266977×body80valid
2.2min238291×body1280valid
1.4min19617×body5120exit
53.9s170206×body640valid
33.9s41249×body2560valid
32.2s356267×body80invalid
19.8s100174×body320valid
13.2s93889×body160valid
12.1s158164×body80nan
9.8s22342×body1280invalid
8.5s391857×pre80true
7.1s3285×body1280overflowed
6.0s12767×body1280nan
5.6s19569×body640invalid
5.2s28648×body80overflowed
3.8s10615×body640nan
3.8s769×body5120invalid
3.4s1410×body2560invalid
3.4s2758×body640overflowed
2.8s4030×body5120valid
2.1s10260×body320invalid
1.3s5329×body320nan
1.0s1406×body320overflowed
718.0ms5381×body160invalid
601.0ms3102×body2560nan
298.0ms2217×body160nan
258.0ms652×body160overflowed
119.0ms184×body2560overflowed
6.0ms227×pre80false
2.0ms1×body5120nan

prune9.6min (28.3%)

Filtered
171087 candidates to 106406 candidates (37.8%)

analyze4.1min (12.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.6min (7.8%)

Accuracy

Total 470.7b remaining (31%)

Threshold costs 59.5b (3.9%)

16.4b-3.3%Linear.Matrix:det44 from linear-1.19.1.3
15.2b14.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
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

series2.3min (6.9%)

Calls

4913 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.6s
(* (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 (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.1s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))
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)))

simplify2.3min (6.8%)

Algorithm
2563×egg-herbie

rewrite51.6s (2.5%)

Algorithm
1611×rewrite-expression-head
Calls

4913 calls:

562.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)))))
261.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))))))
225.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)))))
207.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))))))))
189.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
Rules
83593×times-frac
78283×add-sqr-sqrt
64680×*-un-lft-identity
52359×add-exp-log
42127×add-cube-cbrt
32524×prod-exp
22593×unpow-prod-down
18834×add-cbrt-cube
16019×difference-of-squares
14163×pow-exp
14001×pow1
12362×associate-*r*
12234×sqr-pow
11832×associate-*r/
11820×sqrt-prod
10605×cube-prod
9652×cbrt-prod
9650×div-exp
8932×frac-times
8833×cbrt-div
7783×associate-*l*
7653×distribute-lft-out
7468×add-log-exp
6750×cbrt-unprod
6280×associate-/l*
6214×pow-to-exp
4753×flip--
4752×flip3--
4718×flip-+
4717×flip3-+
4436×frac-sub
4356×pow-prod-down
4261×associate-*l/
4191×distribute-lft-out--
4087×associate-/r*
3918×frac-add
3317×cbrt-undiv
3314×sqrt-div
3205×associate-/r/
2844×tanh-def-b tanh-def-a tanh-def-c
2567×unswap-sqr
2509×div-inv
1999×log-prod
1831×sqrt-pow1
1518×*-commutative
1417×pow1/3
1248×distribute-rgt-in distribute-lft-in
1196×swap-sqr
1106×sub-neg
951×exp-prod
893×associate-/l/
891×sum-log
860×log-pow
849×clear-num frac-2neg
816×pow1/2
801×pow-unpow
670×1-exp
654×rec-exp
561×pow-prod-up
559×associate-+r+
542×diff-log
493×+-commutative
448×pow-sqr
415×pow-sub
400×associate--l+
351×exp-diff
343×pow-pow
333×rem-sqrt-square
307×div-sub
243×associate-+l+
228×cube-div
225×distribute-rgt-neg-in
203×tan-quot
195×distribute-neg-frac
194×log-div
162×cube-mult
158×pow-plus unpow3
151×distribute-lft-neg-in
148×pow2
142×rem-log-exp
135×pow-flip
120×unpow2
109×exp-sum
100×un-div-inv
95×associate--r+
94×cos-mult
93×neg-sub0 associate-+r-
89×inv-pow distribute-rgt-neg-out
78×exp-neg
73×sqrt-unprod
65×difference-cubes
62×rem-cube-cbrt
53×distribute-rgt-out--
47×neg-mul-1
40×sinh-def
37×associate-+l- sin-mult
35×rem-cbrt-cube
34×rem-square-sqrt distribute-frac-neg
32×associate--l- unpow-prod-up sub-div
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.8s (1.0%)

bsearch8.1s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...