Date:Tuesday, June 30th, 2020
Commit:f77495bf on master
Hostname:warfa with Racket 7.5
Seed:2020182
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

sample13.9min (47.2%)

Algorithm
951×intervals
Results
3.1min4106068×body80valid
2.4min265295×body1280valid
1.0min13202×body5120exit
58.9s185156×body640valid
57.3s1032119×body80nan
38.8s43625×body2560valid
20.6s104378×body320valid
13.2s95567×body160valid
9.6s12413×body1280nan
8.8s387491×pre80true
6.4s5003×body5120valid
5.9s9825×body640nan
3.9s51722×body80overflowed
2.0s5031×body320nan
795.0ms929×body1280overflowed
639.0ms2520×body160nan
598.0ms3103×body2560nan
377.0ms16548×pre80false
343.0ms545×body640overflowed
119.0ms291×body320overflowed
101.0ms163×body2560overflowed
29.0ms125×body160overflowed

prune6.0min (20.3%)

Filtered
162064 candidates to 104183 candidates (35.7%)

series3.5min (11.8%)

Calls

4942 calls:

1.6min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
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.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)))))))))

regimes2.6min (9.0%)

Accuracy

Total 442.6b remaining (32.5%)

Threshold costs 61.0b (4.5%)

21.3b1.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
17.2b54.6%math.sqrt on complex, imaginary part, im greater than 0 branch
12.6b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.4b-8.7%Linear.Matrix:det44 from linear-1.19.1.3
11.7b3.1%Data.Colour.Matrix:determinant from colour-2.3.3, A

simplify1.9min (6.6%)

Algorithm
2561×egg-herbie

rewrite1.0min (3.6%)

Algorithm
1615×rewrite-expression-head
Calls

4942 calls:

2.6s
(* (/ (sqrt (* PI 2.0)) (exp (- 7.0 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))))))))))) (pow (+ z (+ 7.0 (- 0.5 1.0))) (+ z (- 0.5 1.0)))) (exp (+ z 0.5))))
2.4s
(* (sqrt (* PI 2.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)) (pow (+ z (+ (- 7.0 1.0) 0.5)) (+ z (- 0.5 1.0)))))
2.3s
(/ (* (sqrt (* PI 2.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)) (pow (+ z (+ (- 7.0 1.0) 0.5)) (+ z (- 0.5 1.0))))) (exp (- 7.0 (- 1.0 0.5))))
2.1s
(/ (/ (+ 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)) (exp (- 7.0 (- 1.0 0.5))))
2.1s
(* (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)) (exp (- 7.0 (- 1.0 0.5))))))
Rules
60904×*-un-lft-identity
54283×add-exp-log
50563×add-sqr-sqrt
48712×times-frac
34154×prod-exp
32978×add-cube-cbrt
18248×add-cbrt-cube
14261×pow1
13519×pow-exp
12105×associate-*r*
11854×associate-*r/
10003×frac-times
9522×div-exp
9371×distribute-lft-out
9272×sqrt-prod
9131×cbrt-prod
8064×associate-*l*
7576×add-log-exp
7479×cbrt-div
6492×cbrt-unprod
6086×flip--
6085×flip3--
5935×distribute-lft-out--
5763×frac-sub
5668×pow-to-exp
5632×difference-of-squares
5137×associate-*l/
4379×pow-prod-down
4152×associate-/l*
4062×associate-/r*
3304×unpow-prod-down
3195×flip-+
3194×flip3-+
3057×cbrt-undiv
3033×associate-/r/
2714×unswap-sqr
2659×tanh-def
2455×div-inv
2345×sqrt-div
2141×log-prod
1633×distribute-rgt-in distribute-lft-in
1584×*-commutative
1490×sqrt-pow1
1452×swap-sqr
1447×pow1/3
1212×frac-add
1116×cube-prod
1112×sub-neg
1010×sqr-pow
954×sum-log
910×log-pow
909×associate-/l/
865×clear-num frac-2neg
839×exp-prod
832×pow1/2
790×pow-unpow
712×1-exp
695×rec-exp
540×diff-log
538×pow-prod-up
531×associate-+r+
514×+-commutative
438×exp-sum
418×pow-sqr
401×rem-sqrt-square
392×associate--l+
346×pow-pow
343×associate-+l+
309×distribute-rgt-neg-in
270×log-div
264×div-sub
221×exp-diff
187×pow-plus
178×pow2
173×cube-div
169×cube-mult
165×unpow3
146×pow-flip
133×rem-log-exp
128×distribute-lft-neg-in
123×cos-mult
122×sin-mult
116×neg-sub0
110×distribute-rgt-neg-out
108×tan-quot
103×un-div-inv
96×associate-+r-
95×inv-pow rem-cube-cbrt
92×exp-neg
72×unpow2
70×associate-+l-
65×distribute-rgt-out-- pow-sub
61×associate--r-
59×sqrt-unprod
54×distribute-frac-neg
50×associate--r+
49×sub-div
43×unpow-prod-up rem-exp-log
42×distribute-rgt-out
40×rem-cbrt-cube
39×neg-mul-1
38×cos-sum
37×associate--l-
30×cos-diff
29×neg-log
28×difference-of-sqr--1
27×rem-square-sqrt
25×unsub-neg
22×sinh-def
18×sin-diff
16×sqrt-undiv
15×sub0-neg
14×acos-asin sin-sum pow-neg
13×cosh-def sum-cubes
12×distribute-rgt1-in asin-acos
10×difference-cubes e-exp-1 sin-cos-mult
9×sqrt-pow2
7×distribute-lft1-in unpow1/3 count-2
5×acos-neg diff-cos
4×sqr-cos tan-sum
3×distribute-lft-neg-out exp-to-pow pow3
2×distribute-neg-frac pow-div
1×tanh-undef diff-sin mul0 diff-atan sqr-sin remove-double-div

localize20.7s (1.2%)

bsearch6.9s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...