Date:Thursday, July 2nd, 2020
Commit:b33883dc on report-fixes
Hostname:warfa with Racket 7.5
Seed:2020184
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample14.8min (53.8%)

Algorithm
952×intervals
Results
3.1min4100495×body80valid
2.4min262841×body1280valid
1.7min18912×body5120exit
58.8s183488×body640valid
56.1s1016736×body80nan
37.4s42792×body2560valid
21.4s108042×body320valid
13.6s99337×body160valid
9.9s12432×body1280nan
9.4s428914×pre80true
9.0s4091×body1280overflowed
9.0s76606×body80overflowed
6.6s4896×body5120valid
5.8s9735×body640nan
4.3s3458×body640overflowed
2.1s5028×body320nan
1.2s1685×body320overflowed
699.0ms2586×body160nan
570.0ms3122×body2560nan
355.0ms16494×pre80false
331.0ms820×body160overflowed
114.0ms165×body2560overflowed

prune4.7min (17.2%)

Filtered
164676 candidates to 103305 candidates (37.3%)

regimes2.7min (9.6%)

Accuracy

Total 415.6b remaining (30.4%)

Threshold costs 60.7b (4.4%)

19.6b19.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b3.9%Linear.Matrix:det44 from linear-1.19.1.3
13.3b58.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b-29.9%Henrywood and Agarwal, Equation (13)
11.1b54.7%math.log10 on complex, real part

series2.1min (7.5%)

Calls

4988 calls:

2.2s
(sqrt (* 2.0 (* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))))
2.0s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))
2.0s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))
2.0s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))))
1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)

simplify1.9min (6.9%)

Algorithm
2559×egg-herbie

rewrite51.3s (3.1%)

Algorithm
1611×rewrite-expression-head
Calls

4988 calls:

1.1s
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))))
637.0ms
(* (sqrt (* PI 2.0)) (* (pow (+ z (- 7.0 (- 1.0 0.5))) (+ z (- 0.5 1.0))) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))))
626.0ms
(* (sqrt (* PI 2.0)) (* (+ 0.9999999999998099 (+ (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0))))) (+ (/ 676.5203681218851 z) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0))))) (/ 12.507343278686905 (+ z (- 5.0 1.0))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))))
612.0ms
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
609.0ms
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ z (- 3.0 1.0))) (/ -176.6150291621406 (+ z (- 4.0 1.0)))))) (+ (/ 12.507343278686905 (+ z (- 5.0 1.0))) (+ (/ -0.13857109526572012 (+ z (- 6.0 1.0))) (+ (/ 9.984369578019572e-06 (+ z (- 7.0 1.0))) (/ 1.5056327351493116e-07 (+ z (- 8.0 1.0)))))))) (exp (+ z (- 7.0 (- 1.0 0.5)))))
Rules
65467×*-un-lft-identity
63908×add-exp-log
54188×times-frac
53452×add-sqr-sqrt
39629×prod-exp
35571×add-cube-cbrt
18560×add-cbrt-cube
17733×sqrt-prod
16884×pow-exp
14058×associate-*r*
13788×pow1
13543×div-exp
11029×cbrt-prod
10027×distribute-lft-out
7764×associate-*l*
7712×add-log-exp
6787×cbrt-unprod
6619×pow-to-exp
6299×distribute-lft-out--
5313×difference-of-squares
5259×associate-*r/
4910×unpow-prod-down
4198×associate-/l*
4062×pow-prod-down
3919×associate-/r*
3852×flip-+
3851×flip3-+
3702×frac-times
3678×flip--
3677×flip3--
3329×cbrt-undiv
3278×cbrt-div
3248×associate-*l/
3060×associate-/r/
2830×div-inv
2808×unswap-sqr
2309×sqrt-div
2042×frac-add
2041×log-prod
1797×swap-sqr
1750×distribute-rgt-in distribute-lft-in
1710×cube-prod
1547×pow1/3
1531×*-commutative
1357×sqr-pow
1227×1-exp
1215×rec-exp
1099×sub-neg
1056×sqrt-pow1
1022×sum-log
944×pow-unpow
939×associate-/l/
875×clear-num frac-2neg
857×exp-prod
793×log-pow
681×associate-+r+
667×pow1/2
546×pow-prod-up
538×+-commutative
525×diff-log
433×pow-pow
430×pow-sqr
398×associate--l+
393×distribute-rgt-neg-in
380×frac-sub
337×rem-sqrt-square
329×associate-+l+
249×div-sub
216×log-div
214×pow-plus
197×pow2
189×distribute-lft-neg-in
174×cube-mult tan-quot
166×unpow3
162×exp-sum
155×cube-div associate--r+
145×rem-log-exp pow-flip
106×distribute-rgt-out--
101×neg-sub0
98×inv-pow exp-diff
89×associate-+r-
87×un-div-inv
80×rem-cube-cbrt
77×exp-neg
71×unpow-prod-up distribute-rgt-neg-out
61×sin-mult
57×neg-mul-1
55×unpow2
51×tanh-def
50×associate--l- distribute-frac-neg
48×distribute-rgt-out
41×sub-div
40×associate-+l-
39×cos-mult rem-exp-log
35×cos-sum pow-sub
34×sqrt-unprod difference-of-sqr--1
30×rem-cbrt-cube
28×sinh-def sum-cubes
27×distribute-neg-frac
26×cos-diff rem-square-sqrt
25×neg-log
24×associate--r-
21×distribute-rgt1-in
20×sin-diff
19×sub0-neg
16×difference-cubes unsub-neg
13×cosh-def sin-sum
12×acos-asin
10×sin-cos-mult
8×sqrt-pow2 pow-neg
7×distribute-neg-in
6×sqrt-undiv unpow1/3 asin-acos
5×distribute-lft1-in diff-cos exp-to-pow count-2
4×acos-neg tan-sum
3×e-exp-1
2×distribute-lft-neg-out
1×tanh-undef diff-sin mul0 diff-atan remove-double-div sum-cos

localize20.6s (1.2%)

bsearch10.1s (0.6%)

end8.0ms (0.0%)

Profiling

Loading profile data...