Date:Thursday, July 2nd, 2020
Commit:4348ca69 on movability-off
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

sample16.7min (56.9%)

Algorithm
952×intervals
Results
3.8min69406×body5120exit
3.1min4098265×body80valid
2.4min262832×body1280valid
58.9s183476×body640valid
56.2s1016736×body80nan
37.5s42786×body2560valid
21.6s108037×body320valid
13.4s99303×body160valid
11.5s14582×body1280nan
8.8s395575×pre80true
6.9s11505×body640nan
6.6s4896×body5120valid
2.4s5932×body320nan
773.0ms3049×body160nan
588.0ms3122×body2560nan
364.0ms16494×pre80false

prune4.7min (16.1%)

Filtered
164641 candidates to 103317 candidates (37.2%)

regimes2.6min (8.9%)

Accuracy

Total 415.6b remaining (30.4%)

Threshold costs 60.6b (4.4%)

19.6b19.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b3.7%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.8%math.log10 on complex, real part

series2.0min (6.9%)

Calls

4988 calls:

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

simplify1.9min (6.5%)

Algorithm
2559×egg-herbie

rewrite51.1s (2.9%)

Algorithm
1611×rewrite-expression-head
Calls

4988 calls:

1.2s
(* (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))))))))
657.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)))))))
640.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)))))
615.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)))))
614.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
65632×*-un-lft-identity
63483×add-exp-log
54300×times-frac
53688×add-sqr-sqrt
39432×prod-exp
35552×add-cube-cbrt
18555×add-cbrt-cube
17928×sqrt-prod
16760×pow-exp
14068×associate-*r*
13803×pow1
13355×div-exp
11004×cbrt-prod
10084×distribute-lft-out
7776×associate-*l*
7716×add-log-exp
6789×cbrt-unprod
6574×pow-to-exp
6334×distribute-lft-out--
5554×difference-of-squares
5259×associate-*r/
4901×unpow-prod-down
4169×associate-/l*
4067×pow-prod-down
3910×associate-/r*
3860×flip-+
3859×flip3-+
3703×frac-times
3681×flip--
3680×flip3--
3322×cbrt-undiv
3278×cbrt-div
3249×associate-*l/
3076×associate-/r/
2833×div-inv
2809×unswap-sqr
2314×sqrt-div
2042×frac-add
2041×log-prod
1805×swap-sqr
1750×distribute-rgt-in distribute-lft-in
1710×cube-prod
1538×pow1/3
1533×*-commutative
1356×sqr-pow
1193×1-exp
1181×rec-exp
1101×sub-neg
1065×sqrt-pow1
1022×sum-log
944×pow-unpow
940×associate-/l/
873×clear-num frac-2neg
857×exp-prod
793×log-pow
681×associate-+r+
676×pow1/2
549×pow-prod-up
538×+-commutative
527×diff-log
433×pow-pow
431×pow-sqr
398×associate--l+
393×distribute-rgt-neg-in
380×frac-sub
340×rem-sqrt-square
329×associate-+l+
250×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
143×pow-flip
106×distribute-rgt-out--
101×neg-sub0
98×exp-diff
96×inv-pow
89×associate-+r- unpow2
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
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 sqrt-unprod pow-sub
34×difference-of-sqr--1
30×rem-cbrt-cube
28×sinh-def sum-cubes
27×rem-square-sqrt distribute-neg-frac
26×cos-diff
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.3s (0.6%)

end7.0ms (0.0%)

Profiling

Loading profile data...