Date:Monday, June 29th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020181
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

sample9.9min (27.7%)

Algorithm
953×intervals
Results
2.3min3261490×body80valid
2.2min237231×body1280valid
54.1s168917×body640valid
34.7s41678×body2560valid
32.1s356276×body80invalid
19.7s99420×body320valid
14.5s10607×body5120exit
12.5s93111×body160valid
11.9s157697×body80nan
9.8s22098×body1280invalid
7.9s350663×pre80true
5.8s19479×body640invalid
5.7s11842×body1280nan
3.7s765×body5120invalid
3.6s1426×body2560invalid
3.3s9345×body640nan
2.7s3993×body5120valid
2.1s10059×body320invalid
1.5s9832×body80overflowed
1.2s4911×body320nan
1.0s959×body1280overflowed
705.0ms5395×body160invalid
586.0ms3134×body2560nan
430.0ms611×body640overflowed
267.0ms1926×body160nan
141.0ms320×body320overflowed
99.0ms144×body2560overflowed
41.0ms164×body160overflowed
6.0ms242×pre80false
4.0ms2×body5120nan

analyze7.6min (21.2%)

Algorithm
949×search
4×random
Search
TrueOtherFalseIter
0%92.4%7.6%0
3.1%89.3%7.6%1
6.2%85.6%8.3%2
14%76.2%9.8%3
19%69.3%11.7%4
26.2%61.2%12.6%5
30.7%55.1%14.2%6
36.1%47.8%16.1%7
39.5%43.4%17.1%8
43.6%38.1%18.4%9
46.5%33.9%19.7%10
49.1%30.5%20.4%11
51.3%27.5%21.2%12
53.8%24%22.1%13
55.2%22.3%22.5%14

prune5.3min (14.8%)

Filtered
158694 candidates to 100842 candidates (36.5%)

rewrite3.1min (8.7%)

Algorithm
1591×rewrite-expression-head
Calls

4848 calls:

1.4s
(/ (+ 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))))))) (exp (+ (neg z) (+ 7.0 0.5))))
196.0ms
(* (/ y (cbrt (- a t))) (/ (/ (- t z) (cbrt (- a t))) (cbrt (- a t))))
194.0ms
(/ (/ (/ (/ (+ alpha (+ beta (+ (* alpha beta) 1.0))) (sqrt (+ alpha (+ beta (* 1.0 2.0))))) (sqrt (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
187.0ms
(/ 1.0 (sqrt (+ (sqrt (+ 1.0 x)) (sqrt x))))
170.0ms
(* (sqrt (* PI 2.0)) (* (* (/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 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))) 0.9999999999998099))))) (exp (- (+ 7.0 0.5) z))) (pow (- (+ 7.0 0.5) z) (+ (neg z) 0.5))) (/ PI (sin (* PI z)))))
Rules
66002×*-un-lft-identity
60141×times-frac
54677×add-sqr-sqrt
46864×add-exp-log
37861×add-cube-cbrt
28788×prod-exp
17382×add-cbrt-cube
16028×sqrt-prod
13138×pow1
13088×associate-*r*
12221×pow-exp
10708×distribute-lft-out
9025×cbrt-prod
8053×div-exp
7817×associate-*l*
7585×add-log-exp
5602×cbrt-unprod
5281×difference-of-squares
5235×pow-to-exp
5204×associate-*r/
4829×associate-/l*
4644×distribute-lft-out--
4462×unpow-prod-down
4021×flip-+
4020×flip3-+
3933×associate-/r*
3793×pow-prod-down
3680×flip--
3679×flip3--
3486×frac-times
3332×associate-/r/
2932×cbrt-undiv
2840×cbrt-div
2807×associate-*l/
2724×unswap-sqr
2645×sqrt-div
2612×div-inv
1855×log-prod
1521×*-commutative
1518×cube-prod
1449×swap-sqr
1386×sqrt-pow1
1366×pow1/3
1304×sqr-pow
1289×frac-add
1136×sub-neg
1042×distribute-rgt-in distribute-lft-in
1009×associate-/l/
939×sum-log
937×pow-unpow
837×clear-num frac-2neg
807×pow1/2
768×distribute-rgt-neg-in
750×log-pow
663×1-exp
655×exp-prod
654×rec-exp
600×diff-log
569×pow-prod-up
503×+-commutative
498×distribute-lft-neg-in
461×associate-+r+
448×frac-sub
419×pow-sqr
357×pow-pow
321×rem-sqrt-square
304×associate-+l+
272×associate--l+
241×div-sub
220×cube-div
185×log-div
177×pow-plus
165×pow2
159×neg-sub0
156×cube-mult
155×unpow3
131×tan-quot
125×rem-log-exp neg-mul-1
118×pow-flip
117×exp-sum
116×unpow2
106×un-div-inv
101×cos-mult
98×rem-cube-cbrt
93×associate-+r-
90×inv-pow exp-diff
82×exp-neg
81×distribute-rgt-neg-out
68×sqrt-unprod
67×distribute-neg-frac associate--r+
66×neg-log
64×associate-+l-
57×associate--l-
48×sin-mult
47×pow-sub
41×distribute-rgt-out--
39×unsub-neg
37×rem-cbrt-cube
36×distribute-frac-neg
34×sinh-def rem-square-sqrt distribute-rgt-out tanh-def-b tanh-def-a tanh-def-c
33×sub-div
29×rem-exp-log
26×unpow-prod-up
25×sum-cubes
24×cosh-def
22×cos-diff
20×sin-sum
19×cos-sum sin-diff
17×difference-cubes
15×sin-cos-mult
14×acos-asin associate--r-
13×asin-acos
12×sqrt-pow2
11×unpow1/3 pow-neg difference-of-sqr-1
10×distribute-neg-in
9×distribute-lft-neg-out distribute-rgt1-in
8×sqrt-undiv
5×distribute-lft1-in diff-cos count-2
4×tan-sum
3×acos-neg
2×pow3 sqr-cos-a
1×cube-neg tanh-undef e-exp-1 exp-to-pow diff-sin log-rec diff-atan mul0-rgt remove-double-div

bsearch3.1min (8.7%)

regimes2.6min (7.2%)

Accuracy

Total 447.9b remaining (31.3%)

Threshold costs 59.7b (4.2%)

18.5b20.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.4b2.7%Linear.Matrix:det44 from linear-1.19.1.3
14.2b55.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.8b56.7%math.log10 on complex, real part
10.6b57.4%math.log/1 on complex, real part

series2.0min (5.7%)

Calls

4848 calls:

2.3s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.9s
(sqrt (* 2.0 (* (* n U) (- t (+ (* 2.0 (* l (/ l Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))))
1.9s
(sqrt (* 2.0 (* n (* U (- t (+ (* 2.0 (* l (/ l Om))) (* n (* (pow (/ l Om) 2.0) (- U U*)))))))))
1.9s
(sqrt (* 2.0 (* (* n (* U (* (cbrt (- t (+ (* 2.0 (* l (/ l Om))) (* n (* (pow (/ l Om) 2.0) (- U U*)))))) (cbrt (- t (+ (* 2.0 (* l (/ l Om))) (* n (* (pow (/ l Om) 2.0) (- U U*))))))))) (cbrt (- t (+ (* 2.0 (* l (/ l Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))))
1.9s
(sqrt (* 2.0 (* n (* U (- t (+ (* 2.0 (* l (/ l Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))))

simplify1.8min (5.1%)

Algorithm
2538×egg-herbie

localize20.0s (0.9%)

end19.0ms (0.0%)

Profiling

Loading profile data...